Introduction to logic - OPBM1M106A

• Title: Úvod do logiky
• Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Faculty: Faculty of Education
• Actual: from 2022
• Semester: winter
• E-Credits: 2
• Examination process: winter s.:
• Hours per week, examination: winter s.:1/0, C [HT]
• Capacity: unknown / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; priority enrollment if the course is part of the study plan
• Guarantor: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Is pre-requisite for: OPBM1M134A

Annotation

English

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.

Czech

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

English

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.

Czech

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

English

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.

Czech

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

Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

Přednáška

Requirements to the exam

English

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.

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

Last update: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

Platné a neplatné úsudky.

Pravdivostní tabulky jednotlivých logických spojek.

Jména a kvantifikátory.

Deskripce a existence.

Implikace a vyplývání.

Vágnost v jazyce.

Pravděpodobnost.

Historie logiky.