Intuisionisme
Tokoh- Tokoh Intuisionisme

Intuisionisme dikembangkan oleh Henri Bergson di Barat. Namun, ia dipelopori oleh Luitzen Egbartus Jan Brouwer (1881-1966) yang berkebangsaaan Belanda. Aliran ini sejalan dengan falsafah umum yang dicetuskan oleh Immanuel Kant.
Luitzen Egbartus Jan Brouwer (1881-1966)
Brouwer lahir pada tanggal 27 februari 1881 di kota Overschie, Belanda. Selama berkuliah di Univeristy of Amsterdam, Brouwer belajar tentang matematika dan fisika. Dalam berfilsafat, Brouwer banyak terpengaruh oleh gurunya, Diederik Korteweg dan Gerrit Mannoury. Karya pertama Brouwer adalah "Perubahan Pada Ruang Empat Dimensi" dibawah bimbingan Korteweg.
Menurut Brouwer, dasar dari Intuisionisme adalah pikiran. Namun, pemikiran-pemikiran yang dicetuskannya banyak dipengaruhi oleh pandangan Immanuel Kant. Matematika didefinisaikan oleh Brouwer sebagai aktivitas berpikir secara bebas, tetapi matematika adalah suatu aktivitas yang ditemukan dari intusi pada saat tertentu. Pandangan intuisionisme adalah tidak ada realisme terhadap objek dan tidak ada bahasa yang menghubungi sehingga boleh dikatakan tiak ada penentu kebenaran matematika di luar aktivitas berpikir. Proposisi hanya berlaku ketika subjek dapat dibuktikan kebenarannya. Kesimpulannya, Brouwer mengungkapkan bahwa tiada kebenaran tanpa dilakukan pembuktian.
Arend Heyting (1898-1980)
Arend Heyting lahir pada 9 Mei 1898 di kota Amsterdam, Belanda.
Arend Heyting dalah murid Brouwer yang berpengaruh besar terhadap perkembangan intuisionisme filsafat matematika. Heyting membangunkan sebuah formula logika intuisionisme yang sangat tepat. Sistem ini dinamakan "Predikat Kalkulus Heyting". Heyting menegaskan bahwa metafisika adalah pokok dalam kebenaran realisme logika klasik. Bahasa matematika klasik adalah pengertian faktor-faktor objektif sebagai syarat-syarat kebenaran yang terbaik.
Heyting menemukan bukti dalam pandangan Brouwer tentang kelaziman alat mental serta pemacu bahasa dan logika. Dalam bukunya berjudul Intuitionism tahun 1956, Heyting mengungkankan bahwa pendapat Bouwer yaitu bahasa adalah media tidak sempurna untuk membincangkan matematika. Sistem utamanya adalah dirinya sendiri sebagai peraturan pemacu matematika, tetapi tidak diyakini sistem utama pemacu matematika menggambarkan secara kuat penguasaan pemikiran matematika. Heyting menegaskan logika bergantung pada matematika bukan yang lain.
Sir Michael Anthony Eardley Dummet (1925-2011)
Sir Michael Anthony Eardley Dummett lahir pada tanggal 27 Juni 1925 di kota London, Inggris, adalah seorang filsuf Inggris yang sangat berpengaruh dalam filsafat bahasa, metafisika, logika, filosofi matematika, dan sejarah filsafat analitik.
Brouwer dan Heyting mengatakan bahwa bahasa merupakan media tidak sempurna untuk membicarakan pembinaan mental matematika, dan logika berkaitan bentuk yang berlaku dalam penyebaran media ini dan menjadi tumpuan langsung pada bahasa dan logika. Sebaliknya, pendekatan utama Dummet adalah bahwa matematika dan logika adalah bahasa dari awal.
Filsafat Dummett lebih mementingakn pada logika intuisionik daripada matematika itu sendiri. Pendapatnya sama dengan Brouwer tetapi tidak sama seperti Heyting. Dummett tidak memiliki orientasi memilih. Dummett mengeksplorasi matematika klasik dengan menggunakan pemikiran yang tidak memperakui pada satu jalan peraturan penguraian pernyataan alternatifnya. Ia mengusulkan beberapa pertimbangan mengenai logika adalah benar yang pada akhirnya harus tergantung pada arti pertanyaan. Ia juga mengambil pandangan yang diperoleh secara luas, yang kemudian disebut sebagai terminologi logika.
Sir Michael Anthony Eardley Dummet