C.

Platonisme

Biografi Plato Plato merupakan filsuf Yunani yang menghasilkan banyak karya, ada karya sendiri maupun karya yang dibuatkan oleh muridnya. Cita-cita Plato dulunya ingin menjadi politikus, tetapi dikarenakan kejadian Socrates mati dihukum minum racun, pupus sudah cita-citanya. Plato mengurungkan niatnya menjadi seorang politikus dikarenakan Socrates itulah yang merupakan gurunya selama 8 tahun. Plato dilahirkan di Athena pada 472 SM dan ia pun merupakan seorang bangsawan. Ia merupakan seorang bangsawan dikarenakan ayahnya yang bernama Aristhon merupakan keturunan raja Athena dan raja Messenia, sedangkan ibunya juga mendukung kebangsawanan Plato dikarenakan ibunya yang bernama Prictone memiliki hubungan baik dengan pembuat hukum yang juga merupakan seorang negarawan bernama Solon. Plato juga meninggal di kota yang sama ditempat ia dilahirkan yaitu Athena pada tahun 347 SM. Ajaran Plato dapat dibedakan menjadi tiga besar yaitu: ajaran tentang ide, ajaran tentang pengenalan, dan ajaran tentang manusia. Ajaran-ajaran ini didapatkan dari buku-buku yang sudah ditulisnya serta buku yang memuat dialog Plato yang disusun oleh orang lain atau bisa jadi oleh muridnya.

Ajaran-ajaran Plato tentang Ide Ajaran tentang ide-ide merupakan inti dan dasar seluruh filsafat Plato. Ide yang dimaksudkan Plato disini bukanlah suatu gagasan yang terdapat dalam pemikiran saja yang bersifat subyektif belaka. Bagi Plato ide merupakan sesuatu yang obyektif, ada ide-ide, terlepas dari subyek yang berfikir, ide-ide tidak diciptakan oleh pemikiran kita, tidak tergantung pada pemikiran, tetapi sebaliknya pemikiranlah yang tergantung pada ide-ide. Justru karena adanya ide-ide yang berdiri sendiri, pemikiran kita dimungkinkan. Pemikiran itu tidak lain daripada menaruh perhatian kepada ide-ide.

Matematika menurut Plato Platonisme merupakan suatu paham yang mengatakan bahwa matematika adalah identik dengan filsafat untuk ahli pikir, walaupun mereka mengatakan bahwa matematika harus

dipelajari untuk keperluan lain. Objek matematika ada di dunia nyata, tetapi terpisah dari akal. Ia mengadakan perbedaan antara aritmetika (teori bilangan) dan logistik (teknik berhitung) yang diperlukan orang. Belajar aritmetika berpengaruh positif karena memaksa yang belajar untuk belajar bilangan-bilangan abstrak. Dengan demikian matematika ditingkatkan menjadi mental aktivitas mental abstrak pada objek-objek yang ada secara lahiriah, tetapi yang ada hanya mempunyai representasi yang bermakna. Plato dapat disebut sebagai seorang rasionalis. Menurut paham platonisme, matematika terdiri dari deskripsi terhadap suatu objek-objek serta struktur yang menghubungkannya. Platonisme secara jelas memberikan solusi untuk masalah objektivitas matematika, baik untuk kebenaran dan keberadaan objek nya dimana kebenarannya harus mematuhi hukum-hukum dan logika matematika. Paham plato ini memiliki dua kelemahan utama. Yang pertama adalah kurangnya penjelasan yang memadai tentang bagaimana matematikawan mendapatkan akses ke pengetahuan. Pengetahuan menurut plato didasarkan pada pengamatan dunia nyata (dunia yang ideal, dalam kasus Platonisme), kemudian umum. Tetapi jika matematika adalah sejarah alami dari alam semesta, bagaimana bahwa matematikawan mendapatkan pengetahuan itu? Jika pengetahuan itu didapatkan melalui suatu intuisi maka dibutuhkan suatu penyesuaian antara fakta-fakta berikut: (1) intuisi dari para matematikawan yang berbeda, sesuai dengan obyektivitas dari masing-masing intuisi tersebut dan, (2) intuisi menurut paham Plato harus obyektif dan mengarah pada kesepakatan. Jadi pandangan plato tidak memadai tanpa kemampuan untuk akses manusia ke dunia obyek platonis yang mengatasi kesulitan ini. Jika, di sisi lain akses Platonis terhadap dunia objek matematika tidak melalui intuisi, tetapi melalui akal dan logika, maka timbul masalah lebih lanjut. Bagaimana Platonist mengetahui bahwa penalaran yang didapatnya adalah penalaran yang benar? Apakah bentuk lain dari intuisi diperlukan, yang memungkinkan Platonist untuk melihat mana bukti benar menggambarkan realitas matematika, atau Platonist memiliki pendapat yang sama seperti orang lain berkaitan dengan pembuktian tersebut. Tapi dalam kasus kedua ini, apa yang Platonisme miliki selain pemikiran tanpa bukti, karena tidak memberikan wawasan ke kebenaran atau eksistensi? Kelemahan kedua dalam paham Plato ini adalah bahwa hal itu tidak dapat menawarkan pemahaman yang memadai tentang matematika, baik secara internal, dimana yang merupakan bagian penting dari matematika adalah konstruktif, serta sisi komputasinya. Ini sangat tergantung

pada representasi matematis sebagai proses yang dinamis, seperti iterasi, fungsi rekursif, teori bukti, dan sebagainya. Platonisme hanya berlaku untuk set-teori yang statis dan aspek struktural matematika. Secara external, Platonisme gagal untuk memperhitungkan bukti yang memadai untuk utilitas matematika, serta hubungannya dengan ilmu pengetahuan, aktivitas manusia atau budaya, dan asal-usul pengetahuan. Untuk Platonis yang mengatakan bahwa kemajuan matematika seperti itu semakin terungkap, seperti halnya ilmu geografi yang maju dengan perjalanan penjelajah, adalah tidak cukup. Juga tidak cukup untuk mengatakan bahwa utilitas berasal dari fakta dimana matematika menjelaskan struktur yang diperlukan dari realitas yang diamati. Karena gagal untuk member penjelasan pada semua masalah di atas, Platonisme ditolak sebagai filosofi matematika.

D. Konvensionalisme Konvensionalisme sendiri melihat segala sesuatu berdasarkan pada makna, ide dan intepretasi. Menurut pandangan konvensionalis matematika dikatakan bahwa pengetahuan matematika dan kebenarannya didasarkan pada konvensi linguistik. Secara khusus, dikatakakn bahwa kebenaran logika dan matematika berupa analitik, kebenarannya berdasarkan arti dari istilah-istilah yang terlibat. Suatu bentuk moderat konvensionalisme, seperti Quine (1936) atau Hempel (1945), menggunakan konvensi linguistik sebagai sumber kebenaran matematika yang digunakan untuk dasar di mana bangunan matematika itu dibangun. Menurut pandangan ini konvensi linguistik memberikan kebenaran dasar tertentu dari matematika dan logika, serta logika deduktif (pembuktian) yang mentransmisikan kebenaran ini ke dalam pengetahuan matematika, sehingga membentuk suatu kepastian. Bentuk yang lebih menarik dari konvensionalisme adalah bahwa paham ini tidak absolut (dan inilah yang akan mengacu dengan istilah 'konvensionalisme' ). Priest (1973) mengusulkan untuk menghidupkan kembali konvensionalisme, tapi pendukung paling terkenal pandangan ini adalah 'Wittgenstein. Kedua filsuf ini meletakkan dasar-dasar dari bentuk moderat dengan menyatakan kebenaran matematika untuk tautologous (Wittgenstein, 1922). Filsafat Wittgenstein selanjutnya adalah matematika tidak ditata jelas karena gaya berkenaan dengan epigram, di mana Wittgensein menghindari eksposisi sistematis, dan karena sebagian besar kontribusi untuk

falsafah matematika diterbitkan anonim, dan dalam keadaan yang belum selesai (Wittgenstein, 1953, 1978). Wittgenstein mengkritik sekolah foundationist, dimana mendengarkan dikatakan sebagai suatu proses dalam matematika (Wittgenstein, 1953, 1978). Dalam pandangan

konvensionalismenya, "Wittgenstein mengklaim bahwa matematika adalah 'beraneka ragam', koleksi 'permainan bahasa', dan bahwa gagasan kebenaran, kepalsuan dan pembuktiannya tergantung pada bagaimana kita menerima aturan linguistik konvensional dari permainan ini. Kita dapat membedakan tiga filosofi perbedaan relatifitas matematika Wittgensteinian: awal, tengah ("konsepsi kalkulus"), dan kemudian ("konsepsi permainan bahasa"). Kemudian yang paling menarik untuk tujuan kita: terkait dengan Investigasi, itu adalah pandangan yang paling berhasil mengarahkan antara lompatan kamp. Filosofi pertama Wittgenstein tentang matematika, ditemukan di Notebook, 1914 - 1916 dan Tractatus, baik dikritik dan diterima Frege dan karya Russell dalam dasar-dasar matematika. Frege dan Russell bersama dalam sebuah proyek yang kemudian disebut logisme: upaya untuk membuktikan bahwa matematika dapat direduksi untuk logika. Banyak karya awal Wittgenstein terlibat kritik dan penolakan logisme. Tampilan awal adalah "dalil matematika adalah persamaan, dan karena itu dalil palsu ". Dalil matematika menyatakan pernyataan tentang obyek, mereka, memang, bukan tentang apa-apa. Klaim ini jelas terikat dengan semantik yang rumit dan metafisika dari Tractatus. Kita bisa melihat tema Wittgenstein ini dalam tahap berikutnya. "Sebuah nama memiliki arti," tulisnya di awal 1930-an, "memiliki arti preposisi pada kalkulus dimana kalkulus berasal. Kalkulus adalah sebagai hal yang otonom. Bahasa harus berbicara sendiri artinya adalah peran dunia dalam kalkulus". Pada tahap transisi ini Wittgenstein berpendapat bahwa setiap individu kalkulus adalah sebuah sistem yang tertutup, mandiri, tidak memiliki kritik eksternal. Aturan saja menentukan makna, dan dengan demikian menjadi perbandingan dan keputusan akhir. Dengan membuat aturan ke semua pekerjaan, Wittgenstein mencoba menghindari kedua psikologisme dan realitas matematika Hardy. Hasil di awal 1930-an adalah karantina: "Tata bahasa tidak bertanggung jawab kepada realitas apapun. Ini adalah aturan gramatikal yang menentukan makna dan mereka sendiri tidak setuju dengan makna dan sejauh itu bersifat arbitrer . Pandangan menengah mendominasi pemikiran Wittgenstein dari tahun 1929 sampai dengan 1930-an. Pada tahun 1930-an pandangan Wittgenstein berubah: ia mulai melihat bahasa matematika sebagai berbagai jenis permainan bahasa. Masih ada oposisi lengkap untuk kedua

psikologisme dan realitas matematika Hardy, tetapi permainan bahasa, berbeda dengan konsepsi kalkulus, menenun bersama-sama bahasa, tindakan, dan latar belakang. Salah satu karakterisasi awal Penyelidikan terhadap permainan bahasa dengan cara membuat acuan eksplisit untuk matematika: Dan ini bukanlah sesuatu yang tetap, diberikan sekali untuk semua, tetapi tipe baru dari bahasa, bahasa permainan baru, seperti yang dapat kita katakan, datang ke dalam keberadaan, dan lain-lainnya menjadi terlupakan. (Kita bisa mendapatkan gambaran kasar ini dari perubahan dalam matematika). Di sini istilah "permainan bahasa" dimaksudkan untuk dibawa ke fakta yang menonjol bahwa berbahasa adalah bagian dari suatu kegiatan, atau satu bentuk kehidupan. Daripada melihat matematika sebagai kumpulan yang berdiri sendiri, yang kemudian Wittgenstein menulis: Aku ingin mengatakan: itu penting untuk matematika bahwa tanda-tanda juga bekerja pada mufti. Ini adalah penggunaan di luar matematika, dan makna sebuah tanda-tanda, yang membuat permainan tanda ke matematika. Konvensionalisme mungkin muncul, berdasarkan kegiatan yang diberikan, menjadi absolutis, karena mengklaim bahwa aksioma matematika, misalnya, mutlak benar atas dasar konvensi linguistik. Tapi menemukan dasar-dasar pengetahuan matematika dalam aturan yang mengatur penggunaan bahasa alam memungkinkan untuk pengembangan pengetahuan matematika, dan memang akan digunakan untuk perubahan dalam sifat kebenaran dan makna matematika, sebagai dasar yang berkembang. Hal ini benar terutama bahasa matematika informal, di mana aturan-aturan yang mengatur penggunaan istilah seperti 'set', 'infinity', 'infinitesimal dan 'bukti telah berubah secara dramatis dalam seratus tahun terakhir, sebagai akibat dari perkembangan ilmu pengetahuan matematika. Filosofi konvensionalisme matematika telah dikritik sebelumnya berdasarkan pada beberapa alasan. Salah satunya adalah konvensionalisme diklaim sebagai pandangan yang tidak informatif, selain menunjukkan sifat dasarnya yaitu sosial matematika, konvensionalisme member pengertian yang sangat terbatas terhadap matematika. Kekuatan kritik ini adalah bahwa untuk menjadi filosofi matematika yang memadai, diperlukan versi yang jauh lebih dipahami dari konvensionalisme. Konvensionalisme menawarkan penjelasan deskriptif dari sifat matematika,

diformulasikan dalam bentuk dasar linguistik. Ini mengakomodasi pandangan falibilis matematika, dan mungkin berlaku untuk kedua objektivitas pengetahuan matematika, melalui

penerimaan diperlukan aturan linguistik, dan setidaknya bagian dari asal usulnya, yaitu melalui akuisisi bahasa. Karena bahasa menghubungkan matematika dengan ilmu pengetahuan lainnya, konvensionalisme memiliki potensi untuk menjelaskan tentang aplikasi matematika. Jadi konvensionalisme tidak dibantah, dan mungkin memang memenuhi banyak kriteria kecukupan yang diusulkan sebelumnya.

E. Empirisisme Pandangan empiris tentang sifat matematika ('empirisme naif', untuk membedakannya dari kuasi-empirisme Lakatos') menyatakan bahwa kebenaran matematika adalah berupa generalisasi empiris. Kita dapat membedakan dua pendapat tentang empiris: (i) konsep matematika berasal empiris, dan (ii) kebenaran matematika memiliki justifikasi empiris, yaitu berasal dari pengamatan dari dunia nyata. Pendapat pertama tidak memiliki obyektisitas, dan diterima oleh kebanyakan filsuf matematika (mengingat bahwa banyak konsep yang tidak langsung terbentuk dari pengamatan tetapi didefinisikan dalam istilah konsep-konsep lain yang memimpin, melalui rantai definisi, dan konsep-konsep pengamatan). Pendapat kedua ditolak oleh semua matematikawan dan hanya dipakai oleh penganut paham empirisis, karena mengarah ke beberapa keadaan yang absurb. Mill (1961) berpendapat bahwa sebagian mengantisipasi keberatan ini, dan menunjukkan bahwa prinsip-prinsip dan aksioma matematika yang diinduksi dari pengamatan dunia, dan bahwa kebenaran lainnya berasal dari pemotongan ini. Namun, empirisisme terbuka untuk banyak kritik lebih lanjut. Pertama-tama, ketika pengalaman kita bertentangan kebenaran matematika dasar, kita tidak menyerah begitu saja dalam pembuktiannya (Davis dan Hersh, 1980). Sebaliknya kita berasumsi bahwa terdapat beberapa error dalam penalaran kita, karena ada kesepakatan bersama tentang matematika, yang menghalangi penolakan kebenaran matematika (Wittgenstein, i97g). Jadi, '1 + 1 = 3 ' dikatakan salah, bukan karena satu kelinci ditambahkan ke yang lain tidak memberikan tiga kelinci, tetapi karena menurut definisi matematika '1 + 1 = 2. Kedua, matematika sebagian besar berupa pengetahuan abstrak, dan begitu banyak konsep yang tidak memiliki asal-usul mereka dalam pengamatan dunia. Sebaliknya mereka didasarkan pada konsep yang sebelumnya dibentuk. Kebenaran tentang konsep tersebut, yang

membentuk sebagian besar ilmu pengetahuan matematika, karena itu tidak dapat dikatakan diinduksi dari pengamatan dunia luar. Pada akhirnya, empirisisme dapat dikritik karena memfokuskan hampir secara eksklusif pada isu-isu foundationist, dan gagal untuk memperhitungkan pembuktian yang memadai untuk sifat matematika. Ini, seperti yang telah dikatakan di atas, adalah tujuan utama dari filosofi matematika.Atas dasar kritik ini kita bisa menolak pandangan empiris naif matematika sebagai suatu pandangan yang tidak memadai.