PHV443en Philosophical Logic: Selected Chapters

Filozofická fakulta
jaro 2025
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
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
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
Další komentáře
Výuka probíhá každý druhý týden.
Předmět je zařazen také v obdobích podzim 2021, jaro 2024.