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
• 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

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.

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

Czech

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.

Last update: KOLMANV (13.09.2025)

Course completion requirements

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.

Last update: KOLMANV (03.09.2022)

Literature

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.

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