Filsafat matematika

**Filsafat matematika** adalah cabang dari filsafat yang mengkaji anggapan-anggapan filsafat, dasar-dasar dan dampak-dampak matematika. Tujuan dari filsafat matematika adalah: "*untuk memberikan rekaman sifat dan metodologi matematika dan untuk memahami kedudukan matematika di dalam kehidupan manusia"*. Sifat logis dan terstruktur dari matematika itu sendiri membuat pengkajian ini meluas dan unik di antara mitra-mitra bahasan filsafat lainnya.

Tema-tema yang sering diperbincangkan di antaranya:

* Apakah sumber pokok bahasan matematika?
* Apakah status ontologis dari entitas-entitas matematika?
* Apakah yang dimaksud dengan objek matematika?
* Apakah sifat/karakter dari proposisi matematika?
* Apakah kaitan antara logika dan matematika?
* Apakah peran hermeneutika di dalam matematika?
* Jenis penyelidikan apakah yang memainkan peran penting di dalam matematika?mood
* Apakah tujuan dari penyelidikan matematika?
* Apakah yang memberi pertautan antara matematika dan pengalaman?
* Sifat manusia apakah yang berada di sebalik matematika?
* Apakah yang dimaksud dengan keindahan matematika?
* Apakah sumber dan sifat kebenaran matematika?
* Apakah hubungan antara dunia matematika abstrak dan semesta materi?
* Apakah matematika suatu bahasa yang mutlak dan universal?

## Tema utama

### Realitas (keberadaan matematika)
Matematika itu tentang sesuatu, tetapi tidak jelas apa jenis benda yang berurusan dengan matematika.  Menurut Plato, matematika adalah tentang entitas yang tidak berubah, yakni merupakan dunia ide. Dunia ini nyata, meskipun tidak dapat diraba oleh akal sehat, tetapi objek matematika dapat ditangkap dengan rasionalitas. Rasionalitas ini, merupakan sistem persepsi yang unik yang melampaui kemampuan indra kita dan melihat objek di dunia ide, termasuk objek nyata matematika. Konsepsi matematika yang dihubungkan dengan filsafat Plato sering disebut sebagai Platonisme.

Platonisme dalam arti luas mengacu pada gagasan bahwa ada realitas matematika yang ingin diungkapkan oleh para matematikawan. Matematika diasumsikan memiliki bidang objek asli. Seperti fisika yang menganalisis sifat fisik, biologi menganalisis tumbuhan dan hewan, dan geologi menganalisis formasi batuan, sehingga matematika menganalisis bentuk geometris, angka, dan apapun yang ada di antara objek matematika dengan cara yang sama. Plato berpendapat bahwa abstraksi yang mencerminkan realitas material memiliki realitasnya sendiri yang ada di luar ruang dan waktu. Terlepas dari pendapat filosofis mereka, matematikawan modern umumnya dapat dianggap sebagai penganut platonisme karena mereka memikirkan dan membicarakan objek studi mereka sebagai objek yang nyata.

Armand Borel merangkum pandangan tentang realitas matematika ini sebagai berikut, dan memberikan kutipan dari G. H. Hardy, Chales Hermite, Henri Poincaré, dan Albert Einstein yang mendukung pandangannya.

Namun, Platonisme dan pandangan tentang abstraksi tidak menjelaskan keefektifan matematika yang tidak masuk akal. Platonisme mengasumsikan bahwa matematika ada secara independen, tetapi tidak menjelaskan mengapa matematika cocok dengan realitas.

### Logika dan ketelitian
Penalaran dalam matematika memerlukan ketelitian. Ini berarti bahwa setiap definisi harus benar-benar jelas tanpa ambiguitas, dan setiap pembuktian harus dapat diuraikan menjadi rangkaian penerapan silogisme atau aturan interfensi, tanpa menggunakan bukti empiris atau intuisi.

Aturan penalaran yang ketat telah ditetapkan oleh para filsuf Yunani kuno dengan nama logika. Logika tidak hanya digunakan dalam matematika, tetapi dalam matematika, standar ketelitiannya jauh lebih tinggi dibandingkan bidang lain. Selama berabad-abad, logika digunakan dalam pembuktian matematika tetapi tetap menjadi bagian dari filsafat dan tidak dipelajari secara khusus oleh matematikawan.

Sekitar akhir abad ke-19, muncul berbagai paradoks yang meragukan dasar logis matematika, sehingga validitas keseluruhan matematika dipertanyakan. Salah satunya adalah kritik Frege seorang matematikawan Jerman terhadap konsepsi filosofis matematika yang penting, sebelum menyajikan elaborasi program logika seperti yang disediakan dalam karyanya berjudul *Begriffsschrift*. Kemudian mengikuti presentasi penjelasan lanjutan Russell dan Whitehead di *Principa Mathematica*. Elaborasi ini diprakarsai oleh penemuan Russel tentang paradoks yang tampaknya menghancurkan soliditas dasar logis matematika dalam format yang disarankan oleh Frege. Beliau menyajikan logika sebagai sistem aksiomatik untuk semua kesimpulan yang valid yang mungkin dapat kita buat. Dari aksioma logis, seseorang dapat menyimpulkan teorema logis, dan jika aksioma valid, maka teorema valid. Dan setelah presentasi Frege tentang *Begriffsschrift*, validitas inferensi ini menjadi jelas; inferensi benar jika dan hanya jika diwakili oleh hukum logis dalam aksiomatik Frege,

Masalah dasar dalam matematika akhirnya terselesaikan dengan munculnya logika matematika sebagai cabang baru dalam matematika. Dalam kerangka ini, suatu teori matematika atau logika terdiri dari bahasa formal yang menentukan bentuk pernyataan yang sah, seperangkat pernyataan dasar yang disebut aksioma, dan seperangkat aturan inferensi yang memungkinkan pembuatan pernyataan baru dari satu atau beberapa pernyataan yang sudah diketahui.

Teori himpunan Zermelo-Fraenkel dengan aksioma pilihan, yang biasanya disebut ZFC, merupakan logika tingkat tinggi yang menjadi dasar bagi seluruh matematika. Teori ini digunakan secara implisit dalam semuat teks matematika yang tidak secara eksplisit menyebutkan fondasi yang mereka gunakan. Slain itu, fondasi matematika lain yang diusulkan dapat dimodelkan dan dipelajari dalam kerangka ZFC.

Akibatnya, konsep "ketelitian" dalam matematika tidak lagi relevan, karena suatu pembuktian hanya benar atau salah, sehingga istilah "pembuktian yang teliti" sebenarnya berlebihan. Konsep ketelitian lebih berkaitan dengan aspek sosial dalam pembuktian. Dalam praktinya, pembuktian jarang dituliskan secara lengkap, dan beberapa langkah sering dianggap sepele, mudah, atau langsung jelas, sehingga dibiarkan untuk disimpulkan oleh pembaca. Namun, karena kesalahan pembuktian sering terjadi pada langkah-langkah yang dilewati ini, suatu pembuktian baru harus diverivikasi oleh ahli lain di bidang tersebut. Pembuktian hanya dianggap dapat dipercaya setelah diterima oleh komunitas ahli, yang bisa memakan waktu bertahun-tahun.

### Hubungan dengan ilmu pengetahuan
Matematika digunakan dalam sebagian besar ilmu pengetahuan untuk memodelkan berbagai fenomena, sehingga memungkinkan prediksi berdasarkan hukum eksperimen. Kebenaran dalam matematika tidak bergantung pada eksperimen, yang berarti ketepatan prediksi hanya bergantung pada kesesuaian model matematis yang digunakan. Jika prediksi meleset, masalahnya bukan pada konsep matematika yang salah, tetapi pada model matematis yang perlu diperbaiki atau diganti. Misalnya, pergeseran perihelion Merkurius baru bisa dijelaskan setelah munculnya teori relativitas umum Einstein, yang menggantikan hukum gravitasi Newton sebagai model matematis yang akurat.

Masih ada perdebatan filosofis mengenai apakah matematika termasuk dalam ilmu pengetahuan. Namun, dalam praktiknya, para matematikawan sering dikelompokkan bersama ilmuwan, dan matematika memiliki banyak kesamaan dengan ilmu fisika. Seperti ilmu sains lainnya, matematika dapat diuji kebenarannya, jika suatu teori atau hasil matematika salah, hal itu bisa dibuktikan dengan memberikan contoh yang membantahnya. Sama seperti dalam ilmu sains, teori dan hasil dalam matematika sering kali diperoleh melalui eksperimen. Eksperimen dalam matematika bisa berupa perhitungan pada contoh tertentu atau studi terhadap bentuk dan representasi objek matematika, baik dalam bentuk visual maupun pemikiran abstrak. Sebagai contoh, ketika ditanya bagaimana ia menemukan teorema-teoremanya, Gauss pernah menjawab, "durch planmässiges Tattonieeeren," yang berarti "melalui eksperimen sistematis." Namun, beberapa ahli menekankan bahwa matematika berbeda dari ilmu pengetahuan modern karena tidak bergantung pada bukti empiris.

## Catatan

## Referensi


## Pranala luar
* Panduan Pengkajian Filsafat London  memberikan banyak saran tentang apa yang sebaiknya dibaca, bergantung kepada keakraban pengkaji terhadap suatu pokok bahasan:
** Filsafat Matematika 
** Logika Matematika 
** Teori Himpunan dan Logika tingkat Lanjut 
* R.B. Halaman filsafat matematika dari Jones 
* Blog tentang Filsafat Matematika Nyata 
* Kaina Stoicheia  oleh C. S. Peirce.