UZPHK2102 Elements of Logic

Faculty of Arts
Autumn 2011
Extent and Intensity
0/0. 5 credit(s). Type of Completion: zk (examination).
Teacher(s)
doc. Mgr. Radim Bělohrad, Ph.D. (lecturer)
Guaranteed by
prof. PhDr. Jan Zouhar, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Timetable
Fri 30. 9. 13:20–14:55 J21, Fri 25. 11. 13:20–14:55 J21
Prerequisites
No special presuppositions
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
At the end of the course students should understand key notions of propositional logic: semantics of propositional logic (the concept of tautology, truth-functional entailment), formal language, axiomatization of propositional logic, the concept of formal proof, deduction theorem, Gentzen's sequential calculus; 1st order logic: semantics, syntax, adding identity, descriptive operator, functions.
Syllabus
  • Inroduction to logic. Truth-functional (propositional) logic. Semantics of propositional logic: the concept of tautology, truth-functional entailment. Formal language, axiomatization of propositional logic. The concept of formal proof.Deduction theorem. Normal forms. Gentzen's sequential calculus. 1st oder logic: informal introduction, syntax, semantics. Identity, descriptive operator, functions Perspectives: higher order logics, modal and intensional logics. Formalized theories, arithmetics of natural numbers, incompleteness theorems. Concept, definition.
Literature
  • viz Informace učitele
Teaching methods
lecture
Assessment methods
Written exam
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
Information on the extent and intensity of the course: 10 hodin konzultací.
Teacher's information
http://www.phil.muni.cz/fil/logika/
The course is also listed under the following terms Autumn 2004, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2009, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018, Autumn 2019.
  • Enrolment Statistics (Autumn 2011, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2011/UZPHK2102