PHBL1 Logic I

Faculty of Arts
Spring 2025
Extent and Intensity
1/1/0. 5 credit(s). Type of Completion: zk (examination).
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
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
there are 7 fields of study the course is directly associated with, display
Course objectives
(1) Acquiring the essential notions of modern (formal) logic, in particular, propositional logic (both classical and nonclassical), see Course Contents for details.
(2) Most of the course is an application of (selected parts of) mathematical logic on natural language, i.e. on everyday rational reasoning.
(3) Some lectures focus on theory (e.g. syntax/semantics of propositional logic, paradoxes), and some lectures focus on solutions of practical problems (e.g. equivalences/negations of propositions/formulas, arguments checking, natural deduction).
Learning outcomes
(1) Acquiring the essential notions of formal logic, in particular, (classical) propositional logic, see Course Contents for details.
(2) Increasing critical thinking and logical reasoning.
(3) Acquiring skills in the representation of knowledge (natural language processing) and reasoning in the sense of AI, computer science, formal semantics, analytic philosophy etc.
(4) Exercising analytical and algorithmic thinking, both on natural and formal examples.
(5) Acquiring the essential knowledge about logic (from the viewpoint of humanities).
Syllabus
  • (1) Logic as a science of logical consequence.
  • (2) Paradoxes.
  • (3) Truth-functions.
  • (4) Formal language. Well-formed formulas.
  • (5) Tautologies.
  • (6) Equivalences and negations.
  • (7) Logical consequence.
  • (8) Non-classical logics.
  • (9) Axiomatization and formal proofs.
  • (10) Natural deduction.
  • (11) Semantic tableaux.
  • (12) Philosophy of logics.
Teaching methods
Classes + exercises. E-learning (homeworks).
Assessment methods
(1) REGULAR HOMEWORKS. Condition required before the exam: During the semester, at least 80 % of regular e-tests (every week 1-2) must be successfully completed (each e-test must receive at least 80 % of points).
(2) FINAL EXAM. An e-test via computer. The questions are similar to those from homeworks. (For few, the exam is not required; they successfully pass if filling the homeworks.) For A mark approx. 80 % of questions must be correctly answered.
(3) BONUS. Each lecture starts with a short quiz on the topic of the lecture. Those attending the lectures receive extra points from answering the quizzes - the points serve for increasing the mark from the final e-test/exam.
Language of instruction
Czech
Follow-Up Courses
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
The course is taught: every week.
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
http://www.phil.muni.cz/~raclavsky/logika/
The course is also listed under the following terms Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023.
  • Enrolment Statistics (Spring 2025, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2025/PHBL1