PH1102 Logic I
Faculty of ArtsAutumn 2018
- Extent and Intensity
- 2/1/0. 3 credit(s). Type of Completion: z (credit).
- Teacher(s)
- prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
- Guaranteed by
- prof. PhDr. Josef Krob, CSc.
Department of Philosophy – Faculty of Arts
Supplier department: Department of Philosophy – Faculty of Arts - Timetable
- Thu 10:00–11:40 A11 and each odd Thursday 12:00–13:40 A11
- 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
- Philosophy (programme FF, B-HS)
- Philosophy (programme FF, B-PH) (3)
- Upper Secondary School Teacher Training in Social Studies Basics (programme FF, N-MA)
- Upper Secondary School Teacher Training in Social Studies Basics (programme FF, N-SS) (2)
- Course objectives
- At the end of the course students should be able to: understand and explain key notions of propositional calculus (tautology, entailment, formal language, axiomatization, formal proof); apply formal techniques controlling whether a formula is a tautology or whether an argument is valid; apply formal techniques (equivalent transformations, normal forms, proving by means of Gentzen's sequential calculus); apply such techniques to ordinary reasoning (negations or equivalences of sentences, validity of an argument)
- Syllabus
- 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.
- Literature
- required literature
- RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika ([Introduction to Logic: Classical Propositional Logic). 1. vyd. Brno: Masarykova univerzita, 2015, 238 pp. ISBN 978-80-210-7790-4. info
- RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika ([Introduction to Logic: Classical Propositional Logic). 1. vyd. Brno: Masarykova univerzita, 2015, 238 pp. ISBN 978-80-210-7790-4. URL info
- Teaching methods
- Lectures supported by class exercises
- Assessment methods
- After the first term there is a credit test (after the second there is an exam - its first part written, the second part oral). This credit test has 10 questions. A third of it checks the students's acquaintance with theoretical notions and two thirds of it chec student's practical skills such as negations of sentences or controlling the validity of arguments.
- Language of instruction
- Czech
- Follow-Up Courses
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually. - Information about innovation of course.
- This course has been innovated under the project "Faculty of Arts as Centre of Excellence in Education: Complex Innovation of Study Programmes and Fields at FF MU with Regard to the Requirements of the Knowledge Economy“ – Reg. No. CZ.1.07/2.2.00/28.0228, which is cofinanced by the European Social Fond and the national budget of the Czech Republic.
- Teacher's information
- http://www.phil.muni.cz/elf/course/view.php?id=989
- Enrolment Statistics (Autumn 2018, recent)
- Permalink: https://is.muni.cz/course/phil/autumn2018/PH1102