Formální logika - AFS100764

• Anglický název: Formal Logic
• Zajišťuje: Ústav filosofie a religionistiky (21-UFAR)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• Semestr: letní
• Body: 0
• E-Kredity: 8
• Způsob provedení zkoušky: letní s.:
• Rozsah, examinace: letní s.:2/2, Zk [HT]
• Počet míst: neomezen / neomezen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: https://dl1.cuni.cz/course/view.php?id=15849
• 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.
• Vyučující: prof. PhDr. Vojtěch Kolman, Ph.D.

Anotace

Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (09.02.2023)

Předmět má uvést studenty do metod formální logiky, primárně klasické predikátové logiky s rovností, v běžném detailu čítajícím podrobný důkaz vět o úplnosti a korektnosti vybraných kalkulizací. Doplňkově mohou být zmíněny i některé neklasické logiky, zejména modální a intenzionální, které mají souvislosti s moderní filosofií. Výklad je veden na pozadí pojetí logiky jako samostatné disciplíny a jako pomocné disciplíny filosofické, s jejich vazbami jak na tradiční projekty axiomatizace a kalkulizace vědění (Aristotelés, Leibniz, Bolzano, Frege, Hilbert apod.), tedy logiku v užším, formálním slova smyslu, tak na jejich roli v konceptech širších, od logiky dialektické po logiku přirozeného jazyka, logiku neformální a jiné (Aristotelés, Hegel, Dewey, Wittgenstein apod.).

Předmět začíná 21. 2. 2023.

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

Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (19.01.2023)

Podmínkou udělení atestu je aktivní účast na výuce, včetně pravidelné přípravy z hodiny, včasné řešení zadaných úloh a znalost probrané látky v celém rozsahu.

Literatura

Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (09.02.2023)

Frege, Gottlob, Begriffsschrift, Heijenoortův překlad otištěný in: From Frege to Gödel, Harvard University Press, Cambridge MA 1970, s. 1–82,

Kolman, V., Punčochář, V., Formy jazyka, Filosofia, Praha 2014,

Tugendhat, E., Wolf, Ursula, Logicko-sémantická propedeutika, přel. Martin Pokorný, Rezek, Praha 1997,

Wittgenstein, L., Tractatus logico-philosophicus, přel. Petr Glombíček, Oikumené, Praha 2017.

Požadavky k zápisu

Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (09.02.2023)

Kurz se skládá z přednášky a cvičení, obojí předpokládá absolvování kurzu Logická propedeutika.