Philosophical aspects of logic and mathematics - ALG119003

• Title: Filozofické aspekty logiky a matematiky
• Guaranteed by: Department of Logic (21-KLOG)
• Faculty: Faculty of Arts
• Actual: from 2022
• Semester: both
• Points: 0
• E-Credits: 4
• Hours per week, examination: 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
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; you can enroll for the course in winter and in summer semester
• Guarantor: doc. Mgr. Radek Honzík, Ph.D.; PhDr. Mgr. Marta Vlasáková, Ph.D.

Annotation

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

Literature

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

Teaching methods

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

Syllabus

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