Hubungan antara Filsafat dan Matematika

           Matematika dan filsafat mempunyai sejarah keterikatan satu dengan yang lain sejak jaman Yunani Kuno. Matematika di samping merupakan sumber dan inspirasi bagi para filsuf, metodenya juga banyak diadopsi untuk mendeskripsikan pemikiran filsafat. Kita bahkan mengenal beberapa matematikawan yang sekaligus sebagai sorang filsuf, misalnya Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, G¨odel, and Weyl. Pada abad terakhir di mana logika yang merupakan kajian sekaligus pondasi matematika menjadi bahan kajian penting baik oleh para matematikawan maupun oleh para filsuf. Logika matematika mempunyai peranan hingga sampai era filsafat kontemporer di mana banyak para filsuf kemudian mempelajari logika. Logika matematika telah memberi inspirasi kepada pemikiran filsuf, kemudian para filsuf juga berusaha mengembangkan pemikiran logika yang kemudian dikembangkan lagi oleh para matematikawan dan bermanfaat bagi pengembangan program komputer dan analisis bahasa.

            Banyak filsuf telah menggunakan matematika untuk membangun teori pengetahuan dan penalaran yang dihasilkan dengan memanfaatkan bukti-bukti matematika dianggap telah dapat menghasilkan suatu pencapaian yang memuaskan. Matematika telah menjadi sumber inspirasi yang utama bagi para filsuf untuk mengembangkan epistemologi dan metafisik.

Hannes Leitgeb pad “Mathematical Methods in Philosophy” telah menyelidiki penggunaan matematika di filsafat. Dia menyimpulkan bahwa metode matematika mempunyai kedudukan penting di filsafat. Pada taraf tertentu matematika dan filsafat mempunyai persoalan-persoalan bersama. Hannes Leitgeb telah menyelidiki aspek-aspek dalam mana matematika dan filsafat mempunyaikedudukan yang sama ketika melakukan penelaahan yatitu kesamaan antara obyek, sifat-sifat obyek, logika, sistem-sistem, makna kalimat, hukum sebab-akibat, paradoks, teori permainan dan teori kemungkinan. Para filsuf menggunakan logika sebab-akibat untuk untuk mengetahui implikasi dari konsep atau pemikirannya, bahkan untuk membuktikan kebenaran ungkapan-ungkapannya.