PHV443en Philosophical Logic: Selected Chapters

Filozofická fakulta
podzim 2021
Rozsah
0/2. 2 kr. Ukončení: k.
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ý sudý čtvrtek 14:00–15:40 K24
Předpoklady
introductory logical course (propositional logic, quantified logic)
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
Understanding and capability to explain main topics of philosophical logic: theory of denotation/reference (esp. Frege, Russell), syntactic/semantic logical consequence (esp. Tarski); theories of truth (Tarski, Kripke); logical paradoxes; modal logic; epistemic logic; other non-classical logics; philosophy of mathematics.
Výstupy z učení
capability to adequately read and analyse a text in (non-technical) philosophical logic; capability to describe major topics of philosophical logic; capability to describe major systems of philosophical logic
Osnova
  • Frege's work
  • Russell's work
  • modal logic
  • epistemic logic
  • intuitionistic logic
  • many-valued logics and fuzzy logic
  • intensional and hyperintensional logics
  • systems of deduction
  • type theory (simple, ramified)
  • (logical) theories of truth (esp. Tarski)
  • logical and semantic paradoxes
Literatura
  • 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
  • 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
lectures; readings of key writings; homeworks (answers to questions on studied texts); e-learning
Metody hodnocení
(i) homeworks (e-tests) accomplished during the semester; (ii) colloquium: written part (paragraph-long answers to several questions) - probably transformed into an e-test in 2021; oral part (discussion of the topics form questions);
Vyučovací jazyk
Angličtina
Informace učitele
https://www.phil.muni.cz/~raclavsky/logika/fl.php?p=en
Další komentáře
Studijní materiály
Předmět je zařazen také v obdobích jaro 2024.