"Penerapan dan Refleksi Filsafat pada Mata Pelajaran Peluang"
Matematika merupakan suatu bahasa yang menyimbolkan serangkaian makna dari pernyataan-pernyataan yang ada. Simbol dalam matematika bersifat atifisia yang mempunyai arti setelah makna diberikan kepadanya. Tanpa sifat tersebut, matematika hanya kumpulan rumus yang tidak memiliki makna. Secara umum, matematika merupakan pengetahuan yang dibentuk berdasarkan logika deduktif. Immanuel Kant, dalam bukunya The Critique of Pure Reason menyatakan bahwa matematika merupakan ilmu yang bersifat sintetik apriori.
Kant menyebut pengetahuan yang tidak bergantung pada pengalaman sebagai apriori sedangkan pengetahuan yang bergantung pada pengalaman disebut sebagai aposteriori. Kant berpendapat bahwa proposisi adalah apriori jika universal. Proposisi ini tidak dapat disangkal tanpa kontradiksi jika tidak mungkin salah. Sedangkan untuk aposteriori dalah pengetahuan yang diperoleh melalui indera. Selanjutnya, terdapat perbedaan pula antara analitik dan sintetik menurut Kant. Sebuah proposisi akan bersifat analitik jika konsep predikat sudah ada dalam konsep subjek sehingga karakteristik analitik adalah penilaian tersebut dapat diketahui kebenaranya berdasarkan definisi (dengan analisis konsep). Contohnya “bola itu bulat”. Pernyataan tersebut benar karena predikat bulat terkandung dalam subjek, yaitu bola. Sedangkan sintetik adalah kebalikannya dimana konsep predikat belum ada dalam konsep subjek. Contohnya “bola itu berwarna biru.” Sehingga dalam penilaian sintetis perlu menambahkan “sesuatu” pada konsep, sedangkan analitik cukup menjelaskan apa yang sudah ada dalam konsep.
Para ahli sebelum Kant mengangap bahwa semua pengetahuan apriori adalah analitik. Akan tetapi, pendapat-pendapat tersebut dibantah oleh Kant bahwa pengetahuan tentang matematika, prinsip awal ilmu sains, dan metafisika adalah apriori yang bersifat sintetik. Hal ini dibuktikan Kant dengan logikanya bahwa ada hubungan sintetis (sebab-akibat) dimana tidak ada analisi subjek yang akan menghasilkan predikat. Contoh yang digunakan Kant adalah bilangan dalam matematika. Ia menggunakan contoh 7 + 5 = 12. Berdasarkan contoh tersebut, tidak ada analisis yang dapat menyampaikan bahwa 12 termuat dalam 7 ataupun 5. Sehingga Kant berkesimpulan bahwa semua matematika murni adalah sintetik meskipun apriori. Analisis atau penalaran biasa akan mengganggap 7 + 5 = 12 adalah aalitik apriori karena 7 dan 5 dipandang sebagai bagian dari subjek yang dianalisis, sedangkan Kant memandang 7 dan 5 sebagai dua nilai yang terpisah. Artinya, jika nilai lima diterapkan pada nilai 7 maka secara sintetik akan sampai pada kesimpulan logis bahwa keduanya sama dengan 12. Matematika dalam pandangan orang awam hanya sebatas matematika elementer yang disebut aritmatika atau ilmu hitung. Pada umumnya, orang berpendapat bahwa matematika adalah hasil pikiran manusia yang kebenarannya bersifat umum. Kebenarannya didasarkan pada kebenran-kebenaran sebelumnya (definisi). Seperti yang disampaikan oleh Kant, pernyataan 2 + 2 = 4 bernilai benar bukan karena analisis tetapi berdasarkan pemikiran logis.
Matematika telah menjadi bagian dari filsafat sebagai filsafat matematika. Filsafat matematika merupakan refleksi mengenai matematika yang memunculkan pertanyaan dan jawaban tertentu (Ernest, 1991). Filsafat matematika dapat muncul dari adanya kontradiksi maupun paradoks. Matematikawan yang mencoba memecahkan kontradiksi dan paradoks tersebut akhirnya terpecah ke dalam beberapa aliran filsafat yang saling bertentangan. Platonisme, Absolutisme, dan Fabilisme adalah contoh aliran filsafat matematika. Platonisme menekankan pada tidak adanya landasan untuk merekonstruksi matematika. Absolutisme menekankan pada tidak adanya kesalahan pada matematika. Dan fabilisme menekangkan pada matematika yang dapat direvisi terus menerus. Aliran absolutisme dibagi lagi menjadi dua, yaitu logisisme dan intuisionisme. Logisisme memandang bahwa matematika adalah logika sedangkan intuisionisme mengklaim bahwa matematika berasal dan berkembang di dalam pikiran manusia. Selain tiga aliran tersebut, terdapat aliran formalisme. Aliran ini sering disebut aliran postulatsional atau aliran aksiomatik dan dalam pendidikan matematika melahirkan jenis matematika yang disebut matematika modern (New Math) seperti yang sekarang diberikan di sekolah-sekolah. Aliran formalisme menganjurkan pendekatan murni abstrak, berangkat dari prinsip awal, dan mendeduksi segalanya dari prinsip awal tersebut. Aliran inilah yang selama beberapa dekade menguasai filsafat matematika. Selanjutnya, filsafat matematika dibagi dalam beberapa bidang:
