Filozofické aspekty logiky a matematiky - ALG119003

• Anglický název: Philosophical aspects of logic and mathematics
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2022
• Semestr: oba
• Body: 0
• E-Kredity: 4
• Rozsah, examinace: 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í
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; předmět lze zapsat v ZS i LS
• Garant: doc. Mgr. Radek Honzík, Ph.D.; PhDr. Mgr. Marta Vlasáková, Ph.D.

Anotace

Poslední úprava: doc. Mgr. Radek Honzík, Ph.D. (23.09.2020)

Filosofie logiky zkoumá a promýšlí základní pojmy a postupy logiky a klade otázky po jejich oprávnění a zdůvodnění. Cílem kursu je nastínit problémy, které při tomto zkoumání vycházejí najevo, a ozřejmit různé možné odpovědi na ně, plynoucí z odlišných přístupů renomovaných logiků (filosofů). To by mělo umožnit lepší pochopení jak oněch základních pojmů, tak i důvodů, proč různí logikové či logické školy volí někdy i podstatně odlišné cesty při budování logických systémů. Jelikož je moderní logika úzce propojena s matematikou, jsou pro filosofii logiky relevantní i některá témata z filosofie matematiky.
Kurs předpokládá základní obeznámenost se standardními logickými systémy.

Literatura

Poslední úprava: doc. Mgr. Radek Honzík, Ph.D. (23.09.2020)

Haack, Susan: Philosophy of Logics, Cambridge University Press, 1978

Peregrin, J., Vlasáková, M.: Filosofie logiky, Filosofia, Praha 2017

Metody výuky

Poslední úprava: doc. Mgr. Radek Honzík, Ph.D. (23.09.2020)

Ke kurzu patří Moodle stránky, které budou průběžně aktualizovány, viz https://dl1.cuni.cz/course/view.php?id=10194.

Sylabus

Poslední úprava: doc. Mgr. Radek Honzík, Ph.D. (23.09.2020)

Různá pojetí povahy logiky a jejího předmětu

Výrok a jeho struktura

Obecné výrazy a problematika obecnin, singulární výrazy

Logické konstanty

Identita

Problém vyjádření existence

Definice

Pravdivost výroku, teorie pravdy

Nutná pravdivost

Možné světy

Paradoxy

Logické vyplývání

Kalkuly, matematizace logiky

Motivace některých neklasických logických systémů

Pojem nekonečna a moderní matematika

Filozofické interpretace fenoménu neúplnosti teorií pro výstavbu matematiky