Introduction into logic - OKBUV10001

• Title: Úvod do logiky
• Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Faculty: Faculty of Education
• Actual: from 2020
• Semester: winter
• E-Credits: 3
• Examination process: winter s.:
• Hours per week, examination: winter s.:0/0, C [HS]
• Extent per academic year: 6 [hours]
• 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
• Is provided by: OKBM1M106A
• 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 : OKBUZ10001

Annotation

Last update: JANCARIK/PEDF.CUNI.CZ (15.09.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: JANCARIK/PEDF.CUNI.CZ (15.09.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: JANCARIK/PEDF.CUNI.CZ (15.09.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 (15.09.2012)

přednáška

Requirements to the exam

Last update: JANCARIK/PEDF.CUNI.CZ (15.09.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 (15.09.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.