Annotation
Úvodní kurz formální logiky. Jeho cílem je seznámit posluchače se základními pojmy, metodami a vybranými problémy moderní logiky.
První semestr je věnován klasické logice výroků: rozlišení její syntaxe a sémantiky; pojmu interpretace, modelu, logické platnosti a pravdivosti; pojmům axiomatického systému a deduktivního důkazu; pojmům rozhodnutelnosti a úplnosti teorie. Kromě toho je nastíněna základní motivace a pojmy teorie množin a Aristotelovy sylogistiky.
Druhý semestr směřuje k uzavřenému výkladu klasické predikátové logiky s rovností. Dříve zavedené pojmy (syntax, sémantika, interpretace atd.) jsou modifikovány a rozšířeny.
Praktickou a teoretickou bázi výkladu tvoří metoda sémantických stromů. Stručně jsou zmíněny některé neklasické systémy (intuicionistické, modální a intenzionální logiky) a významné výsledky a otázky obecnějšího významu (Gödelovy věty o úplnosti a neúplnosti, "halting problem", logické paradoxy a další).