Intuisionisme
Intuisionisme (berasal dari bahasa Latin: "intuitio" yang berarti pemandangan) adalah suatu aliran filsafat yang menganggap adanya satu kemampuan tingkat tinggi yang dimiliki manusia, yaitu intuisi. Tokoh aliran ini diantaranya dalah Henri Bergson. Intuisionisme selalu berdebat dengan paham rasionalisme.
Intuisionisme adalah sistem etika yang tidak mengukur baik atau buruk sesuatu perbuatan berdasarkan hasilnya tetapi berdasarkan niat dalam melaksanakan perbuatan tersebut. Dalam bahasa Inggris Intuisionisme berasal kata "Intuiton" yang berarti manusia memliki gerak hati atau disebut hati nurani. Gerak hati mampu membuat manusia melihat suatu perkara benar
atau salah, jahat atau baik. Intuisionisme juga merupakan suatu proses melihat dan memahami secara spontan dan intelek. Organ fiskal yang berkaitan dengan gerak hati atau intuisi tidak diketahui secara jelas. Namun, setengah ahli filsafat menyebutkan jantung dan otak sebagai organ fiskal yang menggerakan intuisi.
Gerak hati yang tidak mampu dijangkau oleh akal yaitu pengalaman emosional dan spiritual. Menurut Immanuel Kant, akal tidak pernah mampu mencapai pengetahuan langsung tentang sesuatu perkara. Akal hanya mampu berpikir perkara yang dilihat terus (fenomena) tetapi hati mampu menafsir suatu perkara dengan tidak terhalang oleh perkara apapun tanpa ada jarak antara subjek dan objek.
Intuisionisme dikembangkan di Barat oleh Henri Bergson. Dalam tradisi filsafat barat, pertentangan keras terjadi antara aliran empirisme dan rasionalisme. Pada awal abad ke-20, empirisme masih menguasai pemikiran positivisme dalam kalangan ilmuan barat. Dalam filsafat pemikiran Islam, juga terjadi pertentangan kuat antara aliran rasionalisme dan 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.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 berfikir secara bebas, namun 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 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 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.