Pendahuluan: Pencerahan Wina 1919 — Lahirnya Masalah Demarkasi

Dalam kehidupan sehari-hari, kita sering menyamakan kata “sains” dengan “kebenaran mutlak yang telah dibuktikan oleh fakta”. Namun, banyak ajaran yang mengklaim dirinya ilmiah — seperti astrologi, homeopati, alkimia, atau teori konspirasi — juga membanggakan ribuan “bukti konfirmasi empiris”: seorang astrolog selalu bisa menemukan penjelasan di peta bintang atas kesialan Anda kemarin, dan penganut teori konspirasi bahkan menafsirkan ketiadaan bukti sama sekali sebagai bukti paling sahih betapa rapinya konspirasi tersebut disembunyikan. Lalu, di manakah batas epistemologis yang tegas antara sains empiris sejati dan pseudosains (sains semu)? Dalam filsafat sains, pertanyaan mendasar ini dikenal sebagai masalah demarkasi (Demarcation Problem / Abgrenzungsproblem).

Pada awal abad ke-20, Lingkaran Wina (Positivisme Logis) yang dipimpin Moritz Schlick dan Rudolf Carnap mencoba menarik garis batas ini melalui prinsip verifikasionisme: suatu pernyataan hanya memiliki makna ilmiah jika kebenarannya dapat dibuktikan (diverifikasi) secara tuntas melalui pengamatan indrawi. Namun kriteria ini segera membentur masalah induksi David Hume: setiap hukum alam adalah pernyataan universal berbentuk $ orall x\, P(x)$ (“semua angsa berwarna putih” atau “semua benda bermassa mematuhi hukum gravitasi universal”). Bahkan satu miliar pengamatan angsa putih tidak akan pernah bisa membuktikan secara deduktif hukum universal untuk kasus tak-hingga! Jika verifikasi penuh dijadikan syarat, mekanika Newton sekalipun harus didepak dari sains.

Pada 29 Mei 1919, saat gerhana matahari total di Pulau Príncipe, astronom Inggris Arthur Eddington mengukur pembelokan cahaya bintang di tepi Matahari dan mengonfirmasi prediksi kuantitatif berani dari relativitas umum Albert Einstein ($1,75$ detik busur, dibandingkan $0,875$ menurut Newton). Di Wina, pemuda berusia 17 tahun Karl Popper mengalami peristiwa ini sebagai pencerahan intelektual: ia menyadari bahwa kehebatan teori Einstein bukan terletak pada kemampuannya menjelaskan fakta lama, melainkan pada keberaniannya mengajukan prediksi berisiko (Risky Prediction) yang jika meleset dalam pengamatan akan langsung menghancurkan seluruh teori tersebut!

  flowchart TD
    A["Empirical Observation Contradicts Prediction (~O)"] --> B{"Naive Falsificationism vs. Duhem-Quine"}
    B -->|"Naive Popperian View"| C["Reject Core Theory H Immediately"]
    B -->|"Duhem-Quine / Lakatosian View"| D["Protect Hard Core H; Modify Auxiliary Belt A_i"]
    D -->|"Predicts Novel Verified Fact (e.g. Neptune 1846)"| E["Progressive Research Programme (Scientific)"]
    D -->|"Only Post-Hoc Excuses, No Novel Predictions"| F["Degenerating Research Programme (Pseudoscientific)"]

1. Revolusi Kopernikan Karl Popper: Asimetri Logis antara Verifikasi dan Falsifikasi

Pada tahun 1934, dalam bukunya Logik der Forschung (The Logic of Scientific Discovery), Popper mengajukan kriteria falsifiabilitas (keterbantahan, Falsifiability) yang terkenal: apa yang membuat sebuah teori bersifat ilmiah bukanlah karena ia tak mungkin salah, melainkan justru sebaliknya: karena ia membuka diri untuk disangkal oleh pengalaman empiris! Prinsip ini berakar pada asimetri logis mutlak antara verifikasi dan falsifikasi dalam logika predikat:

• Sebanyak apa pun pengamatan positif $O_1, O_2, \dots, O_n$ dikumpulkan, kita tidak pernah bisa menarik kesimpulan deduktif bahwa teori universal $T$ benar (menyimpulkan $T$ dari $T \implies O$ dan $O$ adalah sesat pikir formal afirmasi konsekuen).
• Sebaliknya, cukup satu saja contoh penyangkal $ eg O$ yang sahih (misalnya ditemukannya seekor angsa hitam di Australia), maka melalui kaidah deduktif Modus Tollens yang tak terbantahkan, dari $T \implies O$ dan $ eg O$ kita dapat menyimpulkan $ eg T$ (teori $T$ salah) secara pasti!

Oleh karena itu, Popper menyatakan: sebuah teori bersifat ilmiah jika dan hanya jika ia melarang terjadinya peristiwa teramati tertentu, yakni himpunan pemfalsifikasi potensialnya (Potential Falsifiers) tidak kosong. Astrologi adalah pseudosains karena merumuskan ramalannya secara begitu kabur sehingga peristiwa apa pun yang terjadi dapat dijelaskan setelah kejadian — teori yang bisa menjelaskan segala kemungkinan hasil sejatinya tidak menjelaskan apa-apa, dan kandungan informasi empirisnya nol! Bagi Popper, sains bergerak maju melalui proses evolusi tanpa akhir berupa dugaan dan sanggahan (Conjectures and Refutations); teori yang bertahan dari ujian paling keras tidak pernah “terbukti benar”, melainkan memperoleh derajat koroborasi (pengukuhan) yang tinggi.

2. Krisis Falsifikasionisme Naif: Tesis Duhem-Quine dan Penemuan Neptunus

Betapapun elegannya kriteria Popper secara logis, ketika para sejarawan sains menghadapkannya pada sejarah fisika yang sesungguhnya, muncul masalah besar: jika para ilmuwan benar-benar menerapkan falsifikasionisme naif secara harfiah, semua teori besar sains pasti sudah mati sejak dalam buaian!

Fisikawan Prancis Pierre Duhem (1906) dan filsuf Amerika W.V.O. Quine (1951) merumuskan tesis Duhem-Quine (underdeterminasi holistik): dalam praktik ilmiah nyata, satu hipotesis teoretis inti $H$ (seperti hukum gravitasi Newton $F = G m_1 m_2 / r^2$) tidak pernah bisa sendirian menghasilkan prediksi teramati $O$! Untuk menghitung posisi planet besok malam, kita wajib menggabungkan $H$ dengan serangkaian hipotesis bantu (Auxiliary Hypotheses) $A_1, A_2, \dots, A_n$ (misalnya: “hanya ada tujuh planet di tata surya”, “ruang antarplanet hampa udara”, “teleskop bebas dari aberasi optik”) beserta syarat awal $C_{ ext{init}}$. Akibatnya, ketika pengamatan bertentangan dengan prediksi ($ eg O$), Modus Tollens hanya memberi tahu kita bahwa konjungsi keseluruhan $(H \land A_1 \land \dots \land A_n \land C_{ ext{init}})$ bernilai salah! Logika murni sama sekali tidak bisa memberi tahu apakah kesalahan terletak pada teori inti $H$ atau pada salah satu hipotesis bantu $A_i$!

Kisah paling gemilang dalam sejarah sains adalah penemuan planet Neptunus pada tahun 1846: di awal abad ke-19, orbit Uranus yang teramati menyimpang parah dari perhitungan mekanika Newton ($ eg O$). Apakah para fisikawan langsung menyatakan hukum gravitasi Newton gugur? Sama sekali tidak! Urbain Le Verrier di Prancis dan John Couch Adams di Inggris mempertahankan inti hukum Newton $H$ dan justru memodifikasi hipotesis bantu $A_1$ dengan mempostulatkan adanya planet kedelapan yang belum ditemukan di luar orbit Uranus. Pada 23 September 1846 di Observatorium Berlin, Johann Gottfried Galle mengarahkan teleskopnya ke koordinat hitungan Le Verrier dan menemukan Neptunus kurang dari $1^\circ$ dari titik prediksi! Apa yang tampak seperti falsifikasi atas Newton justru berubah menjadi kemenangan terbesarnya. Sebaliknya, ketika Le Verrier mencoba menjelaskan presesi anomali perihelion Merkurius ($43''$ per abad) dengan mempostulatkan planet dalam bernama “Vulcan”, ia gagal — kali ini inti gravitasi Newton $H$ memang harus digantikan oleh relativitas umum Einstein.

  flowchart TD
    V["Vienna Circle: Logical Verificationism"] --> P["Karl Popper (1919/1934): Falsifiability & Risky Predictions"]
    P --> DQ["Pierre Duhem & W.V.O. Quine: Holistic Underdetermination"]
    DQ --> K["Thomas Kuhn (1962): Normal Science, Paradigms & Revolutions"]
    K --> L["Imre Lakatos (1970): Progressive vs. Degenerating Research Programmes"]
    L --> M["Modern Multi-Criteria Cluster & Bayesian Confirmation"]

3. Paradigma Kuhn, Program Riset Lakatos, dan Model Multikriteria Modern

Demi menyelamatkan rasionalitas ilmiah sekaligus menjelaskan sejarah sains secara akurat, filsafat sains paruh kedua abad ke-20 melahirkan tiga lompatan besar:

1. The Structure of Scientific Revolutions karya Thomas Kuhn (1962): Kuhn menunjukkan bahwa selama periode panjang sains normal (Normal Science), ilmuwan tidak berusaha memfalsifikasi paradigma mereka, melainkan memecahkan teka-teki (puzzle-solving). Anomali disimpan sementara; barulah ketika akumulasi anomali memicu krisis hebat dan muncul paradigma пеsaing, terjadi pergeseran paradigma (revolusi ilmiah).
2. Methodology of Scientific Research Programmes karya Imre Lakatos (MSRP, 1970): Lakatos menyintesiskan Popper dan Kuhn secara brilian. Unit penilaian ilmiah bukanlah hipotesis tunggal, melainkan program riset (Research Programme) yang terdiri atas inti keras (Hard Core) yang tak boleh diganggu gugat dan sabuk pelindung hipotesis bantu (Protective Belt) yang terus disesuaikan. Lalu bagaimana membedakan sains dari pseudosains? Lakatos menjawab: tergantung apakah modifikasi sabuk pelindung itu bersifat progresif atau degeneratif!
   • Program riset progresif (sains sejati) memodifikasi sabuk pelindungnya sehingga tidak hanya menjelaskan anomali lama, tetapi juga memprediksi fakta-fakta baru yang tak terduga (Novel Facts) dan terkonfirmasi secara empiris (seperti penemuan Neptunus).
   • Program riset degeneratif (pseudosains) hanya melakukan tambal-sulam setelah kejadian (alasan ad hoc) demi menyelamatkan muka, tanpa pernah menghasilkan satu pun prediksi baru yang dapat diuji!
3. Kemiripan Keluarga dan Tantangan Sains Modern: Setelah Larry Laudan (1983) menunjukkan tiadanya kriteria tunggal yang perlu dan cukup, filsuf modern seperti Massimo Pigliucci dan Martin Mahner menggunakan model klaster multikriteria “kemiripan keluarga” (Wittgenstein) yang dipadukan dengan teori konfirmasi Bayesian. Dalam menghadapi krisis replikasi ($p$-hacking, HARKing, dan Registered Reports di psikologi serta biomedis) maupun perdebatan teori dawai (string theory) dan 멀티バース (multiverse), warisan Popper dan Lakatos tetap menjadi kompas utama integritas ilmiah.

| Aliran Filsafat Sains | Kriteria Demarkasi | Respons terhadap Anomali ($