Nama : Jauhara Dian Nurul Iffah

NIM : 130311910793
Kelas : Matematika 2013 B
RESUME BAB I
KRITIK TERHADAP PENGANUT ABSOLUTISME
DALAM FILSAFAT MATEMATIKA
Filsafat Matematika
Filsafat matematika adalah cabang filsafat yang bertujuan untuk
merefleksikan/merenungkan dan menjelaskan sifat dari matematika. Ini merupakan makna
dari epistemologi yang menjelaskan pengetahuan manusia secara umum.

Hakekat dari Pengetahuan Matematika

Pengetahuan diklasifikasikan berdasarkan pada alasan-alasan pernyataanya. Sebuah
Pengetahuan a priori memuat proposisi-proposisi yang dinyatakan berdasarkan alasan
sendiri, tanpa bantuan pengamatan dari dunia nyata (alam semesta). Alasan disini terdiri dari
penggunaan logika deduktif dan makna istilah, biasanya dapat ditemukan dalam definisi.
Sebaliknya, pengetahuan secara empiris atau pengetahuan posteriori terdiri dari proposisi-
proposisi yang dijelaskan berdasarkan pengalaman, yaitu, berdasarkan pengamatan dunia
nyata (alam semesta) (Woozley, 1949).
Pengetahuan matematika diklasifikasikan sebagai pengetahuan a priori, karena
terdiri dari proposisi-proposisi yang dinyatakan berdasarkan alasan sendiri. Alasan memuat
logika deduktif dan definisi yang digunakan, bersama-sama diasumsikan sebagai kumpulan
aksioma matematika atau postulat, sebagai dasar untuk menyimpulkan pengetahuan
matematika.
Namun, sesuatu yang belum jelas adalah alasan untuk asumsi yang dibuat dalam
pembuktiannya. Asumsi yang dibuat adalah dari dua jenis: asumsi matematis dan logis.
Asumsi matematis yang digunakan adalah definisi dan aksioma. Asumsi logis merupakan
aturan-aturan inferensi yang digunakan adalah, yang merupakan bagian dari bukti teori yang
mendasari, dan sintaks dasar bahasa formal.

Pandangan Absolutist Mengenai Pengetahuan Matematika

Pandangan absolutist mengenai pengetahuan matematika adalah bahwa

pengetahuan tersebut pasti dan memiliki kebenaran yang tak dapat ditentang.

Pandangan absolutist terhadap pengetahuan matematika didasarkan pada dua

jenis Asumsi: yaitu dari ilmu matematika, mengenai asumsi aksioma dan definisi, dan
dari sudut logika mengenai asumsi aksioma, aturan inferensi, bahasa formal dan sintaks.

1
 Logisme
Logisme adalah aliran pemikiran yang menganggap matematika murni sebagai bagian
dari logika. Pendukung utama dari pandangan ini adalah G.Leibniz, G.Frege (1893),
B.Russell (1919), A.N.Whitehead dan R.Carnap (1931). Di tangan Bertrand Russell
klaim logisme memiliki formulasi yang paling jelas dan paling eksplisit. Ada dua klaim:
1. Semua konsep matematika pada akhirnya dapat direduksi menjadi
konsep logis, asalkan hal tersebut diambil untuk memasukkan konsep teori
himpunan atau konsep lain yang setingkat, seperti teori-teori Russell.
2. Semua kebenaran matematika dapat dibuktikan dari aksioma dan aturan
inferensi logika saja.

Formalisme
Dalam istilah populer, formalisme adalah pandangan bahwa matematika adalah
permainan formal yang tidak berarti dimainkan dengan tanda-tanda di atas kertas, tetapi
mengikuti aturan. Jejak filsafat formalisme dari matematika dapat ditemukan dalam
tulisan-tulisan Uskup Berkeley, tapi pendukung besar formalisme adalah David Hilbert
(1925), dilanjutkan J.von Neumann (1931) dan H.Curry (1951).
Dalil (thesis) formalis terdiri dari dua klaim.
1. Matematika murni dapat dinyatakan sebagai sistem uninterpreted (tidak
ditafsirkan) formal, di mana kebenaran matematika yang diwakili oleh
teorema formal.
2. Keselamatan dari sistem formal dapat ditunjukkan dalam hal kebebasan
mereka dari inkonsistensi, dengan cara meta-matematika.

Konstruktivis
Program penganut konstruktivis adalah salah satu dari proses merekonstruksi
pengetahuan matematika (dan merubah praktek matematika) dalam rangka
melindunginya dari kehilangan makna, dan dari kontradiksi. Pada akhirnya,
konstruktivis menolak argumen non-konstruktif seperti bukti Cantor yang menyatakan
bahwa angka Real itu tidak terhitung, dan Hukum logis seperti “excluded middle”
(pengecualian titik tengah).

Kekeliruan Aliran Absolut

Masing-masing kelompok ini menggunakan logika deduktif untuk membuktikan
kebenaran teorema matematika dari dasar yang telah diasumsikan mereka. Akibatnya
ketiga kelompok pemikiran gagal untuk menetapkan kepastian yang mutlak tentang

2
 kebenaran matematika. Untuk logika deduktif hanya menyalurkan kebenaran, tidak
memasukkan kebenaran, dan kesimpulan dari pembuktian logis sangat lemah.
Dapat dikatakan bahwa upaya ketiga kelompok juga gagal untuk
memberikan landasan untuk sepenuhnya kebenaran matematis dengan cara ini.
Sebagaimana teorema pertama ketidaklengkapan Godel menunjukkan, bukti ini tidak
cukup untuk menunjukkan semua kebenaran. Jadi ada kebenaran matematika tidak
ditangkap oleh sistem kelompok ini.

Kritik Fallibilist untuk Absolutisme

Yang pertama menyangkut logika yang mendasari pada pembuktian
matematika lainnya. Pembentukan kebenaran matematika, yaitu mendeduktifkan
teorema dari seperangkat aksioma, membutuhkan asumsi lebih lanjut, yaitu
aksioma dan aturan inferensi logika sendiri. Ini adalah asumsi yang tidak trivial dan
tidak dapat dieleminasi untuk argumen di atas (yang tidak dapat diasumsikan pada
masalah lingkaran setan) diperlakukan secara sama pada logika. Dengan demikian
kebenaran matematika tergantung pada logika mendasar sama seperti asumsi
matematis. Dugaan lebih jauh dari pandangan absolut bahwa matematika pada
dasarnya bebas dari kesalahan.
Asumsi A : Bukti bahwa mempublikasi matematikawan sebagai jaminan untuk
menjelaskan kegunaan teorema, prinsip, akan diterjemahkan ke dalam
bukti-bukti formal yang tegas.
Asumsi B : Bukti formal yang ketat dapat diperiksa kebenarannya.
Asumsi C : Teori-teori Matematika dapat secara valid diterjemahkan ke dalam
serangkaian aksioma formal.
Asumsi D : Konsistensi dari representasi (dalam asumsi C) dapat diperiksa.

Pandangan Fallibillist
Ini adalah pandangan bahwa kebenaran matematika adalah bisa salah dan yang dapat
diperbaiki, dan tidak dapat dianggap sebagai di luar revisi dan koreksi. Tesis
fallibilist memiliki dua bentuk setara, satu positif dan satu negatif. Menyangkut
bentuk negatif penolakan absolutisme: pengetahuan matematika tidak mutlak benar,
dan tidak memiliki validitas mutlak. Bentuk positif adalah bahwa pengetahuan
matematika dapat diperbaiki dan selalu terbuka untuk revisi.