PHK1102 Logic I

Faculty of Arts
Autumn 2007
Extent and Intensity
0/0. 4 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
Guaranteed by
prof. PhDr. Jan Zouhar, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Timetable
Fri 5. 10. 14:10–15:45 B11, Fri 2. 11. 14:10–15:45 B11, Fri 14. 12. 14:10–15:45 B11, Fri 18. 1. 14:10–15:45 B11
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
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. Gentzen's sequential calculus.
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. Gentzen's sequential calculus.
Assessment methods (in Czech)
Přednášecí část hodin bude věnována principiálnímu porozumění tématu, které bude (po samostudiu posluchačů) procvičováno. V podzimním semestru je písemný zápočtový test. Zkouška se sestává jednak z písemného testu ověřujícího zejména praktické ovládání (jako i pololetní zápočet), jednak z doplňující ústní části věnované teorii.
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
Information on the extent and intensity of the course: celkem 16 hod. konzultací.
Teacher's information
http://www.phil.muni.cz/elf/course/view.php?id=255
The course is also listed under the following terms Autumn 2001, Autumn 2002, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2008, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018, Autumn 2019.
  • Enrolment Statistics (Autumn 2007, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2007/PHK1102