PHV241 Logic I: Seminar

Faculty of Arts
Autumn 2022
Extent and Intensity
0/2. 2 credit(s). Type of Completion: z (credit).
Taught in person.
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
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
The course extends knowledge from the course PHBL1. Mainly its practical part + some reading of the classics of analytic philosophy (the ratio of the two changes upon agreement).
Learning outcomes
a) Exercising techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. b) Reading and critical analysis of selected texts written by analytic philosophers/logicians.
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. The list of text varies (Frege, Russell, Carnap, Wittgenstein, ...)
Literature
    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 devoted to practical applications, readings and discussions.
Assessment methods
Attendance to (e-)classes, active particpation, e-tests during the course.
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
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/
All materials occur in ELF (e-learning).
The course is also listed under the following terms Autumn 2019, Autumn 2020, Autumn 2021.
  • Enrolment Statistics (Autumn 2022, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2022/PHV241