Introduction to logic - OPBM1M106A

• Title: Úvod do logiky
• Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Faculty: Faculty of Education
• Actual: from 2018 to 2018
• 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: taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Is provided by: OPBZ0M131C
• 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

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (30.09.2017)

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: prof. RNDr. Ladislav Kvasz, DSc., Dr. (30.09.2017)

 

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: prof. RNDr. Ladislav Kvasz, DSc., Dr. (30.09.2017)

  

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: prof. RNDr. Ladislav Kvasz, DSc., Dr. (14.09.2020)

 Přednáška

V případě omezení prezenční výuky budou ve stanovených časech probíhat on-line setkání. Od studentů se očekává, že budou mít technické vybavení, které jim umožní se zapojovat do diskuze (mikrofon a kameru).

Requirements to the exam

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (30.09.2017)

  

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: prof. RNDr. Ladislav Kvasz, DSc., Dr. (30.09.2017)

 

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.