Filosofi Matematika

Berbagai filsuf modern matematika memiliki pandangan yang konsisten dengan beberapa jika tidak semua tesis konstruktivisme sosial. Di sini kita menggambar bersama beberapa titik kontak antara mereka dan konstruktivisme sosial.

Beberapa filsuf menekankan arti penting sejarah dan aspek empiris dari matematika untuk filsafat. Kitcher (1984) mendirikan sistem mendasarkan pembenaran pengetahuan matematika secara empiris, dengan pembenaran ditransmisikan dari generasi ke generasi oleh komunitas matematika. (Sebuah pembenaran empiris atau kuasi-empiris pengetahuan matematika, menggambarkan pada praktek matematika, juga diadopsi oleh ND Goodman, Wang, P. Davis, Hersh, Wilder, Grabber, Tymoczko (semua dalam Tymoczko, 1986), Tymoczko (1986a), Stolzenberg (1984), MacLane (1981), McCleary dan McKinney (1986), dan Davis (1974) Jadi suatu cara pemindahan dari tampilan aprioristic tradisional atau pembenaran matematika,. seperti yang dianjurkan oleh konstruktivisme sosial, adalah luas.

Sejumlah sumbangsi lainnya tesis konstruktivisme sosial yang dianut oleh filsuf matematika. Sudut pandang conventionalist tersirat dalam beberapa karya penulis ini. Mereka yang membuat eksplisit termasuk Stolzenberg (1984), serta Bloor, Quine dan Wittgenstein, dikutip di atas, dan lain-lain disebutkan dalam Bab 2. Selain itu, tesis bahwa obyek matematika adalah abstrak konstruksi diusulkan oleh Davis (1974) dan Machover (1983).

Tidak seperti perbandingan satu demi satu, dua filsuf yang telah mengantisipasi banyak filsafat konstruktivis sosial dari matematika adalah Bloor (1973, 1976, 1978, 1983, 1984) dan Tymoczko (1985, 1986, 1986a). Keduanya berpendapat bahwa obyektivitas dalam matematika terbaik dapat dipahami dalam hal penerimaan sosial, dan memanfaatkan karya seminal dari Wittgenstein dan Lakatos.

Meskipun paradigma baru belum sepenuhnya diterima, konstruktivisme sosial masih aman dalam perkembangan tradisi kuasi-empiris. Selain ini, beberapa filsuf kontemporer mulai mengusulkan pendekatan serupa dengan filosofi matematika dan koheren dengan konstruktivisme sosial.