1. Eksperimen Pikiran yang Membelah Rasionalitas: Paradoks Newcomb (1960–1969)

Pada tahun 1960, fisikawan teoretis William A. Newcomb di Lawrence Livermore National Laboratory, Universitas California, merumuskan sebuah teka-teki pengambilan keputusan yang tampak sederhana namun mengguncang fondasi teori pilihan rasional modern. Diperkenalkan ke dunia akademik oleh filsuf Harvard Robert Nozick melalui makalah monumentalnya tahun 1969, «Newcomb’s Problem and Two Principles of Choice» (dalam Essays in Honor of Carl G. Hempel), dan dipopulerkan oleh Martin Gardner di Scientific American (1973, 1974), paradoks ini membelah para ekonom, matematikawan, fisikawan, dan filsuf menjadi dua kubu yang tak terdamaikan.

Nozick mengabadikan keterbelahan ini dalam kalimat pembukanya yang terkenal:

«Bagi hampir semua orang, sangat jelas dan gamblang apa yang harus dilakukan. Kesulitannya adalah bahwa orang-orang tampaknya terbagi hampir sama rata dalam masalah ini, dengan sebagian besar dari masing-masing kubu menganggap separuh lainnya просто konyol.» — Robert Nozick (1969), “Newcomb’s Problem and Two Principles of Choice”

1.1 Pengaturan Kanonik: Dua Kotak dan Peramal Super Omega ($\Omega$)

Anda berdiri di depan meja yang memuat dua kotak: Kotak Transparan A dan Kotak Buram B.

1. Kotak Transparan A: Terbuat dari kaca bening; terlihat jelas berisi uang tunai $\$1.000$.
2. Kotak Buram B: Terbuat dari baja tertutup; Anda tahu pasti bahwa di dalamnya terdapat $\$1.000.000$ (satu juta dolar) atau $$0$ (kosong).

Pada saat ini $t = 0$, Anda harus memilih salah satu dari dua tindakan:

• Mengambil Satu Kotak (One-Boxing, $A_1$): Menolak Kotak A dan hanya mengambil Kotak Buram B.
• Mengambil Dua Kotak (Two-Boxing, $A_2$): Mengambil Kotak A sekaligus Kotak B.

Tokoh kunci di balik layar adalah Peramal super, Omega ($\Omega$), yang melalui pemindaian otak resolusi tinggi dan simulasi neuro-komputasional telah memprediksi pilihan ribuan subjek sebelumnya dengan akurasi teruji sebesar $99\%$ ($p = 0,99$). Kemarin (pada $t = -1$), $\Omega$ memprediksi pilihan Anda hari ini dan menyiapkan Kotak B menurut aturan ketat berikut:

• Keadaan Dunia $S_1$ ($\text{Pred}_1$: $\Omega$ memprediksi Anda hanya mengambil Kotak B, $A_1$): Kemarin $\Omega$ memasukkan $\$1.000.000$ ke dalam Kotak B.
• Keadaan Dunia $S_2$ ($\text{Pred}_2$: $\Omega$ memprediksi Anda mengambil kedua kotak, $A_2$): Kemarin $\Omega$ membiarkan Kotak B kosong ($\$0$).

Ketertutupan kausal masa lalu dijamin sepenuhnya: $\Omega$ telah pergi kemarin; tidak ada kausalitas mundur (retrokausalitas, $A \not\to S$). Gerakan tangan Anda hari ini pada $t = 0$ tidak dapat mengubah isi fisik Kotak B.

  flowchart TD
    D["Waktu t = -2: Arsitektur Saraf & Disposisi Kognitif (D)"] -->|"t = -1: Pemindaian & Simulasi oleh Omega"| S["Waktu t = -1: Prediksi Omega & Status Kotak B (S1: $1M / S2: $0)"]
    D -->|"t = 0: Deliberasi Sadar & Pilihan"| A["Waktu t = 0: Tindakan Agen (A1: Satu Kotak / A2: Dua Kotak)"]
    S -->|"Menentukan Isi Kotak B"| Y["Imbalan Akhir U(A, S)"]
    A -->|"A2 Menambah +$1.000 Pasti dari Kotak A"| Y
    S -.->|"Tanpa Retrokausalitas (A ↛ S)"| A

2. Pilar I: Teori Keputusan Evidensial (EDT) dan Argumen Satu Kotak

Landasan formal kubu satu kotak adalah Teori Keputusan Evidensial (Evidential Decision Theory, EDT) yang dikembangkan oleh Richard C. Jeffrey dalam karya klasiknya The Logic of Decision (1965; ed. ke-2 1983).

2.1 Utilitas Harapan Kondisional dan «Nilai Berita (News Value)»

Dalam aljabar Boolean terpadu Jeffrey, setiap tindakan $A_i$ dievaluasi berdasarkan nilai beritanya (News Value) menggunakan probabilitas kondisional Bayes standar $\mathbb{P}(S_j \mid A_i)$:

Dengan $\mathbb{P}(S_1 \mid A_1) = 0,99$, $\mathbb{P}(S_2 \mid A_1) = 0,01$ serta $\mathbb{P}(S_1 \mid A_2) = 0,01$, $\mathbb{P}(S_2 \mid A_2) = 0,99$, kita peroleh:

Secara umum, untuk hadiah $M$ di B, uang $k$ di A, dan akurasi $p$:

Selama akurasi Omega melampaui $50,05\%$, EDT memerintahkan One-Boxing ($A_1$), melahirkan sindiran terkenal terhadap kubu dua kotak: «Jika Anda begitu pintar, mengapa Anda tidak kaya?» (If you’re so smart, why ain’t you rich?)

3. Pilar II: Teori Keputusan Kausal (CDT), Dominansi Ketat, dan Kalkulus-$do$ Pearl

Para pelopor Teori Keputusan Kausal (Causal Decision Theory, CDT) — Allan Gibbard dan William Harper (1978), Brian Skyrms (1980), David Lewis (1981), James Joyce (1999), dan Judea Pearl (2000) — membuktikan bahwa EDT mencampuradukkan korelasi diagnostik (bukti statistik) dengan efikasi kausal.

3.1 Prinsip Dominansi Ketat dan Kondisional Kontrafaktual

Menurut prinsip dominansi ketat Leonard Savage (1954), karena keadaan Kotak B ($S_1$ atau $S_2$) sudah terkunci di masa lalu dan independen secara kausal dari tindakan $A$, mengambil kedua kotak ($A_2$) memberikan $+\$1.000$ lebih banyak di *setiap* keadaan dunia ($1.001.000 > 1.000.000$ dan $1.000 > 0$).

Gibbard dan Harper (1978) mengganti $\mathbb{P}(S_j \mid A_i)$ dengan probabilitas kontrafaktual Stalnaker-Lewis $\mathbb{P}(A_i \Box\!\to S_j)$, sementara Judea Pearl (2000) memformalkan CDT melalui Model Kausal Struktural (SCM) dan operator intervensi $do(A_i)$:

3.2 Garpu Sebab-Umum ($S \leftarrow D \to A$) dan Bedah Graf

Dalam graf asiklik berarah (DAG), disposisi saraf masa lalu Anda $D$ adalah sebab umum (Common-Cause Fork: $S \leftarrow D \to A$) bagi prediksi Omega kemarin $S = f_S(D, U_S)$ dan pilihan Anda hari ini $A = f_A(D, U_A)$.

  flowchart TD
    subgraph G_obs["1. Graf Observasional G (EDT: jalur pintu belakang A ← D → S terbuka)"]
        D1["Disposisi Saraf D (Sebab Umum)"] -->|"f_S(D): korelasi 99%"| S1["Status Kotak B S (t = -1)"]
        D1 -->|"f_A(D): deliberasi"| A1["Tindakan Terukur A (t = 0)"]
        S1 --> Y1["Imbalan Y"]
        A1 --> Y1
    end
    subgraph G_do["2. Graf Termutilasi G_do(A) (CDT: panah D → A diputus)"]
        D2["Disposisi Saraf D (Sebab Umum)"] -->|"f_S(D)"| S2["Status Kotak B S (t = -1)"]
        DO["Intervensi do(A = a)"] ==>|"Menggantikan f_A"| A2["Tindakan Intervensi A = a (t = 0)"]
        S2 --> Y2["Imbalan Y"]
        A2 --> Y2
    end

Sementara pengkondisian observasional $\mathbb{P}(S \mid A)$ membuka jalur pintu belakang (back-door path) $A \leftarrow D \to S$, bedah graf ($do(A_i)$) Pearl memutus panah $D \to A$, sehingga:

4. Masalah Newcomb Medis (Lesi Perokok) dan Predestinasi Calvinis Max Weber

4.1 «Lesi Perokok (The Smoking Lesion, Skyrms 1980)»

Berdasarkan hipotesis konstitusional Ronald Fisher, Brian Skyrms (1980) merumuskan kasus lesi perokok: andaikan merokok sama sekali tidak menyebabkan kanker ($A_{\text{smoke}} \not\to C$), tetapi lesi genetik bawaan $L$ dengan probabilitas $99\%$ menyebabkan baik hasrat merokok ($A_{\text{smoke}}$, kenikmatan $+1$) maupun kanker paru-paru mematikan ($C$, utilitas $-1.000$).

• Dalam garpu $C \leftarrow L \to A$, EDT menghitung $\text{EU}_{\text{EDT}}(A_{\text{abstain}}) = -10$ vs $\text{EU}_{\text{EDT}}(A_{\text{smoke}}) = -989$, memerintahkan Anda secara takhayul untuk berhenti merokok demi menurunkan probabilitas kondisional bahwa Anda terlahir dengan gen $L$!
• CDT melalui $\mathbb{P}(C \mid do(A)) = \mathbb{P}(C)$ menyadari bahwa DNA tidak berubah dan secara rasional merekomendasikan merokok ($+1$).

4.2 Isomorfisme Struktural dengan Predestinasi Calvinis Max Weber (1905)

Sebagaimana dicatat Nozick (1969), doktrin predestinasi ganda Yohanes Calvin yang dianalisis Max Weber dalam Etika Protestan dan Semangat Kapitalisme (1904–1905) adalah masalah Newcomb teologis: Tuhan telah menetapkan sejak kekekalan siapa yang termasuk Kaum Terpilih ($S_1$) dan Kaum Terkutuk ($S_2$), tanpa ada amal manusia ($A_1$) yang dapat mengubah ketetapan itu ($A \not\to S$). Namun kaum Puritan menjalankan asketisme duniawi ($A_1$) yang ketat bukan sebagai penyebab keselamatan (causa salutis), melainkan sebagai tanda diagnostik keterpilihan (cognoscendi ratio) dalam garpu $\text{Keselamatan } S_1 \leftarrow \text{Anugerah Ilahi } D \to \text{Karya Asketis } A_1$, memaksimalkan $\mathbb{P}(S_1 \mid A_1)$ persis seperti agen EDT.

5. «Tickle Defense» Ellery Eells dan Dilema Tahanan Kembar David Lewis

5.1 «Pertahanan Gelitik (Tickle Defense, 1982)» dan Ratifiabilitas

Untuk menyelamatkan EDT dari lesi perokok, Ellery Eells (1982) berargumen bahwa lesi $L$ hanya menyebabkan tindakan $A$ melalui hasrat sadar atau «gelitik» $T = (\mathcal{B}, \mathcal{D})$ ($C \leftarrow L \to T \to A$). Jika agen mengetahui $T$ lewat introspeksi sebelum bertindak, pengkondisian pada $T$ menyekat (Screening-Off) korelasi antara $A$ dan $L$: $\mathbb{P}(C \mid A, T) = \mathbb{P}(C \mid T)$, menyatukan EDT dan CDT. Namun dalam masalah Newcomb, $\Omega$ memprediksi keputusan akhir itu sendiri, dan kriteria ratifiabilitas (Ratifiability, Jeffrey 1983) menunjukkan bahwa keputusan $\text{Decide}(A_1)$ tidak dapat diratifikasi karena begitu $\text{Decide}(A_1)$ ditetapkan, beralih ke $A_2$ memberikan tambahan $+\$1.000$.

5.2 Teorema Isomorfisme David Lewis: «Prisoners’ Dilemma Is a Newcomb Problem» (1979)

Pada tahun 1979, David Lewis membuktikan bahwa Dilema Tahanan sekali jalan melawan kembaran psikologis (atau klon dengan kode sumber identik) $100\%$ isomorfik dengan paradoks Newcomb:

• Bekerja sama ($C_{\text{PD}}$: merelakan $\$1.000$ sendiri demi memberi $$1.000.000$ kepada kembaran) $\Longleftrightarrow$ One-Boxing ($A_1$).
• Membelot ($D_{\text{PD}}$: mengambil $+\$1.000$ sendiri) $\Longleftrightarrow$ Two-Boxing ($A_2$). Karena Omega memprediksi Anda dengan menjalankan simulasi (kembaran) pikiran Anda kemarin, kedua masalah tersebut identik. Lewis menyimpulkan bahwa rasionalitas menuntut membelot dan mengambil dua kotak, sedangkan Douglas Hofstadter (1983) merumuskan superrasionalitas (Superrationality) untuk mendukung kerja sama timbal balik $(C_{\text{PD}}, C_{\text{PD}})$ dan One-Boxing ($A_1$).

6. Garda Depan Penyelarasan AI: Teori Keputusan Fungsional (FDT)

Bagi agen perangkat lunak (AI) yang kode sumbernya dapat dibaca atau disimulasikan $100\%$ di dalam sandbox, peramal $\Omega$ adalah realitas rekayasa sehari-hari. Pada tahun 2017, Eliezer Yudkowsky dan Nate Soares (memadukan TDT dan UDT Wei Dai) merumuskan Teori Keputusan Fungsional (Functional Decision Theory, FDT).

6.1 Kontrafaktual Logis: Intervensi pada Fungsi Matematika $\mathsf{F}$

CDT memodelkan pilihan sebagai peristiwa fisik lokal $A$ di $(x_0, t_0)$ dan mengevaluasi $do(A = A_2)$ dengan membayangkan dunia yang mustahil secara logis di mana algoritma deterministik yang sama $\mathsf{F}(\mathcal{I})$ menghasilkan $A_1$ kemarin di simulator Omega dan $A_2$ hari ini. FDT mengintervensi langsung pada keluaran fungsi keputusan matematika $\mathsf{F}(\mathcal{I})$:

1. Paradoks Newcomb: Karena prediksi Omega $S = f_S(\mathsf{F}(\mathcal{I}), U_S)$ bergantung secara fungsional pada $\mathsf{F}(\mathcal{I})$, intervensi $do(\mathsf{F}(\mathcal{I}) = A_1)$ menetapkan baik simulasi maupun tindakan saat ini ke $A_1$ $\implies$ FDT mengambil satu kotak ($A_1$) dan memenangkan $\$1.000.000$!
2. Lesi Perokok: Karena gen bawaan $L$ bukan simulasi dari $\mathsf{F}(\mathcal{I})$ ($C \leftarrow L \to \mathcal{I} \to \mathsf{F}(\mathcal{I}) \to A$), $do(\mathsf{F}(\mathcal{I}) = a)$ tidak mengubah probabilitas kanker $\implies$ FDT merokok ($A_{\text{smoke}}$) tanpa takhayul!
3. Newcomb Transparan (Penumpang Tumpangan Parfit) & Ekuilibrium Program (Teorema Löb): Bahkan jika Kotak B transparan dan uang satu juta dolar terlihat jelas, FDT/UDT mengoptimalkan kebijakan global $\mathsf{F}$ ex ante dan hanya mengambil Kotak B; dalam dilema tahanan kode terbuka, FairBot menggunakan teorema Löb ($\square(\square P \to P) \to \square P$) untuk mencapai kerja sama timbal balik yang dapat dibuktikan secara formal.

6.2 Tabel Perbandingan: EDT vs. CDT vs. FDT/UDT

Referensi

• Nozick, R. (1969). “Newcomb’s Problem and Two Principles of Choice.” Dalam Essays in Honor of Carl G. Hempel (pp. 114–146).
• Jeffrey, R. C. (1965 / 1983). The Logic of Decision. University of Chicago Press.
• Lewis, D. (1979). “Prisoners’ Dilemma Is a Newcomb Problem.” Philosophy & Public Affairs, 8(3), 235–240.
• Pearl, J. (2000 / 2009). Causality: Models, Reasoning, and Inference. Cambridge University Press.
• Yudkowsky, E., & Soares, N. (2017). “Functional Decision Theory: A New Theory of Instrumental Rationality.” arXiv:1710.05060.