SUMMARY

“The Philosophy of Mathematics Education Studies in Mathematics

Education by Paul Ernest Chapter 1-3”

Disusun Oleh:

Nurfadillah Umar (230007301044)

Nurfauziah Samad (230007301040)

Dosen Pengampuh
Prof. Dr. Hamza Upu, M.Ed

PENDIDIKAN MATEMATIKA
PROGRAM PASCASARJANA
UNIVERSITAS NEGERI MAKASSAR
TAHUN 2023
BAB I. SUATU KRITIK TERHADAP KEMUTLAKAN DALAM FILSAFAT MATEMATIKA
A. Filsafat Matematika
Filsafat matematika adalah cabang filsafat yang bertujuan untuk merenungkan dan menjelaskan sifat dari
matematika. Ini merupakan kasus khusus dari tugas epistemologi yang menjelaskan pengetahuan manusia secara
umum, seperti: Apa dasar untuk pengetahuan matematika? Apakah sifat kebenaran dan ciri kebenaran matematika?
Apa pembenaran untuk pernyataan mereka? Mengapa kebenaran matematika kebenaran yang diperlukan?
Secara tradisional, filsafat matematika adalah untuk memberikan dasar kepastian pengetahuan matematika.
Yaitu, menyediakan sistem di mana pengetahuan matematika dapat dibuang secara sistematis dalam membangun
kebenarannya. Hal ini tergantung pada asumsi yang diadopsi, yaitu secara implisit atau eksplisit.
B. Hakekat dari Ilmu Matematika
Sebelum menanyakan hakikat dari ilmu matematika, pertama-tama perlu mempertimbangkan hakikat ilmu
pengetahuan pada umumnya. Jadi kita mulai dengan pertanyaan, apa itu ilmu pengetahuan? pertanyaan tentang apa
itu ilmu pengetahuan merupakan jantung filsafat, dan pengetahuan matematika memainkan peran khusus. Jawaban
filosofis standar untuk pertanyaan ini adalah bahwa pengetahuan adalah kepercayaan yang dibenarkan. Lebih
tepatnya, bahwa pengetahuan proposisional terdiri dari proposisi yang diterima (yaitu, dipercaya), asalkan ada dasar
yang memadai untuk menegaskannya (Sheffler,; 1965; Chisholm, 1966; Woozley, 1949).
Pengetahuan diklasifikasikan berdasarkan pada pernyataan tersebut. Sebuah Pengetahuan apriori terdiri dari
proposisi yang menegaskan berdasarkan alasan saja, tanpa pengamatan dari dunia. Berikut alasan terdiri dari
penggunaan logika deduktif dan makna istilah, biasanya dapat ditemukan dalam definisi. Sebaliknya, empiris atau
pengetahuan posteriori terdiri dari proposisi yang menjelaskan pada dasar pengalaman, yaitu, berdasarkan
pengamatan dunia (Woozley, 1949).
C. Pandangan Absolutis dalam Pengetahuan Matematika
Pengetahuan matematika terdiri dari kebenaran tertentu dan tidak dapat ditandingi. Dalam pandangan ini,
pengetahuan matematika adalah kebenaran mutlak, dan merupakan pengetahuan yang unik, terlepas dari logika
dan pernyataan yang benar berdasarkan makna istilah. Pandangan didasarkan pada dua jenis asumsi: para pakar
matematika, mengenai asumsi aksioma dan definisi, dan para pakar logika tentang asumsi aksioma, aturan inferensi
dan bahasa formal dan sintaks-nya.
1. Logicism
Logicsm adalah sekolah pemikiran yang menganggap matematika murni sebagai bagian dari logika. Ada
dua klaim: (1) Semua konsep matematika akhirnya dapat direduksi menjadi konsep logis, asalkan ini diambil
untuk memasukkan konsep teori himpunan atau sistem yang mirip seperti Teori Russell. (2) Semua kebenaran
matematika dapat dibuktikan dari aksioma dan aturan inferensi logika sendiri.
Tujuan klaim ini jelas. Jika matematika dapat dinyatakan dalam istilah murni logis dan terbukti dari
prinsip-prinsip logis saja, maka kepastian pengetahuan matematika dapat dikurangi dengan logika. Logika
dianggap untuk memberikan landasan tertentu untuk kebenaran, terlepas dari upaya untuk memperluas logika,
seperti Hukum Frege Kelima. Jadi jika dilakukan melalui, program logicist akan memberikan dasar-dasar logis
tertentu untuk pengetahuan matematika, membangun kembali kepastian yang mutlak dalam matematika.
2. Formalisme
formalisme adalah pandangan bahwa matematika adalah permainan yang dimainkan dengan formal
berarti tanda di atas kertas, mengikuti aturan. Tesis formalis terdiri dari dua klaim: (1) Matematika murni dapat
ditafsirkan sebagai sistem formal, dimana kemudian kebenaran matematika diwakili oleh dalil formal. (2)
keamanan sistem formal dapat ditunjukkan dalam hal kebebasan dari inkonsistensi melalui meta-matematika.
Teorema ketidak lengkapan Kurt Godel (Godel, 1931) menunjukkan bahwa program tidak dapat terpenuhi.
Teorema yang pertama menunjukkan bahwa bahkan tidak semua kebenaran dari matematika dapat diturunkan
dari Aksioma Peano (atau yang lebih besar aksioma rekursif).
3. Constructivsm
Ahli matematika ini beranggapan bahwa pandangan matematika klasik mungkin tidak aman, untuk itu
perlu dibangun kembali dengan mengkonstruktif metode dan penalaran. Konstruktivis menyatakan bahwa
 kebenaran matematika dan keberadaan objek matematika harus dibentuk dengan metode konstruktif. Ini berarti
bahwa tujuan konstruksi matematika adalah untuk mendirikan kebenaran atau keberadaan objek matematika,
sebagai lawan untuk metode yang bergantung pada pembuktian dengan kontradiksi. Bagi konstruktivis
pengetahuan harus ditetapkan melalui pembuktian konstruktif, berdasarkan logika konstruktivis terbatas, dan
makna dari istilah matematika / objek terdiri dari prosedur formal dengan mana mereka dibangun.
D. Kekeliruan aliran absolut
Sejumlah filsuf matematika absolut gagal untuk menetapkan kebutuhan logis dari pengetahuan
matematika. Masing-masing dari tiga kelompok pemikiran baik logicism, formalisme dan intuisionisme
berupaya untuk menyediakan dasar yang kuat untuk kebenaran matematis, dengan bukti matematika dari
suatu wilayah terbatas tapi tepat untuk kebenaran. Untuk logicists, formalis dan intuitionists ini terdiri dari
aksioma logika, secara intuitif tertentu dari prinsip-prinsip meta-matematika, dan aksioma jelas dari 'intuisi
primordial', masing-masing. Masing-masing aksioma atau prinsip-prinsip diasumsikan tanpa demonstrasi.
Selanjutnya masing-masing tetap terbuka untuk didiskusikan, untuk menghilangkan keraguan.
Selanjutnya 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 kebenaran matematika. Untuk logika deduktif
hanya menyalurkan kebenaran, tidak memasukkan kebenaran, dan kesimpulan dari pembuktian logis sangat
lemah. Untuk menunjukkan ketidaklengkapan teorema pertama Godel, bukti ini tidak cukup untuk
menunjukkan kebenaran semua. Jadi ada kebenaran matematika tidak ditangkap oleh sistem kelompok ini.
E. Kritik fallibilist untuk absolutisme
Kebenaran matematika mendasar pada bukti deduksi dan logika. Tetapi logika sendiri tidak memiliki
dasar tertentu. Ini terlalu bertumpu pada asumsi tereduksi. sehingga meningkatkan ketergantungan pada
deduksi logis himpunan asumsi yang lain kebenaran matematika, dan ini tidak bisa dinetralisir oleh strategi
'jika-maka’. Dugaan lebih jauh dari pandangan absolut bahwa matematika pada dasarnya bebas dari
kesalahan. untuk inkonsistensi dan absolutisme jelas tidak kompatibel. tapi ini tidak dapat
didemonstrasikan. matematika terdiri dari teori-teori (misalnya teori grup, teori kategori) yang dipelajari
dalam sistem matematika, berdasarkan serangkain asumsi (aksioma).
F. Pandangan Fallibilist
Yaitu pandangan bahwa kebenaran matematika adalah keliru dan yg dapat diperbaiki, dan tidak dapat
dianggap sebagai di luar revisi dan koreksi. Tesis fallibilist memiliki dua bentuk setara, yaitu bentuk negatif
penolakan absolutisme: pengetahuan matematika tidak mutlak benar, dan tidak memiliki validitas mutlak.
Dan bentuk positif adalah bahwa pengetahuan matematika dapat diperbaiki dan selalu terbuka untuk revisi.

BAB II. REKONSEPTUALISASI FILSAFAT MATEMATIKA

A. Ruang Lingkup Filsafat Matematika
Ada tiga hal yang dianggap penting tentang filsafat dan pendidikan. Pertama, ada perbedaan antara
pengetahuan sebagai produk akhir yang sebagian besar diwujudkan dalam bentuk dalil-dalil dengan
kegiatan memahami atau kegiatan mencari pengetahuan. Kedua, ada perbedaan antara matematika sebagai
pengetahuan yang berdiri sendiri dan bebas nilai dengan matematika sebagai sesuatu yang berhubungan dan
menjadi bagian yang tidak dapat dipisahkan dari jaringan ilmu pengetahuan manusia. Ketiga, perbedaan ini
memisahkan pandangan matematika sebagai ilmu yang objektif dan bebas nilai karena hanya terfokus pada
logika internalnya sendiri, dengan memandang matematika sebagai bagian yang menyatu dengan budaya
manusia dan oleh karena itu dipengaruhi oleh nilai-nilai manusia seperti halnya wilayah dan pengetahuan
lainnya. Kriteria Filsafat Matematika:
 Pengetahuan matematika: Hakikat, nilai, kebenaran, dan asal usul
 Objek matematika: hakikat dan keaslian
 Penerapan matematika: keefektifan terhadap sains
 Praktek matematika: aktifitas ahli matematika baik diwaktu sekarang atau diwaktu lampau
B. Pemikiran Lebih jauh Tentang Aliran-aliran Filsafat
1. Aliran Absolutisme: Mencakup logika, formalisme, dan intuisi matematika yang bersifat absolut.
Telah dijelaskan kegagalan program kelompok ini dan secara umum menyangkal kemungkinan
absolutism dan filsafat matematika.
2. Absolutisme Progresif: filsafat absolutis progresif: (1) mengakomodasi penciptaan dan perubahan teori
aksiomatik; (2) mengakui bahwa ada lebih dari sekadar matematika formal, karena intuisi matematika
diperlukan sebagai dasar penciptaan teori; dan karenanya (3) mengakui aktivitas manusia dan hasilnya,
dalam penciptaan pengetahuan dan teori baru.
3. Platonisme: Menyatakan bahwa objek matematika memiliki keberadaan nyata dalam alam ideal.
Namun, Platonisme memiliki 2 kelemahan, Pertama, aliran ini tidak mampu menawarkan penjelasan
yang tepat terkait dengan bagaimana ahli matematika memperoleh akses kedalam pengetahuan yang ada
dalam wilayah platonic. Kedua, aliran ini tidak mampu memberikan deskripsi yang tepat untuk
matematika baik secara internal atau eksternal. Karena aliran ini tidak dapat memenuhi persyaratan
diatas, platonisme ditolak sebagai filsafat matematika.
4. Konvensionalisme: Pandangan pengikut aliran konvensionalisme menyebutkan bahwa pengetahuan
matematika dan kebenaran didasarkan pada konvensi (kesepakatan) linguistic. Atau lebih jauh kebenaran
logika dan matematika memiliki sifat analitis, benar karena ada hubungan nilai dari makna istilah yang
digunakan.
5. Empirisme: pandangan empiris tentang pengetahuan matematika menyebutkan bahwa kebenaran
matematika adalah generalisasi empirik (pengamatan).

C. Kuasi – Empirisme
1. Eksposisi Kuasi-empirisme Lakatos: Terdapat lima tesis, yaitu: 1)Pengetahuan matematika dapat keliru,
2)Matematika bersifat hipotetis-deduktif, mirip dengan konsepsi ilmu empiris, 3)Sejarah adalah pusat,
4)Penegasan pentingnya matematika informal, dan 5)Dimasukkannya teori penciptaan pengetahuan.
2. Kriteria Kecukupan dan Kuasi-empirisme: Kuasi-empirisme memenuhi kriteria pengetahuan
matematika, penerapan matematika, dan praktik matematika.
3. Kelemahan Kuasi-empirisme Lakatos: Tidak ada penjelasan tentang kepastian kebenaran matematika,
tidak menguraikan hakekat objek matematika atau asal usulnya, tidak memberikan penjelasan
keberhasilan matematika dan keefektifan penerapannya dalam sains, teknologi dan bidang lain, tidak
begitu mengembangkan untuk membawa sejarah matematika kedalam inti filsafat matematika,
memberikan dasar yag diperlukan namun tidak cukup untuk mengembangkan pengetahuan matematika.
4. Kuasi-empirisme dan Filsafat Matematika: yaitu aliran yang menjelaskan sifat pengetahuan
matematika, asal-usul, dan kebenarannya, dengan pendekatan yang lebih luas dari pendekata n
matematika lainnya. Mempunyai potensi untuk menawarkan solusi terhadap banyak masalah baru
yg diajukan Lakatos untuk filsafat matematika.

BAB III. KONSTRUKTIVISME SOSIAL SEBAGAI FILSAFAT MATEMATIKA

A. Konstruktivisme Sosial
Konstruktivisme sosial adalah sebuah pendekatan baru dalam filsafat matematika yang
menganggap matematika sebagai konstruksi social dan memandang pengetahuan sebagai proses untuk
berkembang.
1. Tinjauan Kontruktivisme Sosial
Kontruktivisme sosial lebih terfokus pada asal mula pengetahuan matematika, bukan sekedar
pembenarannya, juga mengubungkan pengetahuan subjektif dan objektif dalam siklus kreatif. Terdapat
beberapa asumsi yang mendasari kontuktivisme social tentang penciptaan pengetahuan, yaitu:
(1)Seseorang memiliki memiliki pengetahuan subjektif tentang matematika, (2)Publikasi diperlukan
agar pengetahuan subjektif menjadi objektif, (3) pengetahuan yang dipublikasikan menjadi pengetahuan
 objektif matematika, (4)Heuristik bergantung pada kriteria objektif, (5)Kriteria objektif untuk
mengkritik matematika yang terpublikasi didasarkan pada pengetahuan objektif bahasa seperti
matematika, (6)Pengetahuan subyektif matematika yang diinternalisasikan secara luas, akan
merekonstruksi pengetahuan objektif, dan (7)Kontribusi individu dapat menambahkan, melakukan
restrukturisasi atau reproduksi pengetahuan matematika
2. Masalah Kontruksivisme Sosial
Terdapat 2 permasalahan yang muncul, yaitu (1) Ada masalah dalam mengidentifikasi
objektivitas dengan penerimaan sosial, dan (2) Cenderung mendekatkan filsafat matematika pada sejarah
dan sosiologi matematika, dan bahkan psikologi pengetahuan subjektif. Hal ini dapat mengaburkan batas
antara matematika dan disiplin ilmu lainnya.
B. Pengetahuan Objektif dan Subjektif
1. Hakekat Pengetahuan Objektif dan Subjektif
Popper menggambarkan tiga dunia yang berbeda: dunia fisik (dunia 1), pengalaman sadar kita
(dunia 2), dan pengetahuan di buku dan perpustakaan (dunia 3). Pengetahuan subjektif berkaitan
dengan pengalaman individu (dunia 2), sementara pengetahuan objektif bersifat sosial dan
intersubjektif (dunia 3).
2. Peran Pengetahuan Objektif dan Pengetahuan Subjektif dalam Matematika
Objektif: Matematika yang direpresentasikan secara simbolis di ranah publik berpotensi untuk
menjadi pengetahuan objektif. Ini terjadi ketika aksioma, teori, dugaan, dan bukti matematis
dirumuskan dan disajikan secara publik, sehingga heuristik otonom (diterima secara sosial) mulai
bekerja. Proses ini menuju objektivitas matematika. Konvensi dan aturan bahasa serta logika yang
mendasari pengetahuan matematika adalah faktor utama dalam objektivitas. Subjektif: Menjelaskan
asal-usul pengetahuan matematika baru dan melestarikan yang sudah ada. Pengetahuan subjektif
menjadi penopang dan memperbarui pengetahuan objektif, baik matematika, logika atau bahasa.
C. Konstruktivisme Sosial: Pengetahuan Objektif
1. Objektivitas dalam Matematika
Objektivitas matematika berarti bahwa baik pengetahuan maupun objek matematika mempunyai
eksistensi otonom yang di atasnya terdapat kesepakatan intersubjektif, dan tidak bergantung pada
pengetahuan subjektif setiap individu.
2. Jaminan Konvensionalis untuk Pengetahuan Matematika
Pengetahuan matematika tidak sempurna, dalam artian ia terbuka untuk di revisi, dan obyektif yaitu
diterima secara sosial dan dicermati publik yang sesuai. Pengetahuan matematika yang valid yaitu yang
diterima berdasarkan pada basis dimana menjadi pengetahuan dijustifikasi publik (pembuktian
dipublikasikan) yang telah lolos (telah dirumuskan dalam kebenaran) dari kecermatan dan kritik
publik. Pembenaran item tertentu terdiri dari bukti deduktif yang sah secara informal/formal. Analisis
suatu bukti membenarkan item pengetahuan harus mempertimbangkan dua aspek: asumsi awal
eksplisit, dan urutan langkah yang dibenarkan menuju ke kesimpulan.
3. Objek Matematika
Objek matematika mewarisi ketetapan (yakni stabilitas definisi) dari objektivitas pengetahuan
matematika, yang pada gilirannya memerlukan kekekalan dan keberadaan obyektif mereka sendiri.
objek-objek matematika bersifat objektif sama seperti pengetahuan matematika. yaitu objek linguistik
publik, ada yang konkrit namun ada pula yang abstrak.
4. Asal Usul Pengetahuan Matematika
Ciri penting dalam asal mula pengetahuan matematika adalah transformasi dari pengetahuan
yang direpresentasikan secara publik (subjektif) dalam matematika menjadi pengetahuan objektif,
yaitu pengetahuan matematika yang diterima secara sosial. Transformasinya bergantung pada
kelangsungan proses pengawasan dan kritik publik. Selama proses ini, yang merupakan logika
 penemuan matematika otonom Lakatos, kriteria objektif memainkan peran penting. Mereka digunakan
untuk menilai kebenaran kesimpulan, konsistensi asumsi, konsekuensi definisi, validitas formalisasi
dalam mengungkapkan gagasan informal, dan sebagainya.
5. Penerapan Matematika
Wigner (1960) menjelaskan penerapan matematika berdasarkan dua alasan: (1) matematika
didasarkan pada bahasa alami empiris kita; dan (2) matematika kuasi-empirisme berarti matematika
tidak jauh berbeda dengan ilmu empiris.
D. Pemeriksaan Kritis terhadap Proposal
a. Matematika Bersifat Arbitrer dan Relatif:
Hal ini bersifat arbitrer karena bertumpu pada keyakinan, praktik, dan konvensi yang sewenang-
wenang. Hal ini bersifat relatif karena bertumpu pada kepercayaan satu kelompok manusia.
Konsekuensinya kelompok manusia lain, apalagi makhluk cerdas lainnya di alam semesta, tidak perlu
lagi menerima perlunya pengetahuan matematika, yang hanya berlaku relatif terhadap kebudayaan
tertentu pada periode tertentu.
b. Kontruksivisme Sosial Gagal Menentukan Kelompok Sosial manapun:
Penjelasan tentang konstruktivisme sosial mengacu pada 'penerimaan sosial', 'konstruksi sosial'
dan 'objektivitas sebagai sosial'. Namun istilah ini gagal untuk menentukan secara spesifik kelompok
sosial mana saja yang terlibat, dan agar istilah sosial mempunyai arti, istilah tersebut harus mengacu
pada kelompok tertentu. Ada juga masalah sekunder yang tersembunyi seperti bagaimana seseorang
mengetahui suatu hal diterima oleh komunitas matematika? Apa yang terjadi ketika ada konflik di
komunitas ini? Apakah ini berarti bahwa sebuah karya matematika baru dapat berada di batas antara
pengetahuan subjektif dan objektif?
Dalam pandangan filosofis tidak tepat jika menyebutkan kelompok sosial atau dinamika sosial
apa pun, meskipun hal tersebut berdampak pada penerimaan pengetahuan objektif. Karena ini adalah
urusan sejarah dan sosiologi, dan khususnya, sejarah matematika dan sosiologi pengetahuannya
c. Kontruksivisme Sosial Mengasumsikan Bahasa Alami yang Unik:
Konstruktivisme sosial dianggap mengasumsikan bahasa alami yang unik dalam pembenaran
konvensionalis terhadap pengetahuan matematika. Ini bertentangan dengan kenyataan bahwa terdapat
lebih dari 700 bahasa alami berbeda dengan beragam basis struktural, tidak hanya bahasa Inggris.
Konsekuensinya, pertama, matematika dapat bervariasi jika didasarkan pada bahasa dengan struktur
yang berbeda, dan kedua, individu yang berbicara bahasa dengan struktur yang berbeda harus
memahami bahasa kedua atau menyusun ulang pemahaman mereka untuk mempelajari matematika
Barat.
d. Keberatan yang Sebelumnya Diajukan
 Penerimaan sosial berbeda dengan Objektivitas
 Kontruktivisme sosial tidak cukup untuk menjamin pengetahuan matematis: Karena lebih
berfokus pada asal-usul pengetahuan matematik
 Kontruktivisme sosial mencampur adukkan konteks penemuan dan pembenaran dan melakukan
kesalahan psikologis: