Logic (BA, single-subject) - AFS100599

• Title: Logika (Bc1 od 2011/12)
• Guaranteed by: Institute of Philosophy and Religious Studies (21-UFAR)
• Faculty: Faculty of Arts
• Actual: from 2022
• Semester: winter
• Points: 0
• E-Credits: 6
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/0, C [HT]; summer s.: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
• Guarantor: prof. PhDr. Vojtěch Kolman, Ph.D.
• Is interchangeable with: AFS100002

Annotation

English

Last update: Mgr. Eva Mokrejšová (18.08.2011)

An introductory course of logic for students of philosophy.

Czech

Last update: Mgr. Vít Punčochář, Ph.D. (28.09.2011)

Základní kurs logiky pro studenty filosofie.

Requirements to the exam

Last update: Mgr. Vít Punčochář, Ph.D. (28.09.2011)

Požadavky k zápočtu i ke zkoušce jsou podrobně popsány na http://potkan.info/atestace.htm

Syllabus

Last update: Mgr. Vít Punčochář, Ph.D. (28.09.2011)

V zimním semestru bude probrána sémantika klasické výrokové logiky s důrazem na základní sémantické pojmy jako je úplnost množiny spojek, logická pravda, logické vyplývání, logická ekvivalence, dualita. Následovat bude axiomatizace výrokové logiky. V závěru semestru se budeme věnovat sylogistice a základům teorie množin. Stručně zmíněny budou také některé neklasické logiky.

Hlavním tématem letního semestru bude klasická predikátová logika s důrazem na přesnou formulaci Tarského definice pravdy a na ní vystavěné sémantické pojmy. Zformulujeme metodu sémantických stromů pro výrokovou i predikátovou logiku a dokážeme její úplnost. Všechna témata budou probrána s ohledem na jejich filosofické aspekty.