Russellova analýza Peanovy aritmetiky
| Název práce v češtině: | Russellova analýza Peanovy aritmetiky |
|---|---|
| Název v anglickém jazyce: | Russell's analysis of Peano Arithmetic |
| Klíčová slova: | Russell, Peanova aritmetika, třídy, jazyk |
| Klíčová slova anglicky: | Russell, Peano Arithmetic, classes, language |
| Akademický rok vypsání: | 2012/2013 |
| Typ práce: | diplomová práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra logiky (21-KLOG) |
| Vedoucí / školitel: | Mgr. Tomáš Holeček, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 06.06.2013 |
| Datum zadání: | 06.06.2013 |
| Schválení administrátorem: | zatím neschvalováno |
| Datum potvrzení stud. oddělením: | 01.07.2013 |
| Datum a čas obhajoby: | 17.09.2014 09:00 |
| Datum odevzdání elektronické podoby: | 15.08.2014 |
| Datum proběhlé obhajoby: | 17.09.2014 |
| Odevzdaná/finalizovaná: | odevzdaná studentem a finalizovaná |
| Oponenti: | Mgr. Pavel Arazim, Ph.D. |
| Zásady pro vypracování |
| Předvedení klasické analýzy Peanovy aritmetiky jako logické (jazykové) konstrukce v Principiích Mathematica, tj. analýzy idejí čísla, nuly a následníka pomocí tříd a relací, a následně analýzy výrazů obsahujících třídy nebo relace pomocí výroků a výrokových funkcí v teorii typů. Posouzení této analýzy z filosofického hlediska (např. otázka jazyka, otázka axiomu reducibility, nestandardních modelů PA, neúplnosti aj. podle vývoje práce). |
| Seznam odborné literatury |
| Russell, B.: Introduction to Mathematical Philosophy. London: George Allen & Unwin. 1919. Russell, B., Whitehead, A.: Principia Mathematica, 3 vols. Cambridge: Cambridge University Press. 1910 - 1913. Kamareddine, F. - Laan, T. - Nederpelt, R. 2002. Types in Logic and Mathematics before 1940. The Bulletin of Symbolic Logic, vol. 8/2, 185-245. Landini, G. 1998. Russell's Hidden Substitutional Theory. Oxford: Oxford University Press. Barwise, J, (Editor) 1977. Handbook of Mathematical Logic. van Heijenoort, Jean (Editor) 1967, third printing 1976. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Cambridge, Massachusetts: Harvard University Press. Godehard Link, (Editor) 2004. One hundred years of Russell's paradox. De Gruyter. |