PHV141 Logic for everyone

Faculty of Arts
Autumn 2025

The course is not taught in Autumn 2025

Extent and Intensity
0/2. 4 credit(s). Type of Completion: k (colloquium).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (seminar tutor)
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. The course is not offered to the students of the Department of Philosophy (they have distinct 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 be able to: understand and explain key notions of propositional and first-order logic - tautology, entailment, formal language, axiomatic theory, formal proof; and apply main logical techniques to apply such techniques to ordinary reasoning (negations or equivalences of sentences, validity of an argument).
Learning outcomes
The course presents not only the main information about propositional and first-order 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.
Syllabus
  • Logic as an analytical science.
  • An informal characteristics of entailment as the central notion of logic.
  • Truth-functions.
  • Tautologies.
  • Entailment (logical consequence).
  • Formal language.
  • The concept of formal proof.
  • Natural deduction
  • Predicate, quantification
  • Square of Opposition.
  • Syllogisms.
  • Axiomatic theories.
Literature
    recommended literature
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika ([Introduction to Logic: Classical Predicate Logic). 1. vyd. Brno: Masarykova univerzita, 2015, 348 pp. ISBN 978-80-210-7867-3. 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
Further comments (probably available only in Czech)
Course is no more offered.
The course is taught every other week.
Information on the extent and intensity of the course: kombinovaná forma: 16 hodin/semestr.
Teacher's information
http://www.phil.muni.cz/~raclavsky/logika/
  • Permalink: https://is.muni.cz/course/phil/autumn2025/PHV141