FF:PHV443en Philosophical Logic - Course Information
PHV443en Philosophical Logic: Selected Chapters
Faculty of ArtsSpring 2025
- Extent and Intensity
- 0/2. 4 credit(s). Type of Completion: k (colloquium).
In-person direct teaching - 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
- 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
- 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 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
- (1) Characteerize some important topics of contemporary philosophical/non-classical logic, such as e.g. higher-order quantification, logical omniscience problem, Kripke relational (possible-worlds) semantics, Heyting algebra.
(2) Characterize major systems of contemporary philosophical/non-classical logic, such as e.g. modal logic, epistemic logic, intuitionistic logic, many-valued/fuzzy logics. - Syllabus
- 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
- (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
- (i) Homeworks (e-tests in IS) accomplished during the semester (gathering up to 5 points per each).
(ii) Attendance (1 point per each) 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
- Enrolment Statistics (Spring 2025, recent)
- Permalink: https://is.muni.cz/course/phil/spring2025/PHV443en