RUSSELL'DA SAYININ TEMELLENDİRİLMESİ

Aritmetiğin mantığa indirgenebileceği düşüncesi eş deyişle mantıkçılık Frege'nin ömrünü adadığı, Russell eliyle başarısızlığa uğrayan bir çabadır. Her ne kadar Russell, Frege'nin mantıkçılığını sonlandırmış olsa da, kendisi mantıkçılığı yeni bir yapılandırmayla diriltmeye çabalar. Bu çalışmada Russell'ın aritmetiği dolayısıyla sayıları nasıl temellendirdiğini, bu temellendirmenin başarılı olup olmadığını konu ediyoruz.

RUSSELL'S FOUNDATION OF NUMBER

It was Frege's lifelong effort to reduce all of arithmetic to logic but his project failed because of Russell's paradox. Despite of stating the paradox, Russell also tried to found arithmetic just by using logic. In this essay we concern how Russell tried to find a new way of logicism and examine whether he succeeded or not.

___

Coquand, Thierry, "Type Theory", Stanford Encylopedia of Philosophy, http://plato.stanford. edu/entries/type-theory/, çevrimiçi (01.02.2015).

Demopoulos, William, Peter Clark, "The Logicism of Frege, Dedekind and Russell," in Stewart Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford: Oxford University Press, 2005.

Frege, Gottlob, 1902, "Letter to Russell," in Jean van Heijenoort (ed.), From Frege to Gödel, Cambridge: Harvard University Press, Mass. 1967.

George, Alexander, Daniel J. Velleman, Philosophies of Mathematics, Blackwell 2002.

Griffin, Nicholas, "The Prehistory of Russell's Paradox," Godehard Link (ed.), One Hundred Years of Russell's Paradox, Berlin and New York: Walter de Gruyter, 2004.

Gödel, Kurt, Principia Mathematica ve İlişkili Olarak Kararlaştırılamayan Önermeleri Üze- rine, çev. Özge Ekin, İstanbul: Boğaziçi Üniversitesi Yayınları, 2010.

Russell, Bertrand, Introduction to Mathematical Philosophy, London: George Allen&Unwin, 1919.

----, "Mathematical logic as based on the theory of types", From Frege to Gödel a Source Book in Mathematical Knowledge, London: Harvard University Press, 1967.

----, On Denoting, Mind. S. 56,1905, s. 470-493.

----, Principia Mathematica vol. 1, London: Cambridge University Press, 1910.

----, Principle Of Matmehatics, London: Routledge, 2010.

----, The Philosophy of Logical Atomism, London: Routledge, 2009.

Stewart Shapiro, ThinkingAbout Mathematics, Oxford, New York, 2000.

Weyl, "Mathematics and Logic", American Mathematical Monthly, S. 53, 1946.