PHV241 Logic I: Seminar

Faculty of Arts
Autumn 2019
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
there are 23 fields of study the course is directly associated with, display
Course objectives
At the end of the course students should understand key notions of propositional logic, i.e. syntax and 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.
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, tests within 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).
The course is also listed under the following terms Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023.
  • Enrolment Statistics (Autumn 2019, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2019/PHV241