PHV443en Philosophical Logic: Selected Chapters

Faculty of Arts
Spring 2024
Extent and Intensity
0/2. 4 credit(s). Type of Completion: k (colloquium).
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 B2.42
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
Literature
  • MACFARLANE, John. Philosophical logic : a contemporary introduction. First published. New York: Routledge, Taylor & Francis Group, 2021, xviii, 238. ISBN 9781138737648. info
  • The Bloomsbury companion to philosophical logic. Edited by Leon Horsten - Richard Pettigrew. First published in paperback. London: Bloomsbury, 2014, viii, 637. ISBN 9781472523020. info
  • PRIEST, Graham. An introduction to non-classical logic : from if to is. 2nd ed. Cambridge: Cambridge University Press, 2008, xxxii, 613. ISBN 9780521854337. info
  • The Oxford handbook of philosophy of mathematics and logic. Edited by Stewart Shapiro. Oxford: Oxford University Press, 2007, xv, 833. ISBN 9780195325928. info
  • SAINSBURY, R. M. Logical forms : an introduction to philosophical logic. 2nd ed. Malden: Blackwell Publishing, 2001, vii, 424. ISBN 0631216790. info
  • The Blackwell guide to philosophical logic. Edited by Lou Goble. First published. Malden: Blackwell Publishing, 2001, x, 510. ISBN 0631206930. info
  • The Blackwell guide to philosophical logic. Edited by Lou Goble. First published. Malden: Blackwell Publishing, 2001, x, 510. ISBN 0631206930. info
  • Handbook of logic and language. Edited by Johan van Benthem - Alice ter Meulen. Amsterdam: Elsevier, 1997, xxiii, 124. ISBN 0-444-81714-X. info
  • HAACK, Susan. Philosophy of logics. Cambridge: Cambridge University Press, 1978, xvi, 276. ISBN 0521293294. info
  • HEIJENOOT, Jean van. From Frege to Gödel : a source book in mathematical logic, 1879-1931. Cambridge, Massachusetts: Harvard University Press, 1967, viii, 664. ISBN 0674324498. info
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.
Náhradní absolvování
Combined students (students on foreign stay, long-termed ill, ...): contact the teacher for details and agreement, self-study of materials from Interactive syllabi, and filling regular homeworks. Attendance to classes brings surplus points, but the minimum required points can be gathered without attendance from homeworks.
Language of instruction
English
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.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/phil/spring2024/PHV443en