PH1102 Logic I

Faculty of Arts
Autumn 2002
Extent and Intensity
2/1/0. 3 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (seminar tutor)
Guaranteed by
prof. PhDr. Jan Zouhar, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Timetable
each odd Friday 9:10–9:55 21, each odd Friday 10:00–10:45 21 and each even Friday 7:30–8:15 12, each even Friday 8:20–9:05 12, each even Friday 9:10–9:55 12, each even Friday 10:00–10:45 12
Prerequisites
No special presuppositions
Course Enrolment Limitations
The course is also offered to the students of the fields other than those 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. Normal forms. Gentzen's sequential calculus.
Syllabus
  • Povaha logiky jako analytické vědy. Neformální charakteristika vyplývání jakožto ústředního pojmu logiky. Pravdivostní funkce. Tautologie. Výrokově logické vyplývání. Formální jazyk. Dobře utvořené formule. Axiomatizace v Hilbertově stylu. Pojem formálního důkazu.Vztah syntaxe a sémantiky. Teorém dedukce. Normální formy. Gentzenovský sekvenční kalkul, srovnání s Hilbertovskými kalkuly. Logic as an analytical science. An informal characteristics of entailment as the central notion of logic. Truth-functions. Tautologies. Truth-functional entailment. Formal language. Well-formed formulas. A Hilbert-style axiomatization. The concept of formal proof. The relation between syntax and semantics. Deduction theorem. Normal forms. Gentzen's sequential calculus, comparison with Hilbertian calculi
Assessment methods (in Czech)
Přednáška s cvičením. Zkouška, z cvičení v každém semestru zápočet.
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
Teacher's information
phil.muni.cz
The course is also listed under the following terms Autumn 1999, Autumn 2000, Autumn 2001, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2007, 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 2002, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2002/PH1102