PHBL1 Logic I

Faculty of Arts
Autumn 2020
Extent and Intensity
1/1/0. 5 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).
Taught online.
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
Thu 10:00–11:40 A11
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
there are 7 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, natural deduction, tableax (tree) proofs.
Learning outcomes
The course presents not only the main information about propositional logic, whereas an accent is put on the notion of entailment. 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.
  • An informal characteristics of entailment as the central notion of logic.
  • Truth-functions.
  • Tautologies.
  • Formal language. Well-formed formulas.
  • Entailment (logical consequence).
  • A Hilbert-style axiomatization.
  • The concept of formal proof.
  • The relation between syntax and semantics.
  • Natural deduction.
  • Semantic tableaux.
    recommended 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
Classes + exercises. E-learning.
Assessment methods
* Written examination (possibly via computer) and possibly, a short oral examination. The test consists of questions asking to explain essential notions (such as e.g., entailment) and examining also the trained logical skills by solving particular examples (e.g. validity of arguments). * Condition required before the exam: During the semester, at least 80 % of regular e-tests must be successfully completed (each e-test must receive at least 80 % of points). The questions in the final test are variants of selected questions from the e-tests.
Language of instruction
Follow-Up Courses
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
General note: Pro studenty kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV2451 Logika I: otázky a odpovědi.
Information on the extent and intensity of the course: kombinovaná forma: 16 hodin/semestr.
Teacher's information
The course is also listed under the following terms Autumn 2019, Autumn 2021, Autumn 2022.
  • Enrolment Statistics (Autumn 2020, recent)
  • Permalink: