Formal Logic - AFS100764

• Title: Formální logika
• Guaranteed by: Institute of Philosophy and Religious Studies (21-UFAR)
• Faculty: Faculty of Arts
• Actual: from 2023
• Semester: summer
• Points: 0
• E-Credits: 8
• Examination process: summer s.:
• Hours per week, examination: summer s.:2/2, Ex [HT]
• Capacity: unlimited / unlimited (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
• Additional information: https://dl1.cuni.cz/course/view.php?id=15849
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: prof. PhDr. Vojtěch Kolman, Ph.D.
• Teacher(s): prof. PhDr. Vojtěch Kolman, Ph.D.

Annotation

Last update: 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.

Course completion requirements

Last update: 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.

Literature

Last update: 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.

Registration requirements

Last update: 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.