Ú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.

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].