PH0224 Filozofická logika

Filozofická fakulta
jaro 2016
Rozsah
1/1/0. 3 kr. Ukončení: k.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. Josef Krob, CSc.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Hana Holmanová
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Rozvrh
Čt 14:10–15:45 A11
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á 10 mateřských oborů, zobrazit
Cíle předmětu
Po absolvování předmětu bude student: chápat klíčová témata filosofie logiky (vyúlývání, důkazový systém, apod.); rozumět základům systémů filosofických/neklasických logik (např. modální l., epistemické l., mnohohodnotové a fuzzy l., intuicionistické l.) vysvětlit nejvíce diskutované rysy Fregeho, Russellova, Tarského či Gödelova díla;
Osnova
  • Fregeho Begriffschrift a další texty
  • Russellovy Principles of Mathematics a Principia Mathematica
  • Tarského teorie pravdy, vyplývání, teorie modelů
  • Gödelovy výsledky a jejich recepce
  • problémy základů teorie množin
  • vybrané problémy diskutované v druhé polovině 20. století (Benaceraff apod.)
  • nominalismus vs. realismus a další velké spory
Literatura
    povinná literatura
  • HAACK, Susan. Philosophy of logics. Cambridge: Cambridge University Press, 1978, xvi, 276 s. ISBN 0-521-21988-4. 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
    doporučená literatura
  • RACLAVSKÝ, Jiří, Petr KUCHYŇKA a Ivo PEZLAR. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator. 1. vyd. Brno: Masarykova univerzita, 2015, 322 s. ISBN 978-80-210-7973-1. info
  • The Oxford handbook of philosophy of mathematics and logic. Edited by Stewart Shapiro. Oxford: Oxford University Press, 2007, xv, 833. ISBN 9780195325928. info
  • Philosophy of logic : an anthology. Edited by Dale Jacquette. 1st ed. Oxford: Blackwell Publishing, 2002, xi, 372. ISBN 0631218688. 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 J. F. A. K. van Benthem - Alice ter Meulen. Amsterdam: Elsevier, 1997, xxiii, 124. ISBN 044481714X. 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
  • READ, Stephen. Thinking about logic : an introduction to the philosophy of logic. 1st pub. Oxford: Oxford University Press, 1995, viii, 262. ISBN 019289238X. info
Výukové metody
přednášky; samostudium klíčových textů; průběžné písemné domácí zodpovídání otázek;
Metody hodnocení
ústní zkouška (kolokvium)
Další komentáře
Studijní materiály
Předmět je zařazen také v obdobích jaro 2005, jaro 2006, jaro 2007, jaro 2009, podzim 2010, jaro 2014, jaro 2015, jaro 2017.