PHV241 Logic I: Seminar

Faculty of Arts
Autumn 2021
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
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).
The course is also listed under the following terms Autumn 2019, Autumn 2020, Autumn 2022, Autumn 2023.
  • Enrolment Statistics (Autumn 2021, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2021/PHV241