Bagaimana ilmuwan membuktikan sebuah teori? Biasanya, mereka menggunakan “induksi”, yaitu mengamati dunia dan mengumpulkan data. Misalnya, jika Anda ingin membuktikan hipotesis “Semua gagak berwarna hitam”, Anda akan mengamati burung gagak di seluruh dunia dan memastikan bahwa mereka berwarna hitam satu per satu.
Namun pada tahun 1940-an, ahli logika Carl Hempel menunjukkan celah logika yang aneh, yang tersembunyi dalam metode ilmiah yang tampaknya wajar ini. Itulah paradoks Gagak Hempel (Hempel’s Ravens), yang menyatakan bahwa “Hanya dengan melihat apel biru atau sepatu merah, hal itu menjadi bukti bahwa ‘gagak itu hitam’”.
Pergantian Logika: Keajaiban Kontraposisi
Untuk memahami argumen Hempel, kita perlu mengingat konsep “Kontraposisi” yang dipelajari di matematika sekolah menengah.
Dalam logika, jika suatu proposisi “Jika A maka B” adalah benar, maka kontraposisinya “Jika bukan B maka bukan A” juga pasti benar (ini disebut ekuivalensi logis).
Hipotesis $H_1$: “Semua gagak berwarna hitam (Jika itu gagak, maka ia hitam)”
Mari kita ambil kontraposisi dari hipotesis $H_1$ ini. Menjadi “Jika tidak hitam, maka itu bukan gagak”.
Hipotesis $H_2$: “Semua benda yang tidak hitam bukanlah gagak”
Menurut aturan logika, $H_1$ dan $H_2$ memiliki arti yang sama persis (ekuivalen). Jika salah satu terbukti, maka yang lain juga otomatis terbukti.
Membuktikan Gagak Tanpa Melihat Gagak
Sekarang, untuk memverifikasi hipotesis $H_1$ (gagak itu hitam), setiap kali kita menemukan seekor gagak hitam, kepastian (bukti) dari hipotesis tersebut menjadi sedikit lebih kuat. Ini adalah sesuatu yang disetujui semua orang.
Namun, karena $H_1$ dan $H_2$ memiliki arti yang sama, menemukan bukti untuk hipotesis $H_2$ (benda yang tidak hitam bukan gagak) seharusnya secara langsung menjadi bukti untuk hipotesis $H_1$.
Lalu, apa yang menjadi bukti bagi $H_2$? Kita hanya perlu menemukan “sesuatu yang tidak hitam dan bukan gagak”.
- Misalkan ada “apel biru” di atas meja. Benda ini tidak hitam dan bukan gagak. Oleh karena itu, ini adalah bukti yang mendukung $H_2$.
- Ada “sepatu merah” di dalam lemari. Ini juga tidak hitam dan bukan gagak. Ini adalah bukti untuk $H_2$.
- Ada “awan putih” mengambang di langit. Ini juga merupakan bukti untuk $H_2$.
Karena bukti untuk $H_2$ memiliki nilai yang sama dengan bukti untuk $H_1$, secara logis ditariklah kesimpulan aneh berikut ini.
“Semakin banyak kita mengamati apel biru atau sepatu merah di dalam ruangan, kebenaran dari hipotesis ‘semua gagak berwarna hitam’ akan semakin terbukti.”
Mengapa Ini Bertentangan dengan Intuisi?
Tidak ada ahli burung di dunia mana pun yang semakin yakin bahwa “gagak itu hitam” setelah melihat apel biru. Secara logis ini seharusnya sangat benar, tetapi mengapa akal sehat kita menolaknya?
Di dunia filsafat dan statistik, beberapa pendekatan telah diusulkan untuk mengatasi paradoks ini.
1. Solusi Bayesian (Perbedaan Jumlah Informasi)
Sanggahan paling kuat dari sudut pandang statistik modern (probabilitas Bayesian) difokuskan pada perbedaan “kekuatan bukti (jumlah informasi)”.
Di dunia ini, jumlah “benda yang tidak hitam” jauh lebih banyak daripada “benda yang hitam”, dan jumlah “benda yang bukan gagak” secara astronomis lebih banyak daripada “burung gagak”.
Ketika kita melihat sebuah apel biru, itu memang menjadi bukti bahwa “semua gagak berwarna hitam”, tetapi nilai sebagai buktinya (peningkatan probabilitas) mendekati nol. Memverifikasi salah satu dari tak terhitung banyaknya “benda yang tidak hitam” di alam semesta yang luas ini hanya akan meningkatkan probabilitas “gagak itu hitam” sebesar memindahkan satu butir pasir dari padang pasir. Di sisi lain, menemukan satu ekor gagak hitam secara langsung memiliki nilai bukti yang sangat besar.
Artinya, secara logis “apel biru adalah sebuah bukti”, tetapi secara praktis “dapat diabaikan karena nilainya sebagai bukti setara dengan nol”. Itulah solusi Bayesian.
2. Batas dari “Ornitologi Dalam Ruangan”
Paradoks ini menyoroti betapa rapuhnya premis yang mendasari “induksi (menarik hukum umum dari pengamatan)”, yang merupakan inti dari sains. Jika kita hanya mengandalkan ekuivalensi logis, maka “ornitologi dalam ruangan” akan menjadi mungkin, di mana kita dapat memverifikasi semua hukum alam semesta (seperti “semua angsa berwarna putih” atau “semua alien tidak berwarna hijau”) hanya dengan mengamati barang-barang di dalam ruangan tanpa harus keluar.
Paradoks Gagak Hempel adalah paradoks yang sangat menarik, yang menunjukkan bahwa kata-kata “bukti” dan “pembuktian” yang kita gunakan secara tidak sadar, tidak dapat ditangkap dengan baik hanya oleh aturan logika simbolik murni.