Induksi on kenji.blog

Apakah zamrud berwarna hijau atau 'grue'? Teka-teki baru induksi Goodman

Thu, 10 Sep 2026 21:00:00 +0900

Kita memprediksi “masa depan” berdasarkan “pengalaman masa lalu”. “Matahari terbit dari timur kemarin, jadi besok juga akan terbit dari timur.” “Semua zamrud yang pernah dilihat sejauh ini berwarna hijau, jadi zamrud berikutnya yang digali juga akan berwarna hijau.”

Inferensi semacam ini disebut “induksi” dan merupakan dasar dari semua ilmu pengetahuan. Namun pada tahun 1955, filsuf Nelson Goodman menemukan konsep warna aneh yang menunjukkan bahwa induksi ini memiliki kelemahan mendasar. Ini adalah Paradoks “Grue”.

Definisi Warna Baru “Grue”

Goodman mendefinisikan sifat (warna) baru yang disebut “Grue”, yang merupakan gabungan dari “Hijau (Green)” dan “Biru (Blue)”, sebagai berikut:

Definisi Grue: Suatu objek dikatakan “grue” jika diamati sebelum waktu tertentu $t$ (misalnya, 1 Januari 2030) ia berwarna “hijau (Green)”, dan jika diamati pada atau setelah waktu $t$ ia berwarna “biru (Blue)”.

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{Waktu} < t) \\ \text{Blue} & (\text{Waktu} \ge t) \end{cases} $$

Menurut definisi ini, zamrud hijau yang Anda pegang di tangan Anda saat ini (sebelum waktu $t$) berwarna “hijau” sekaligus “grue”.

Mengapa Ini Menjadi Paradoks?

Paradoks terjadi ketika kita mencoba memprediksi masa depan. Sejauh ini, semua zamrud yang diamati oleh umat manusia berwarna “hijau”. Oleh karena itu, kita memprediksi menggunakan induksi sebagai berikut:

Hipotesis A: “Semua zamrud berwarna ‘hijau’”

Namun, tunggu sebentar. Karena zamrud yang diamati sejauh ini berada sebelum waktu $t$, semuanya pasti juga berwarna “grue”. Oleh karena itu, dari data observasi yang sama persis, prediksi berikut juga dapat dibuat:

Hipotesis B: “Semua zamrud berwarna ‘grue’”

Jika kita mengikuti aturan induksi, semua observasi masa lalu mendukung Hipotesis A dengan “kekuatan yang sama persis” sebagaimana mereka mendukung Hipotesis B.

graph TD A["Observasi masa lalu: Semua zamrud berwarna hijau"] -->|Pada saat yang sama| B["Observasi masa lalu: Semua zamrud berwarna 'grue'"] A --> C["Prediksi induktif A: Zamrud di masa depan juga akan berwarna 'hijau'"] B --> D["Prediksi induktif B: Zamrud di masa depan juga akan berwarna 'grue'"] C --> E["Tetap hijau setelah waktu t"] D --> F["Menjadi 'biru' setelah waktu t!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

Akankah Zamrud Berubah Menjadi Biru?

Jika Hipotesis B benar, saat waktu $t$ tiba, semua zamrud di dunia harus berubah menjadi “biru” secara bersamaan (menurut definisi grue).

Kita secara intuitif berpikir, “Itu konyol. Hipotesis B hanyalah permainan kata-kata yang tidak wajar, dan Hipotesis A (hijau) pasti lebih tepat.”

Namun, pertanyaan Goodman terletak lebih dalam. Kedua hipotesis, baik “hijau” maupun “grue”, sepenuhnya konsisten dengan data masa lalu, lalu mengapa kita menganggap hanya prediksi “hijau” yang valid dan menolak prediksi “grue”? Apa “dasar logis” untuk itu?

Tantangan terhadap “Keseragaman Alam”

Untuk menghindari masalah ini, muncul argumen balasan: “Kita harus menggunakan konsep sederhana seperti ‘hijau’ dan tidak menggunakan konsep kompleks yang melibatkan waktu seperti ‘grue’.”

Namun, Goodman menunjukkan bahwa sebaliknya, jika kita mendefinisikan warna “Bleen” (biru sampai waktu $t$, hijau setelahnya), konsep “hijau” itu sendiri menjadi konsep kompleks yang bergantung pada waktu: “grue sampai waktu $t$, bleen setelahnya”. Dengan kata lain, kata mana yang kita anggap “dasar” hanyalah kebiasaan bahasa kita.

Paradoks “grue” (teka-teki baru tentang induksi) dari Goodman membuktikan bahwa teori ilmiah tidak hanya ditentukan oleh sekadar data objektif, tetapi sangat bergantung pada “kerangka konseptual (bahasa) seperti apa yang kita gunakan untuk memahami dunia”.

Bahkan dalam konteks AI dan pembelajaran mesin (machine learning), paradoks ini tetap memiliki makna penting di era modern sebagai masalah “overfitting” dan “bias”, di mana meskipun data pelatihannya sama, prediksi terhadap masa depan dapat berubah sepenuhnya tergantung pada “struktur model (fitur mana yang menjadi fokus)”.

Melihat Apel Biru Menjadi Bukti Bahwa 'Gagak Itu Hitam'?: Paradoks Gagak Hempel

Thu, 10 Sep 2026 21:00:00 +0900

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.”

graph TD A["Proposisi H1: Semua gagak berwarna hitam"] <-->|Ekuivalensi logis (Kontraposisi)| B["Proposisi H2: Semua benda yang tidak hitam bukan gagak"] C["Observasi: Gagak hitam"] -->|Menjadi bukti| A D["Observasi: Apel biru"] -->|Menjadi bukti| B D -.->|Oleh karena itu, ini juga seharusnya menjadi bukti?| A style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style C fill:#2196F3,stroke:#333,color:#fff style D fill:#FF9800,stroke:#333,color:#fff

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.