Logic - AFS100002

• Title: Logika (Bc1 )
• Guaranteed by: Institute of Philosophy and Religious Studies (21-UFAR)
• Faculty: Faculty of Arts
• Actual: from 2023
• Semester: winter
• Points: 6
• E-Credits: 9
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/0, C [HT]; summer s.:2/0, Ex [HT]
• Capacity: winter:unknown / unknown (unknown); summer: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: AFS100763
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: prof. PhDr. Vojtěch Kolman, Ph.D.
• Interchangeability : AFS100599
• Is interchangeable with: AFS400001

Annotation

English

Last update: Mgr. Vít Punčochář, Ph.D. (21.11.2021)

The course provides an introduction into logic as a philosophical discipline. The basic logical notions (such as syntax, semantics, logical truth, entailment, proof, identity, existence) and some elementary notions of set theory will be explained. We will study basic features of standard logical systems with a particular focus on classical propositional logic and Aristotelian syllogistics.

Czech

Last update: prof. PhDr. Vojtěch Kolman, Ph.D. (11.09.2023)

Cílem předmětu je uvést studenty do logiky jako filosofické disciplíny a připravit je na studium formálních metod v rámci kurzu Formální logika. Vyloženy budou takto základní pojmy logiky jako jsou syntax, sémantika, pravda, logická pravda, důkaz, vyplývání, rovnost, existence, soud, úsudek atd., zejména ve vztahu k výrokové logice a sylogistice. Zohledněny budou také filosofické a historické souvislosti oboru. Podmínkou udělení zápočtu je pravidelná účast obnášející soustavnou přípravu z hodiny na hodinu, tedy osvojení si probrané látky, řádné a včasné plnění zadaných úkolů a kontrolních testů, včetně testu výstupního.Podpora kurzu je na stránkách moodlu https://dl1.cuni.cz/course/view.php?id=15240.

Course completion requirements

Last update: prof. PhDr. Vojtěch Kolman, Ph.D. (03.09.2022)

Podmínkou udělení zápočtu je pravidelná účast obnášející soustavnou přípravu z hodiny na hodinu, tedy osvojení si probrané látky, řádné a včasné plnění zadaných úkolů a kontrolních testů, včetně testu výstupního.

Literature

Last update: Mgr. Eva Mokrejšová (22.04.2021)

KOLMAN, Vojtěch, PUNČOCHÁŘ, Vít, Formy jazyka. Úvod do logiky a její filosofie. Praha: Filosofia, 2015.

TUGENDHAT, Ernst, WOLF, Ursula, Logicko-sémantická propedeutika, přel. Martin Pokorný. Praha: Petr Rezek, 1997.