Introduction into logic - OBUZ10V001

• Title: Úvod do logiky
• Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Faculty: Faculty of Education
• Actual: from 2019
• Semester: winter
• E-Credits: 3
• 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: taught
• Language: Czech
• Teaching methods: full-time
• Is provided by: OPBM1M106A
• 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.; prof. RNDr. Naďa Vondrová, Ph.D.
• Incompatibility : OBUZ10001

Annotation

English

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: Jančařík Antonín, doc. RNDr., Ph.D. (29.10.2019)

Czech

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.

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

Aim of the course

English

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: Jančařík Antonín, doc. RNDr., Ph.D. (29.10.2019)

Czech

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ů.

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

Literature

English

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: Jančařík Antonín, doc. RNDr., Ph.D. (29.10.2019)

Czech

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)

Teaching methods

Přednáška

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

Requirements to the exam

English

The course is taught in Czech, so the requirements are given only in Czech.

Last update: Jančařík Antonín, doc. RNDr., Ph.D. (29.10.2019)

Czech

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ů.

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

Syllabus

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.

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