1. Pendahuluan: Guncangan Ketidaksepakatan Rasional dan Hilangnya Dalih Epistemik

Dalam kehidupan sehari-hari, kedokteran klinis, yurisprudensi, kebijakan makroekonomi, sains empiris, maupun filsafat, kita terus-menerus berhadapan dengan orang yang menolak keyakinan kita yang paling matang. Dalam sebagian besar perdebatan biasa, mengetahui adanya ketidaksepakatan tidak menggoyahkan keyakinan kita karena kita memiliki persediaan penjelasan pemecah simetri—semacam “dalih epistemik”. Kita berkata pada diri sendiri bahwa lawan bicara kita belum membaca studi empiris terbaru, kurang terlatih dalam inferensi statistik, atau dibutakan oleh bias ideologis dan finansial. Selama kita dapat mengklasifikasikan lawan bicara sebagai inferior epistemik (Epistemic Inferior) terkait persoalan tersebut, mempertahankan keyakinan awal terasa mudah.

Namun, apa yang terjadi ketika seluruh dalih yang menenangkan itu lenyap?

Bayangkan Anda dan seorang kolega telah bekerja berdampingan selama sepuluh tahun di bidang ilmiah atau filosofis yang sama. Anda berdua telah memeriksa korpus literatur primer, kumpulan data eksperimental, dan bukti matematis yang persis sama (kumpulan bukti bersama $E$). Lebih jauh lagi, Anda tahu pasti bahwa kolega Anda setara dengan Anda dalam kecerdasan, ketelitian analitis, kejujuran intelektual, kewaspadaan, dan kebebasan dari distorsi ideologis. Dalam kosakata teknis Epistemologi Sosial (Social Epistemology) kontemporer, kolega ini adalah rekan epistemik ($\text{Peer}(S_1, S_2)$) Anda.

Setelah mengevaluasi bukti bersama $E$ secara independen, Anda sampai pada keyakinan kuat bahwa proposisi $P$ benar, dengan memberikan tingkat keyakinan (credence) sebesar $c_1(P) = 0.85$. Rekan epistemik Anda, setelah mengevaluasi bukti $E$ yang persis sama dengan kehati-hatian setara, mengumumkan kesimpulan sebaliknya: ia meyakini $\neg P$, dan hanya memberikan nilai $c_2(P) = 0.15$ pada $P$.

Pada detik Anda menyadari ketidaksepakatan rekan sejawat ini, apa yang dituntut oleh rasionalitas epistemik dari Anda?

1. Konsiliasionisme / Pandangan Bobot Setara (Conciliationism / Equal Weight View): Karena Anda dan rekan Anda adalah pemroses bukti $E$ yang sama-sama andal dan setidaknya salah satu dari Anda telah melakukan kesalahan kognitif kali ini, mengistimewakan penilaian Anda sendiri semata-mata karena itu milik Anda adalah bentuk dogmatisme. Anda wajib merevisi keyakinan secara substansial menuju titik tengah ($c_{\text{new}}(P) = 0.50$) dan menangguhkan penilaian.
2. Pandangan Keteguhan (The Steadfast View / Non-Conciliationism): Bahkan di hadapan ketidaksepakatan rekan sejawat, jika bukti tingkat pertama $E$ secara objektif mendukung $P$ dan Anda benar-benar bernalar secara tepat dari $E$ ke $P$, Anda tidak wajib meninggalkan keyakinan yang berdasar kuat hanya karena rekan Anda mengalami titik buta kognitif sesaat.

Sejak pertengahan 2000-an, perdebatan yang dibentuk oleh Richard Feldman, David Christensen, Adam Elga, Thomas Kelly, Jennifer Lackey, dan Miriam Schoenfield ini berdiri di jantung epistemologi analitik.

2. Formalisasi Kesetaraan Epistemik dan Arsitektur Bukti Dua Tingkat

2.1 Kesetaraan Evidensial dan Kesetaraan Kognitif

Mengikuti Thomas Kelly (2005, “The Epistemic Significance of Disagreement”) dan Richard Feldman (2007), dua agen $S_1$ dan $S_2$ adalah rekan epistemik terhadap proposisi $P$ jika memenuhi dua syarat simetri:

1. Kesetaraan Evidensial (Evidential Equality): $S_1$ dan $S_2$ memiliki kumpulan bukti substantif tingkat pertama $E$ yang persis sama terkait nilai kebenaran $P$ ($E_1 = E_2 = E$).
2. Kesetaraan Kognitif (Cognitive Equality): $S_1$ dan $S_2$ setara dalam kompetensi kognitif umum (kecerdasan, ketajaman logika, pelatihan domain) serta kebajikan epistemik (kejujuran intelektual, keterbukaan pikiran, kebebasan dari bias) yang diperlukan untuk menilai $E$, sehingga tingkat keandalan umum mereka setara: $R(S_1) \approx R(S_2)$.

2.2 Bukti Tingkat Pertama ($E$) vs. Bukti Tingkat Tinggi ($E_{\text{HOE}}$)

Mesin analitis utama literatur ini adalah pembedaan antara Bukti Tingkat Pertama ($E$) dan Bukti Tingkat Tinggi ($E_{\text{HOE}}$) (Christensen 2010; Kelly 2010):

• Bukti Tingkat Pertama ($E$) adalah bukti yang berkaitan langsung dengan kebenaran proposisi $P$ di dunia (data klinis, deret waktu makroekonomi, naskah sejarah, atau angka-angka pada tagihan restoran).
• Bukti Tingkat Tinggi ($E_{\text{HOE}}$) adalah meta-bukti mengenai keandalan fungsi kognitif kita sendiri saat memproses $E$ atau apakah $E$ benar-benar mendukung $P$.

Dalam Kasus Obat Pendistorsi Penalaran klasik (Christensen 2010), jika seorang dokter memberi tahu bahwa kopi pagi Anda dicampur zat kimia yang memicu halusinasi logis tak terdeteksi pada $80\%$ subjek sesaat setelah Anda membuktikan teorema $P$ dari aksioma $E$, kesaksian dokter tersebut tidak membantah teorema matematika $P$ secara langsung, melainkan bekerja sebagai penggugur tingkat tinggi ($E_{\text{HOE}}$) yang mengharuskan Anda menurunkan keyakinan secara drastis. Mengetahui bahwa rekan epistemik menyimpulkan $\neg P$ dari $E$ adalah contoh murni bukti tingkat tinggi bahwa setidaknya salah satu dari dua sistem kognitif mengalami kegagalan kinerja.

  flowchart TD
    E["Bukti Tingkat Pertama Bersama E<br/>(Data Klinis, Teks, Tagihan Restoran)"] --> S1["Pemrosesan Kognitif Agen S1<br/>(Keandalan R1 = 1 - ε)"]
    E --> S2["Pemrosesan Kognitif Rekan S2<br/>(Keandalan R2 = 1 - ε)"]
    S1 --> J1["Penilaian Awal S1: P<br/>(Credence Awal c1(P) = 0.85)"]
    S2 --> J2["Penilaian Awal S2: ¬P<br/>(Credence Awal c2(P) = 0.15)"]
    J1 --> D["Penemuan Ketidaksepakatan (Bukti Tingkat Tinggi E_HOE)<br/>'Rekan epistemik saya S2 menyimpulkan ¬P dari E'"]
    J2 --> D
    D --> C["Konsiliasionisme (Equal Weight View)<br/>Mematuhi Prinsip Independensi; simetri kesalahan<br/>Memperbarui keyakinan ke titik tengah: c_new(P) = 0.50"]
    D --> ST["Pandangan Keteguhan (Total Evidence View)<br/>Mempertahankan dukungan objektif bukti E<br/>Mempertahankan keyakinan tinggi: c_new(P) ≈ 0.80"]

3. Kubu Konsiliasionis: Tagihan Restoran, Bobot Setara, dan Prinsip Independensi

3.1 Kasus Tagihan Restoran David Christensen (2007)

Dalam “Epistemology of Disagreement: The Good News” (2007), David Christensen memperkenalkan eksperimen pikiran terkenal Kasus Tagihan Restoran (The Restaurant Check Case): lima sekawan makan malam bersama dan sepakat membagi tagihan secara rata setelah ditambah tip $20\%$. Anda dan teman Anda—yang sama cepat dan akuratnya dalam berhitung di luar kepala—memeriksa tagihan yang sama ($E$). Anda menghitung di kepala bahwa bagian tiap orang adalah $\$43$ ($c_1(P) = 0.95$), tetapi teman Anda dengan keyakinan setara mengumumkan bahwa bagiannya adalah $$45$ ($c_2(P) = 0.05$).

Bernalar bahwa: *“Saya sudah menghitung $\$43$, jadi jawaban benarnya $$43$; karena teman saya menyebut $$45$, pasti dia yang salah hitung malam ini, sehingga saya tetap yakin $95%$"* jelas tidak rasional dan arogan secara epistemik. Karena peluang selip hitung $\varepsilon > 0$ bersifat simetris, rasionalitas menuntut Anda menurunkan keyakinan menjadi sekitar $50%$.

3.2 Pandangan Bobot Setara Adam Elga dan Penggabungan Linear Bayesian

Adam Elga (2007, “Reflection and Disagreement”) menggeneralisasi intuisi ini menjadi Pandangan Bobot Setara (Equal Weight View), yang menetapkan penggabungan opini linear (Linear Opinion Pooling) dengan bobot simetris $w_1 = w_2 = \frac{1}{2}$:

Dalam model kondisionalisasi Bayesian standar dengan probabilitas awal $\mathbb{P}(P) = p_0$ di mana setiap agen memiliki akurasi diagnostik $1 - \varepsilon$ ($\varepsilon \in (0, 1/2)$), probabilitas posterior $P$ mengingat kejadian gabungan $\{D_1 = P, D_2 = \neg P\}$ adalah:

Suku $(1 - \varepsilon)\varepsilon$ saling menghilangkan secara eksak pada pembilang dan penyebut, mengembalikan probabilitas posterior ke prior awal $p_0$ ($0.50$), yang setara dengan penangguhan penilaian (suspension of judgment) menurut Richard Feldman (2006).

3.3 Prinsip Independensi Christensen

Untuk mencegah pendiskualifikasian rekan secara sirkular, Christensen (2009, 2011) merumuskan Prinsip Independensi (Independence Principle):

[Prinsip Independensi (Christensen 2009)] Dalam mengevaluasi kredensial epistemik dari keyakinan orang lain tentang $P$ guna menentukan bagaimana (atau apakah) saya harus memodifikasi keyakinan saya sendiri tentang $P$, saya harus melakukannya dengan cara yang tidak bergantung pada penalaran di balik keyakinan awal saya tentang $P$.

Melanggar Independensi sama saja dengan melakukan penalaran melingkar (begging the question), yang identik secara struktural dengan Paradoks Dogmatisme (Harman 1973; Kripke 2011).

4. Kubu Keteguhan: Bukti Total, Informasi Personal, dan Sanggahan Diri

4.1 Pandangan Bukti Total Thomas Kelly (2010)

Thomas Kelly (2005, 2010) menyanggah bahwa konsiliasionisme membiarkan bukti psikologis tingkat tinggi ($E_{\text{HOE}}$) menenggelamkan (swamp) bukti substantif tingkat pertama $E$. Jika $E$ secara objektif mendukung $P$, maka bukti total ($E_{\text{total}}$) milik $S_1$ mencakup tiga unsur:

Meski kedua fakta psikologis bersifat simetris, unsur pertama—yakni bukti $E$ itu sendiri—tidaklah simetris! Menurut Pandangan Bukti Total (Total Evidence View) Kelly, keberadaan langsung $E$ mencegah keyakinan rasional runtuh sepenuhnya ke titik tengah $0.50$.

4.2 Pandangan Justifikasionis Jennifer Lackey dan Sanggahan Diri

Jennifer Lackey (2010) melalui kasus-kasus ekstrem (misalnya ketika kolega Anda menyangkal bahwa $2 + 2 = 4$ atau menyangkal bahwa teman Anda sedang duduk tepat di depan mata Anda) menunjukkan bahwa Anda memiliki informasi personal (Personal Information) introspektif orang pertama mengenai kewarasan dan kesadaran kognitif Anda sendiri, yang secara sah memecah simetri ketika justifikasi awal sangat tinggi.

Selain itu, konsiliasionisme menghadapi Keberatan Menggugurkan Diri Sendiri (Self-Defeat Objection) (Elga 2010): karena para ahli epistemologi terkemuka sendiri berbeda pendapat mengenai kebenaran konsiliasionisme $C$, seorang konsiliasionis berdasarkan aturannya sendiri $C$ wajib menurunkan keyakinannya terhadap konsiliasionisme itu sendiri!

5. Pembelahan Meta-Epistemologis: Tesis Keunikan vs. Permisivisme Epistemik

• Tesis Keunikan (Uniqueness Thesis — Feldman 2007; Roger White 2005): Mengingat bukti total $E$, terdapat paling banyak satu sikap doksastik rasional maksimal $c(P \mid E)$. Melalui argumen pil ajaib, White berargumen bahwa mempertahankan $P$ jika dua standar $R_1, R_2$ sama-sama rasional sama sewenang-wenangnya dengan menelan pil penginduksi keyakinan acak.
• Permisivisme Epistemik (Epistemic Permissivism — Gideon Rosen 2001; Miriam Schoenfield 2014): Untuk bukti kompleks $E$, terdapat keluarga distribusi prior yang diizinkan secara rasional $\{\mathbb{P}_\theta\}_{\theta \in \Theta}$. Schoenfield (2014) menjawab bahwa tak seorang pun dapat menilai bukti dari ruang hampa di luar seluruh standar epistemik; dinilai dari sudut pandang standar koheren $R_1$ milik $S_1$, $R_1$ lebih kondusif bagi kebenaran daripada $R_2$, sehingga memungkinkan terjadinya ketidaksepakatan tanpa kesalahan (Faultless Disagreement).

6. Teori Permainan dan Teorema Kesepakatan Robert Aumann (1976)

Dalam karya klasiknya “Agreeing to Disagree” (1976), Robert J. Aumann membuktikan pada ruang probabilitas $(\Omega, \mathcal{F}, \mathbb{P})$ dengan probabilitas prior bersama (Common Prior) $\mathbb{P}$ dan partisi informasi privat $\mathcal{P}_1, \mathcal{P}_2$ bahwa jika probabilitas posterior $q_1(\omega) = \mathbb{P}(A \mid \mathcal{P}_1(\omega)) = a$ dan $q_2(\omega) = \mathbb{P}(A \mid \mathcal{P}_2(\omega)) = b$ menjadi pengetahuan bersama (Common Knowledge) pada keadaan $\omega^* \in C \in \mathcal{P}_1 \wedge \mathcal{P}_2$, maka:

Agen Bayesian dengan prior bersama tidak dapat “sepakat untuk tidak sepakat”! Ketika para pakar di dunia nyata terus berbeda pendapat, setidaknya satu asumsi Aumann gagal: (1) ketiadaan prior bersama ($\mathbb{P}_1 \neq \mathbb{P}_2$, permisivisme), (2) pengetahuan tacit dan bukti yang tak terkomunikasikan (van Inwagen 1996), atau (3) ketidakmungkinan komputasional (NP-hard) dalam membalik fungsi kognitif rekan (Scott Aaronson 2005).

  flowchart TD
    Start["Ketidaksepakatan Persisten Pakar S1 dan S2<br/>S1: c1(P) = 0.85 vs. S2: c2(P) = 0.15"] --> Q1{"Apakah Berbagi Prior Bersama P?<br/>(Apakah Tesis Keunikan Berlaku?)"}
    Q1 -- "Ya (Prior Bersama / Keunikan)" --> Q2{"Apakah Posterior & Rasionalitas Mereka<br/>Pengetahuan Bersama?"}
    Q1 -- "Tidak (Permisivisme Epistemik)" --> Perm["Ketidaksepakatan Rasional Persisten<br/>Prior yang Diizinkan Berbeda P1 ≠ P2"]
    Q2 -- "Ya (Syarat Aumann Terpenuhi)" --> Aumann["Teorema Kesepakatan Aumann Berlaku<br/>Konvergensi Eksak: q1* = q2*"]
    Q2 -- "Tidak (Friksi Epistemik Nyata)" --> Friction["Tiga Sumber Ketidaksepakatan Nyata<br/>1. Bukti Tacit Tak Terkomunikasikan (van Inwagen)<br/>2. Kompleksitas Komputasional (Aaronson 2005)<br/>3. Keraguan atas Kebebasan dari Bias"]