Last update: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)
The course deals with the basics of classical logic, its semantics and methods of derivation. The course includes a brief introduction to propositional calculus and predicate calculus.
Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)
Předmět se zabývá základy klasické logiky, její sémantikou a metodami odvozování. Do kurzu je zařazen stručný úvod do výrokového počtu a predikátového počtu.
Aim of the course -
Last update: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)
The aim of the course is to acquaint students with the basic concepts of classical logic, especially its semantics and basic methods of derivation. Emphasis is placed on analysis of concrete examples and analysis of logical paradoxes.
Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)
Cílem předmětu je seznámit studenty se základními pojmy klasické logiky, především s její sémantikou
a základními metodami odvozování. Důraz je kladen na analýzu konkrétních příkladů a rozbor logických paradoxů.
Literature -
Last update: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)
Graham Priest: Logika, průvodce pro každého. Dokořán 2007.
Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986.
Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003.
Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001.
Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.
Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)
Graham Priest: Logika, průvodce pro každého. Dokořán 2007.
Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986.
Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003.
Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001.
Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.
Teaching methods - Czech
Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)
Přednáška
Requirements to the exam -
Last update: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)
The course is taught in Czech, so the requirements are given only in Czech.
Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)
Vyplňování pravdivostní tabulky pro formule výrokového počtu.
Schopnost negovat věty s kvantifikátory.
Schopnost zapsat věty přirozeného jazyka pomocí predikátového počtu.
Schopnost určovat platnost jednoduchých úsudků.
Syllabus - Czech
Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)
Platné a neplatné úsudky.
Pravdivostní tabulky jednotlivých logických spojek.