PHV443en Philosophical Logic: Selected Chapters

Faculty of Arts
Spring 2025
Extent and Intensity
0/2. 4 credit(s). Type of Completion: k (colloquium).
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 (in Czech)
Introductory logical course (propositional logic + quantified/predicate logic) highly recommended.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
there are 27 fields of study the course is directly associated with, display
Course objectives (in Czech)
The course covers selected topics from PHILOSOPHICAL LOGIC in the sense of (I) (logical) problems embodied in contemporary non-classical logics and (II) main NON-CLASSICAL (aka philosophical) LOGICS. (Not to be confused with the philosophy of logic and obsolete historical Aristotelian/traditional philosophical logics.)
The overall mission of the course is to launch some most important topics of contemporary philosophical logic that extend the knowledge from introductory logical courses (that consists classical mathematical logic) as taught in the western departments of philosophy (but even computer science or math). For example, we already know the standard notion of logical consequence, but we put more light on it from a theoretical (or philosophical, if you like) perspective. Similarly, we already got a glimpse of some non-classical logics (e.g. modal, epistemic, ...) from the introductory logic course but we show here the next essential pack of knowledge.
Aims thus are: understanding and capability to explain selected main topics of philosophical logic: theory of denotation/reference (esp. Frege, Russell), syntactic/semantic logical consequence (esp. Tarski); modal logic; epistemic logic; three/many-valued and fuzzy logics; some other non-classical logics.
Learning outcomes (in Czech)
(1) Describe some important topics of contemporary philosophical/non-classical logic, such as e.g. higher-order quantification, logical omniscience problem, Kripke relational (possible-worlds) semantics, Henkin-completeness, Heyting algebra.
(2) Describe major systems of contemporary philosophical/non-classical logic, such as e.g. modal logic, epistemic logic, intuitionistic logic, many-valued logics.
(3) Adequately read and analyze a text in philosophical logic.
Syllabus (in Czech)
  • Frege's modern (problems of) logic
  • Logical consequence
  • Higher-order logic and type theory
  • Modal logic
  • Epistemic logic
  • Intuitionistic logic
  • Many-valued and fuzzy logics
Teaching methods (in Czech)
(a) Lectures with PDF presentations and discussions.
(b) Homeworks (answers to questions on presentations or self-studied texts) via e-learning.
(c) Self-study of supplementary writings.
Assessment methods (in Czech)
(i) Homeworks (e-tests in IS) accomplished during the semester (gathering up to 5 points per each).
(ii) Attendance and activities in lectures also bring some points (1 per each).
From (i) and (ii) some minimum is required to pass.
(iii) Colloquium in the form of a summarizing e-test.
Language of instruction
English
Further Comments
The course is taught: every other week.
Teacher's information
https://www.phil.muni.cz/~raclavsky/logika/fl.php?p=en
The course is also listed under the following terms Autumn 2021, Spring 2024.
  • Enrolment Statistics (Spring 2025, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2025/PHV443en