Logika (Bc1 ) - AFS100002

• Anglický název: Logic
• Zajišťuje: Ústav filosofie a religionistiky (21-UFAR)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• Semestr: zimní
• Body: 6
• E-Kredity: 9
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, Z [HT]; letní s.:2/0, Zk [HT]
• Počet míst: zimní:neurčen / neurčen (neurčen); letní:neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Je zajišťováno předmětem: AFS100763
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: prof. PhDr. Vojtěch Kolman, Ph.D.
• Záměnnost : AFS100599
• Je záměnnost pro: AFS400001

Anotace

čeština

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.

Poslední úprava: KOLMANV (13.09.2025)

angličtina

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.

Poslední úprava: Punčochář Vít, Mgr., Ph.D. (21.11.2021)

Podmínky zakončení předmětu

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.

Poslední úprava: KOLMANV (03.09.2022)

Literatura

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.

Poslední úprava: Mokrejšová Eva, Mgr. (22.04.2021)