FF:PHV241 Logic I: Seminar - Course Information
PHV241 Logic I: Seminar
Faculty of ArtsAutumn 2020
- Extent and Intensity
- 0/2. 2 credit(s). Type of Completion: z (credit).
- Teacher(s)
- prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
- Guaranteed by
- prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Department of Philosophy – Faculty of Arts
Supplier department: Department of Philosophy – Faculty of Arts - Timetable
- each odd Thursday 12:00–13:40 A11
- Prerequisites
- PHBL1 (best if simultaneously enrolled) or similar course
- 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) (5)
- Philosophy (programme FF, B-PH_) (6)
- Philosophy (programme FF, N-HS)
- Philosophy (programme FF, N-PH) (2)
- Philosophy (programme FF, N-PH_) (4)
- Upper Secondary School Teacher Training in Social Studies Basics (programme FF, N-ZA_) (4)
- Course objectives
- The course extends practically-oriented knowledge of the course PHBL1. See the description of PHBL1.
- Learning outcomes
- The student is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The student examines a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.
- Syllabus
- Excercises are related to the following topics:
- 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. URL info
- Teaching methods
- Exercises led by the teacher + e-learning.
- Assessment methods
- Attendance to (e-)classes, active particpation, e-tests during the course.
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually.
Information on the extent and intensity of the course: kombinovaná forma: 16 hodin/semestr. - Teacher's information
- http://www.phil.muni.cz/~raclavsky/logika/
All materials occur in ELF (e-learning).
- Enrolment Statistics (Autumn 2020, recent)
- Permalink: https://is.muni.cz/course/phil/autumn2020/PHV241