Anotace
Předmět se zabývá základními pojmi klasické logiky, jejich syntaxí a sémantikou. Do kurzu je zařazen stručný úvod do výrokového počtu a predikátového počtu.
Důraz je kladen na analýzu konkrétních příkladů a rozbor logických paradoxů.
Probíraná témata:
Platné a neplatné úsudky. Pojem logické platnosti.
Pravdivostní tabulky jednotlivých logických spojek.
Jména a kvantifikátory, rozdíly jejich syntaxe a sémantiky.
Deskripce a existence, paradox "existující zlaté hory".
Implikace a vyplývání, podobnosti a rozdíly
Vágnost v jazyce a možnosti její formalizace.
Pravděpodobnost a její vztah k logice.
Historie logiky -- Aristoteles, Frege, Russell.