Tématem pro letní semestr bude moderní matematická logika v Principia Mathematica.
Studijní podklady jsou zde.
Studijní literatura:
RUSSELL, B., WHITEHEAD, A. N. Principia Mathematica I. 2nd edition. Cambridge: Cambridge University Press. 1927. (doporučuji číst začátek původního Úvodu, s. 1-22)RUSSELL, B. Introduction to Mathematical Philosophy. London: George Allen & Unwin, Ltd.. 1919. (srozumitelnější text, doporučuji číst kapitoly XIV a XV, s. 116-133)
Výklady a přehledy:LINSKY, B., IRVINE, A. D. Principia Mathematica. In Stanford Encyclopedia of Philosophy. 2021 [online].Wikipedia: Principia Mathematica. [online].
Úvod do otázek logiky navazující na předmět Základní otázky logiky I., lze však zapisovat samostatně. Cílem kurzu je seznámení s výchozími myšlenkami logiky (včetně matematické) a jejich promýšlením: co je výrok, pravda, lež, nutnost atd.? Logika je předvedena jako jednotná myšlenková tradice od antiky až po moderní matematickou logiku.
Půjde jednak o procvičení návyků kalkulu, jednak o seznámení se s filosofickými otázkami logiky. Kurz je dobré si zapsat spolu se seminářem YBFB005.