Logika

5) Logika
a) Historie logiky
- důležité postavy, které přispěly k rozvoji logiky:
o starověk:
 Aristoteles (je považován za zakladatele logiky, založil tzv. sylogistickou logiku, dále zkoumal modality/ možnosti, čímž dal základ modální logice)
 Albert Veliký
o středověk:
 Tomáš Akvinský (poprvé zavádí prvky temporální logiky)
o novověk:
 G. W. Leibniz
 J. G. Frege (zavedl matematický kvantifikátor do logiky)
b) Formální logika (logika minor)
Základní kategorie logiky
- pojem: základní složka myšlení – myslíme v pojmech
o znázorněný pojem: slovo, čin, nápis
- soud: úkon rozumu, kde něco tvrdíme, nebo popíráme
o pokud lze ověřit jeho pravdivost = výrok
o pokud nelze = oznámení
- úsudek: závěr vystavěný ze soudů , vnější podoba úsudku = důkaz
Pojem, jeho roviny, ...
- pojem: základní složka myšlení – myslíme v pojmech
o znázorněný pojem: slovo, čin, nápis
- roviny pojmu (Systematická kostka Bochenského):
 pragmatická (sloužící k dorozumění)
 sémantická (k označení věci)
 syntaktická (slovo ve vztahu k jiným slovům, ve větě)
- druhy pojmů:
o jednoznačné: různé objekty v jednom významu (leguán)
o mnohoznačné: různé objekty v různém významu (jízdní kolo, mlýnské kolo), pro logiku a dorozumívání nežádoucí