Bu maddede kaynak listesi bulunmasına karşın metin içi kaynakların yetersizliği nedeniyle bazı bilgilerin hangi kaynaktan alındığı belirsizdir. Lütfen kaynakları uygun biçimde metin içine yerleştirerek maddenin geliştirilmesine yardımcı olun. (Nisan 2020) (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin)

Felsefe
üzerine bir seri
Platon Kant Nietzsche Buda Konfüçyüs İbn-i Rüşd
Dallar Geleneksel Epistemoloji Estetik Etik Mantık Metafizik ...felsefesi Algı Antropoloji Bilgisayar bilimi Bilim Biyoloji Cinsellik Coğrafya Dil Din Ekonomi Enformasyon Fizik Edebiyat Eğitim Hukuk Kimya Kültür Mantık Matematik Felsefe Mühendislik Müzik Psikiyatri Psikoloji Savaş Sinema Siyaset Sosyal bilimler Tarih Teknoloji Tıp Toplum Zaman Varlık Yapay zekâ Zihin
Dönemler Antik Çağ Orta Çağ Rönesans 17. yüzyıl Modern Çağdaş
Gelenekler Analitik Neopozitivizm Gündelik dil Aristoculuk Budist Abidarma Madyamaka Pramāṇavāda Yogacara Cārvāka Hegelci Hindu Mīmāṃsā Nyāya-Vaiśeṣika Sāṃkhya Yoga Vedanta Keşmir Şivacılığı Navya-Nyāya Neo-Vedanta İntegral yoga Hristiyan Augustinci Hümanist Skotçu Thomasçılık Okkamcılık İslamî Eş'ari Erken dönem İbn-i Rüşdcü İbn-i Sinacı İşraki İsmaili Tasavvuf Jain Kantçı Yeni Kıta Varoluşçuluk Fenomenoloji Konfüçyüsçülük Neo Yeni Legalizm Marksist Eleştirel teori Frankfurt Okulu Platoncu Yeni Pragmatizm Şüphecilik Taocu felsefe Yahudi Yahudilik-İslam Bölgelere göre gelenekler Afrika Etiyopya Doğu Çin Hint Endonezya Japon Kore Vietnam Orta Doğu Antik Mısır İran Türk Batı Antik Yunan Alman İtalyan Eski İskandinav Amerikan Yerlileri
Literatür Estetik Epistemoloji Etik Mantık Metafizik Siyasi felsefe
Filozoflar Estetikçiler Epistemologlar Etikçiler Mantıkçılar Metafizikçiler Sosyal ve politik filozoflar Felsefede kadınlar
Listeler Dizin Yıllar Problemler Yayınlar Teoriler Sözlük Filozoflar
g t d

Matematik felsefesi, matematiğin varlıksal, bilgisel ve yöntemsel sorunlarını inceleyen, matematiğin temelleriyle ilgili ana kavramları irdeleyen bir felsefe dalıdır.

Başlıca soruları matematik ve matematiğin konusu olan nesnelerin varlık ve bilgi kaynağı ile ilgilidir. Matematik felsefesinin ilgilendiği bazı soru şunlardır:

• Bir matematiksel önermenin niteliği nedir?
• Matematik ile mantık arasındaki ilişki nedir?
• Matematiksel nesnelerin varlığı neye dayanmaktadır?
• Matematiksel bilgiye nasıl erişiriz?
• Matematiğin yöntemi nedir?
• Matematiğe yeni aksiyomlar eklenmeli midir?
• Hermenötiklerin matematikteki rolü nedir?
• Matematiksel soruşturmanın nesnesi nedir?
• Matematiğin arkasındaki insan özellikleri nedir?
• Matematiksel güzellik nedir?
• Matematiksel gerçeğin doğası ve kaynağı nedir?
• Soyut matematikler dünyası ile materyal evren arasındaki ilişki nedir?

Matematiğin nesneleriyle ilgili üç temel görüş mevcuttur. Matematiksel realizm, ya da diğer adıyla Platonculuk, matematiksel nesnelerin dilden, duyulardan, akıldan ve bütün fiziksel dünyadan bağımsız şekilde bir Platonik evrende soyut nesneler olarak var olduklarını öne sürer. Realizm felsefesi, bilgisel yani epistemolojik alanda da yorumlanır. Realizmin bilgisel açıdan yorumlamasına göre, matematiksel önermelerin her şeyden bağımsız olarak mutlak bir doğruluk değeri olmak zorundadır. Matematiksel nesnelerin varlığıyla ilgili bir diğer görüş idealizm felsefesidir. Immanuel Kant'a dayanan bu görüşe göre, matematiksel nesneler sadece zihnin ürünüdür, zihindeki inşaların sonucunda ortaya çıkar. Buna göre zihin yoksa matematiksel nesneler de yoktur. 20.yy'da Kant'ın bu felsefesi bazı matematikçiler arasında karşılık bulmuş ve L. E. J. Brouwer tarafından sezgicilik akımı geliştirilmiştir. Sezgiciliğe göre, bir matematiksel nesnenin var olması demek o nesnenin inşa edilmiş olması demektir. Çeşitli mantık ilkelerinin reddine dayanan bu felsefede, matematiksel yöntem inşalardan, matematiksel nesneler ise inşa edilebilir şeylerden meydana gelir. Matematiksel nesnelerin varlığıyla ilgili üçüncü görüş, nominalizm adı verilen bir görüştür. Nominalizme göre soyut nesneler yoktur, ya da bütün matematiksel nesneler sadece isimlerden ibarettir. Matematiksel nesnelerin var olmadığını iddia eden nominalizm felsefesi kendi içinde farklı kollara ayrılabilir. Bu kolların her birinin matematiksel önermeleri yorumlama ve ele alış biçimi birbirinden farklı olabilmektedir.

Diğer önemli bir konu matematiksel bir kuramın gerçekliğidir. Matematik (Doğa Bilimlerinden farklı olarak) deneysel olarak sınanamadığı için belirli bir matematik kuramını gerçek bulmak için nedenler aranmaktadır (Bkz. Epistemoloji). Luitzen E. J. Brouwer’in temellerini attığı ve Arend Heyting'in takip ettiği Sezgici Matematik bu görüşün bilenen temsilcilerindedir. Mantıkçılık yaklaşımı ise Bertrand Russell ve Gottlob Frege tarafından savunulmuştur. David Hilbert ve Haskell Curry biçimselcilik akımının temsilcilerinden sayılmaktadır. Mantıkçılığın bir alt kolu olan mantıksal pozitivistler, Rudolf Carnap, Alfred Jules Ayer, Carl Hempel tarafından temsil edilmiştir. Matematiğin sadece kendisine ve bilime hizmet etmesi gerektiğini savunan ve matematiğin kendi kendine yettiğini ve kendi içinde evrildiğini öne süren felsefeye matematiksel doğalcılık denmiştir ve Penelope Maddy, Willard Van Orman Quine gibi felsefeciler tarafından savunulmuştur. Matematiksel nesnelerin yapılarla ilgili olduğunu ve nesnelerin sadece yapı içinde anlam kazandığını öne süren görüşe ise yapısalcılık denmiştir. Bu görüşe göre hiçbir matematiksel nesne kendi kendine bağımsız olarak var olamaz, ancak bir yapının içinde diğer nesnelerle olan ilişkisiyle var olabilir. Yapısalcılık felsefesi Stewart Shapiro, Michael Resnik ve Paul Benacerraf tarafından savunulmuştur.

Matematik felsefesindeki önemli konulardan biri de matematiği biçimselleştirme ve kesinliğe kavuşturma hatta matematiği "bilgisayarlaştırma" problemidir. Bu konuda Avusturyalı matematikçi ve mantıkçı Kurt Gödel'in Eksiklik Teoremleri önemli yere sahiptir.

Ayrıca bakınız[değiştir | kaynağı değiştir]

• Matematiğin temelleri
• Tersine matematik

Kaynakça[değiştir | kaynağı değiştir]

• Stephen Francis Barker (2003). Matematik felsefesi. İmge Kitabevi. ISBN 978-975-533-402-8. 
• Bekir S. Gür (der.). Matematik Felsefesi. Kadim yay. ISBN 9759000040. 
• Ahmet Çevik (2019). Matematik Felsefesi ve Matematiksel Mantık. Nesin Yayınevi, İstanbul. ISBN 978-605-2780-44-2.

Dış bağlantılar[değiştir | kaynağı değiştir]

• Ali Eskici'nin konuyla ilgili makalesi
• Chaitin'in "Matematiğin Temelleri Üzerine Uyuşmazlık Yüzyılı" adlı yazısı