1. Pendahuluan: Retakan Epistemologis pada Saat Terbangun

Pada hari Minggu malam, Putri Tidur (Sleeping Beauty) — seorang agen Bayesian yang rasional sempurna dengan konsistensi logis tanpa cela — ditidurkan sebagai subjek eksperimen pikiran. Sebelum tidur, para peneliti menjelaskan setiap detail protokol eksperimen kepadanya, dan ia tahu dengan kepastian mutlak bahwa aturan tersebut akan dijalankan tanpa penyimpangan.

Awalnya digagas oleh filsuf Arnold Zuboff (1990) dalam “One Self: The Logic of Experience”, diberi nama oleh Robert Stalnaker, dan dibawa ke pusat epistemologi formal oleh makalah terkenal Adam Elga (2000) di jurnal Analysis (“Self-locating belief and the Sleeping Beauty problem”), protokol eksperimen ini memiliki aturan sebagai berikut:

1.1 Spesifikasi Eksak Protokol Eksperimen

1. Minggu Malam (Tahap Prior): Putri Tidur ditidurkan. Para peneliti melempar koin yang sepenuhnya adil dengan peluang objektif $P(\text{Angka / Heads}) = 1/2$ dan $P(\text{Gambar / Tails}) = 1/2$.
2. Jika Koin Mendarat pada «Angka» ($H$):
   • Para peneliti membangunkan Putri Tidur pada Senin pagi dan melakukan wawancara singkat.
   • Mereka kemudian menidurkannya kembali; ia tetap tidak sadar sepanjang hari Selasa dan baru dibangunkan pada hari Rabu saat eksperimen berakhir (total 1 kali terbangun).
3. Jika Koin Mendarat pada «Gambar» ($T$):
   • Para peneliti membangunkan Putri Tidur pada Senin pagi dan mewawancarainya.
   • Segera setelah itu, mereka memberikan obat pemicu amnesia sempurna yang menghapus seluruh ingatan tentang terbangunnya di hari Senin, lalu menidurkannya kembali.
   • Pada Selasa pagi, mereka membangunkannya untuk kedua kalinya dalam kondisi ruangan dan pencahayaan yang sama persis (total 2 kali terbangun).
4. Ketidakmampuan Dibedakan Secara Subjektif (Subjective Indistinguishability):
   • Tidak ada jam, kalender, atau petunjuk eksternal. Karena obat amnesia, pengalaman terbangun pada Senin pagi dan Selasa pagi sama sekali tidak dapat dibedakan secara subjektif maupun fenomenologis.

Ketika Putri Tidur dibangunkan pada Senin pagi, peneliti mengajukan satu pertanyaan kepadanya:

«Berapa seharusnya tingkat keyakinan subjektif (credence) Anda $P(\text{Heads})$ saat ini bahwa koin tersebut mendarat pada Angka?»

Seketika, intuisi rasional terbelah menjadi dua kubu yang saling bertentangan:

• Kubu «Halver» ($P(\text{Heads}) = 1/2$ — David Lewis, Bas van Fraassen, Darren Bradley): «Pada Minggu malam, Putri Tidur sudah tahu dengan kepastian $100\%$ bahwa ia akan terbangun setidaknya satu kali dalam kondisi fenomenologis ini. Terbangun pada Senin pagi tidak memberikan bukti objektif baru tentang hasil lemparan koin. Tanpa bukti tak terduga, agen Bayesian yang rasional harus mempertahankan probabilitas prior hari Minggu: $P(\text{Heads}) = 1/2$.»
• Kubu «Thirder» ($P(\text{Heads}) = 1/3$ — Adam Elga, Christopher Hitchcock, Cian Dorr): «Saat terbangun, ada tiga situasi ruang-waktu yang saling eksklusif dan tak terbedakan: $(\text{Angka}, \text{Senin})$, $(\text{Gambar}, \text{Senin})$, dan $(\text{Gambar}, \text{Selasa})$. Karena Gambar menghasilkan dua kali lipat jumlah terbangun dibanding Angka, mendapati diri terbangun dua kali lebih mungkin terjadi dalam dunia Gambar. Dalam $1.000$ pengulangan eksperimen, terdapat sekitar $500$ terbangun Angka dan $1.000$ terbangun Gambar ($500$ Senin $+$ $500$ Selasa), sehingga tepat $500 / 1.500 = 1/3$ dari seluruh momen terbangun adalah Angka. Oleh karena itu, $P(\text{Heads}) = 1/3$.»

  flowchart TD
    Sun["Minggu Malam: Putri Tidur Tertidur<br/>Lemparan Koin Adil P(H)=1/2, P(T)=1/2"] --> Coin{"Hasil Lemparan Koin"}
    Coin -->|"Angka (Heads: 1/2)"| H1["H1: Terbangun Senin Pagi<br/>(Wawancara)"]
    H1 --> H2["H2: Selasa Tetap Tidur<br/>(Tidak Sadar / Di Luar Ruang Sampel Terbangun)"]
    H2 --> Wed["Rabu: Eksperimen Berakhir"]
    
    Coin -->|"Gambar (Tails: 1/2)"| T1["T1: Terbangun Senin Pagi<br/>(Wawancara)"]
    T1 --> Drug["Obat Amnesia Diberikan<br/>Ingatan Hari Senin Dihapus"]
    Drug --> T2["T2: Terbangun Selasa Pagi<br/>(Wawancara)"]
    T2 --> Wed

    subgraph EpistemicClass ["Kelas Ekuivalensi Epistemik Saat Terbangun (Dunia Terpusat)"]
        H1
        T1
        T2
    end

2. Ontologi Keyakinan: Dunia Mungkin Tak Terpusat (De Dicto) vs. Terpusat (De Se)

Teori probabilitas klasik Kolmogorov bekerja pada dunia mungkin tak terpusat (uncentered possible worlds) $w \in W$ — deskripsi objektif alam semesta dari «pandangan dari ketiadaan» (de dicto). Namun, sebagaimana dibuktikan oleh John Perry (1979) («The Problem of the Essential Indexical») dan David Lewis (1979) («Attitudes De Dicto and De Se»), pengetahuan objektif orang ketiga sebanyak apa pun tidak dapat menggantikan keyakinan penempatan-diri (de se / indeksikal) («Siapa saya?», «Hari apa sekarang?»).

Lewis memformalkan hal ini melalui dunia mungkin terpusat (Centered Possible Worlds) $\langle w, i, t \rangle \in \mathcal{W}_c$, yang terdiri dari dunia objektif $w$, agen $i$, dan tahapan waktu $t$. Saat terbangun, Putri Tidur mengeliminasi kondisi tak sadar $H_2 = (\text{Angka}, \text{Selasa})$, sehingga ruang sampel epistemiknya menyempit menjadi tiga dunia terpusat:

3. Bukti Matematis Kubu «Thirder» ($P(\text{Heads}) = 1/3$): Adam Elga (2000)

Adam Elga (2000) membuktikan $P(\text{Heads}) = 1/3$ untuk satu kali pelaksanaan eksperimen melalui tiga langkah ketat:

3.1 Langkah 1: Prinsip Ketidakpedulian Terbatas antara $T_1$ dan $T_2$ ($P(T_1) = P(T_2)$)

Dengan mengondisikan bahwa koin mendarat pada Gambar ($T = T_1 \cup T_2$), baik terbangunnya hari Senin $T_1$ maupun hari Selasa $T_2$ benar-benar terjadi di dalam dunia objektif yang sama $w_T$, dengan bukti subjektif yang identik. Berdasarkan Prinsip Ketidakpedulian Terbatas (Restricted Principle of Indifference), kedua pusat harus memiliki probabilitas bersyarat yang sama:

3.2 Langkah 2: Pengondisian pada «Hari Ini Senin» dan Invariansi Geseran Waktu ($P(H_1) = P(T_1)$)

Misalkan setelah terbangun, peneliti memberi tahu Putri Tidur: «Hari ini adalah hari Senin» ($M = H_1 \cup T_1$). Karena terbangun pada Senin pagi terjadi dengan probabilitas $1$ terlepas dari hasil koin, protokol eksperimen sama sekali tidak berubah jika koin adil tersebut baru dilempar pada Senin malam (setelah wawancara hari Senin selesai)!

Jika koin dilempar pada Senin malam, maka saat Putri Tidur mengetahui pada Senin pagi bahwa «hari ini Senin», lemparan koin adalah peristiwa masa depan dengan peluang objektif $1/2$. Berdasarkan Prinsip Utama (Principal Principle) Lewis, keyakinan bersyaratnya bahwa koin mendarat Angka jika diketahui hari ini Senin haruslah $1/2$:

3.3 Langkah 3: Sintesis Aljabar ($P(\text{Heads}) = 1/3$)

Menggabungkan persamaan (1) $P(T_1) = P(T_2)$, persamaan (2) $P(H_1) = P(T_1)$, dan normalisasi $P(H_1) + P(T_1) + P(T_2) = 1$:

4. Serangan Balik Kubu «Halver» ($P(\text{Heads}) = 1/2$): David Lewis (2001) dan Prinsip Refleksi

Dalam makalah “Sleeping Beauty: reply to Elga” (2001), David Lewis mempertahankan $P(\text{Heads}) = 1/2$.

4.1 Ketiadaan Bukti Objektif Baru dan Prinsip Refleksi van Fraassen

Menurut Prinsip Refleksi (Reflection Principle) Bas van Fraassen (1984), karena tidak ada bukti objektif (de dicto) baru yang tak terduga saat terbangun, tingkat keyakinan harus tetap $1/2$. Lewis menerima $P(T_1) = P(T_2)$, tetapi membagi massa probabilitas $1/2$ milik Gambar secara merata antara Senin dan Selasa:

4.2 Konsekuensi Mengejutkan Lewis: Lonjakan ke $2/3$ Saat Diberi Tahu «Hari Ini Senin»!

Dalam sistem Lewis, ketika peneliti memberi tahu Putri Tidur «Hari ini adalah hari Senin» ($M = H_1 \cup T_1$), aturan Bayes menghasilkan:

Bahkan jika koin adil baru akan dilempar pada Senin malam, Putri Tidur versi Lewis harus percaya pada Senin pagi bahwa koin tersebut akan mendarat Angka dengan probabilitas $2/3$! Untuk menghindari $1/3$ Elga sekaligus $2/3$ Lewis, kubu Double-Halver (Cozic 2011, Meacham 2008) meninggalkan pengondisian Bayesian standar dan menggantinya dengan pengondisian terkompartemen.

  flowchart TD
    Wake["Terbangun Senin Pagi<br/>Ruang Sampel Ω = {H1, T1, T2}"] --> Camp{"Posisi Epistemologis"}
    Camp -->|"Thirder (Elga 2000)"| T1_Node["Probabilitas Saat Terbangun:<br/>P(H1)=1/3, P(T1)=1/3, P(T2)=1/3<br/>∴ P(Heads) = 1/3"]
    T1_Node -->|"Diberi Tahu 'Hari Ini Senin'"| T2_Node["Setelah Pembaruan Bayes:<br/>P(Heads | Monday) = 1/2<br/>(Sesuai Peluang Objektif Koin 1/2)"]
    
    Camp -->|"Halver Ortodoks (Lewis 2001)"| H1_Node["Probabilitas Saat Terbangun:<br/>P(H1)=1/2, P(T1)=1/4, P(T2)=1/4<br/>∴ P(Heads) = 1/2"]
    H1_Node -->|"Diberi Tahu 'Hari Ini Senin'"| H2_Node["Setelah Pembaruan Bayes:<br/>P(Heads | Monday) = (1/2)/(3/4) = 2/3!<br/>(Koin Adil Masa Depan Diberi Peluang 2/3 Angka)"]
    
    Camp -->|"Double-Halver (Meacham / Cozic)"| DH1_Node["Probabilitas Hierarkis:<br/>P(Heads) = 1/2"]
    DH1_Node -->|"Pembaruan Terkompartemen"| DH2_Node["Tetap Setelah Pembaruan:<br/>P(Heads | Monday) = 1/2<br/>(Melanggar Pengondisian Bayes Standar)"]

5. Argumen Dutch Book Diakronis (Hitchcock 2004) dan Teori Keputusan

Christopher Hitchcock (2004) membuktikan bahwa seorang Halver rentan terhadap Dutch Book diakronis yang menjamin kerugian finansial pasti:

1. Tahap 1 (Minggu Malam, $P_{\text{Sun}}(H) = 1/2$): Bandar menawarkan taruhan mendukung Gambar: $-\$30$ jika Angka ($H$), $+$30$ jika Gambar ($T$).
2. Tahap 2 (Setiap Kali Terbangun, $P_{\text{Wake}}(H) = 1/2$): Setiap kali terbangun, bandar menawarkan taruhan 1 banding 1 mendukung Angka: $+\$20$ jika Angka ($H$), $-$20$ jika Gambar ($T$). Karena amnesia, jika Gambar keluar, taruhan ini ditandatangani dua kali (Senin dan Selasa), sedangkan jika Angka keluar hanya satu kali!

Total saldo bersih pada hari Rabu:

• Jika Angka (1 kali terbangun): $-\$30 + $20 = \mathbf{-$10\text{ (Rugi Pasti!)}}$
• Jika Gambar (2 kali terbangun): $+\$30 - $20 - $20 = \mathbf{-$10\text{ (Rugi Pasti!)}}$

Hanya tingkat keyakinan $S(1-p) = 2Sp \implies \mathbf{p = 1/3}$ yang kebal terhadap Dutch Book. Kubu Halver (Bradley & Leitgeb 2006) membela diri dengan Teori Keputusan Evidensial (EDT), menyatakan bahwa korelasi antara keputusan Senin dan Selasa memisahkan kuosien taruhan ($1/3$) dari keyakinan epistemik ($1/2$).

6. «Putri Tidur Ekstrem» Nick Bostrom dan Kosmologi Antropik (SSA vs. SIA)

Nick Bostrom (2002, 2007) menunjukkan bahwa masalah ini memodelkan efek seleksi observasi dalam kosmologi. Dalam Putri Tidur Ekstrem, di mana Gambar memicu 1 juta kali terbangun ($N = 1.000.000$), kubu Thirder menyimpulkan saat terbangun bahwa $P(\text{Tails}) = \frac{1.000.000}{1.000.001} \approx 99,9999\%$, sedangkan Halver tetap pada $50\%$. Ini berkorespondensi dengan dua aksioma penalaran antropik:

1. Self-Sampling Assumption (SSA — Prinsip Halver): Menganggap diri sebagai sampel acak dari seluruh pengamat dalam kelas referensinya. Namun, SSA secara langsung melahirkan Argumen Hari Kiamat (Doomsday Argument): mengetahui urutan kelahiran kita sekitar manusia ke-60 miliar (analog dengan «Hari ini Senin») melipatgandakan probabilitas kepunahan manusia dalam waktu dekat sebesar $1.000$ kali lipat!
2. Self-Indication Assumption (SIA — Prinsip Thirder): Fakta bahwa kita ada menguntungkan hipotesis secara proporsional terhadap jumlah pengamat $N(H_i)$ ($P(H_i \mid E) \propto P(H_i) N(H_i)$). SIA membatalkan Argumen Hari Kiamat, tetapi menciptakan Paradoks Filsuf Lancang (Presumptuous Philosopher Paradox), di mana seseorang dapat menolak teori kosmologi terbatas dari kursi malas tanpa eksperimen fisik. Struktur yang sama mengatur bobot probabilitas dalam interpretasi banyak-dunia Everett pada mekanika kuantum dan Argumen Simulasi (Bostrom 2003).

7. Matriks Perbandingan Tiga Posisi Utama

Referensi

• Zuboff, A. (1990). “One Self: The Logic of Experience.” Inquiry, 33(1), 39–68.
• Elga, A. (2000). “Self-locating belief and the Sleeping Beauty problem.” Analysis, 60(2), 143–147.
• Lewis, D. (2001). “Sleeping Beauty: reply to Elga.” Analysis, 61(3), 171–176.
• Hitchcock, C. (2004). “Beauty and the bets.” Synthese, 139(3), 405–420.
• Bostrom, N. (2002). Anthropic Bias: Observation Selection Effects in Science and Philosophy. Routledge.
• Bostrom, N. (2007). “Sleeping Beauty and Colditz.” Synthese, 157(1), 59–78.