Syllabus
Různá pojetí povahy logiky a jejího předmětu
Výrok a jeho struktura
Obecné výrazy a problematika obecnin, singulární výrazy
Logické konstanty
Identita
Problém vyjádření existence
Definice
Pravdivost výroku, teorie pravdy
Nutná pravdivost
Možné světy
Paradoxy
Logické vyplývání
Kalkuly, matematizace logiky
Motivace některých neklasických logických systémů
Pojem nekonečna a moderní matematika
Filozofické interpretace fenoménu neúplnosti teorií pro výstavbu matematiky
Annotation
Filosofie logiky zkoumá a promýšlí základní pojmy a postupy logiky a klade otázky po jejich oprávnění a zdůvodnění. Cílem kursu je nastínit problémy, které při tomto zkoumání vycházejí najevo, a ozřejmit různé možné odpovědi na ně, plynoucí z odlišných přístupů renomovaných logiků (filosofů). To by mělo umožnit lepší pochopení jak oněch základních pojmů, tak i důvodů, proč různí logikové či logické školy volí někdy i podstatně odlišné cesty při budování logických systémů. Jelikož je moderní logika úzce propojena s matematikou, jsou pro filosofii logiky relevantní i některá témata z filosofie matematiky.
Kurs předpokládá základní obeznámenost se standardními logickými systémy.