PHV443en Philosophical Logic: Selected Chapters

Filozofická fakulta
jaro 2024
Rozsah
0/2. 4 kr. Ukončení: k.
Vyučováno prezenčně.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Katedra filozofie – Filozofická fakulta
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Rozvrh
každý lichý čtvrtek 12:00–13:40 B2.42
Předpoklady
Introductory logical course (propositional logic + quantified/predicate logic) highly recommended.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 27 mateřských oborů, zobrazit
Cíle předmětu
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.
Výstupy z učení
(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.
Osnova
  • 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
Literatura
  • 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
Výukové metody
(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.
Metody hodnocení
(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.
Vyučovací jazyk
Angličtina
Informace učitele
https://www.phil.muni.cz/~raclavsky/logika/fl.php?p=en
Předmět je zařazen také v obdobích podzim 2021, jaro 2025.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/phil/jaro2024/PHV443en