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í
