Mengapa Mengasumsikan 'Semua Kebenaran Dapat Diketahui secara Prinsip' Berujung pada Kemahatahuan Manusia: Paradoks Keterketahuan Fitch dan Logika Anti-Realisme

1. Pendahuluan: Garis Patahan Epistemologis Antara Realisme Metafisik dan Anti-Realisme Semantik

Dapatkah sebuah proposisi bernilai benar secara determinat meskipun tidak ada pikiran terbatas yang pernah — bahkan secara prinsip sekalipun — memverifikasi, menemukan, atau mengetahuinya?

Pertanyaan ini mendefinisikan garis patahan terdalam dalam metafisika, epistemologi, filsafat bahasa, dan filsafat matematika kontemporer: pertentangan antara Realisme Metafisik (Metaphysical Realism) dan Anti-Realisme Semantik (Semantic Anti-Realism / Verifikasionisme).

1.1 Komitmen Realisme Metafisik

Menurut Realisme Metafisik — yang dibela oleh Gottlob Frege, Bertrand Russell, Hilary Putnam awal, dan Timothy Williamson — kebenaran bersifat radikal melampaui pengenalan (recognition-transcendent truth). Dalam bahasa formal logika bimodal epistemik-aletik, dengan melambangkan $p$ sebagai «proposisi $p$ benar», $Kp$ sebagai «seseorang pada suatu waktu (masa lalu, kini, atau depan) mengetahui $p$», dan $\Diamond\phi$ sebagai «secara logis atau metafisik mungkin bahwa $\phi$», realisme menegaskan keberadaan kebenaran yang tak dapat diketahui (unknowable truths):

$$\text{Realisme (Kebenaran Tak Terketahui)}: \quad \exists p \, \big( p \land \neg \Diamond K p \big)$$

Contoh klasiknya meliputi fakta mikro-historis yang hilang selamanya akibat entropi (misalnya, apakah jumlah helai rambut di kepala Julius Caesar tepat pada detik Brutus menikamnya pada tahun 44 SM adalah ganjil), peristiwa kuantum di luar cakrawala peristiwa kosmologis, atau proposisi matematika yang tak terputuskan.

1.2 Anti-Realisme Semantik dan Prinsip Keterketahuan (KP)

Sebaliknya, tradisi verifikasionisme, pragmatisme, dan anti-realisme semantik — mulai dari C.S. Peirce dan Lingkaran Wina hingga realisme internal Putnam dan anti-realisme intuisionistik Michael Dummett — menolak gagasan kebenaran yang sama sekali melampaui verifikasi. Melalui Argumen Pemerolehan (Acquisition Argument) dan Argumen Manifestasi (Manifestation Argument), Dummett berargumen bahwa penutur terbatas hanya dapat mempelajari dan memanifestasikan pemahaman makna kalimat jika kondisi kebenarannya terikat secara konstitutif pada keterketahuan secara prinsip.

Hal ini melahirkan aksioma dasar anti-realisme modern, yaitu Prinsip Keterketahuan (Knowability Principle, KP):

$$\text{KP (Prinsip Keterketahuan)}: \quad \forall p \, \big( p \to \Diamond K p \big)$$

(«Untuk setiap proposisi $p$, jika $p$ benar, maka mungkin bahwa seseorang pada suatu waktu mengetahui $p$.»)

1.3 Prinsip Non-Kemahatahuan (NO) dan Bom Logika Fitch

Seorang anti-realis bukanlah idealis subjektif yang mengklaim $\forall p \, (p \to K p)$ («semua kebenaran benar-benar diketahui»). Menyadari keterbatasan manusia, setiap anti-realis menerima Prinsip Non-Kemahatahuan (Non-Omniscience Principle, NO):

$$\text{NO (Prinsip Non-Kemahatahuan)}: \quad \exists p \, \big( p \land \neg K p \big)$$

Namun, pada tahun 1963, ahli logika Yale Frederic B. Fitch (1908–1987) menerbitkan makalah “A Logical Analysis of Some Value Concepts” di The Journal of Symbolic Logic, di mana Teorema 5 menghancurkan kompatibilitas antara KP dan NO:

Paradoks Keterketahuan Fitch (1963): Hanya dengan menggunakan aturan inferensi paling lemah dan tak terbantahkan dalam logika epistemik modal — yaitu Faktivitas Pengetahuan dan Distribusi Konjungsi —, Prinsip Keterketahuan $\forall p \, (p \to \Diamond K p)$ yang tampak moderat secara langsung menurunkan Prinsip Kemahatahuan $\forall p \, (p \to K p)$ yang absurd dalam logika klasik! Secara kontrapositif, jika manusia tidak mahatahu ($\exists p \, (p \land \neg K p)$), maka niscaya terdapat setidaknya satu kebenaran yang secara logis mustahil untuk pernah diketahui oleh siapa pun ($\exists q \, (q \land \neg \Diamond K q)$).

2. Genesis Historis: Laporan Peninjau Anonim Alonzo Church (1945) dan Makalah Fitch (1963)

Dalam catatan kaki 5 (hlm. 138) makalahnya tahun 1963, Fitch menyebutkan bahwa bukti Teorema 5 disarankan kepadanya oleh «seorang peninjau anonim dari makalah yang dikirimkan pada tahun 1945 tetapi tidak pernah diterbitkan».

Misteri ini dipecahkan oleh Joe Salerno (2009, New Essays on the Knowability Paradox) melalui penelitian arsip di Universitas Princeton: peninjau anonim tahun 1945 tersebut tidak lain adalah Alonzo Church (1903–1995), pencipta kalkulus-$\lambda$! Pada Juli 1945, saat meninjau naskah Fitch yang menyamakan kebenaran dengan keterketahuan, Church menunjukkan bahwa dengan mensubstitusikan konjungsi $q := (p \land \neg K p)$ ke dalam $\forall q \, (q \to \Diamond K q)$, segera diperoleh $\neg(p \land \neg K p)$, yang meruntuhkan keterketahuan potensial menjadi kemahatahuan aktual ($\forall p (p \to K p)$).

3. Sintaks Formal dan Sistem Aksioma Minimal Logika Bimodal

Dalam bahasa bimodal $\mathcal{L}_{K,\Box}$, operator epistemik $K\phi$ menyatakan pengetahuan kolektif lintas waktu:

$$K\phi \stackrel{\text{def}}{\Longleftrightarrow} \exists x \in \text{Agents}, \, \exists t \in \text{Times} \, \big( K_{x,t} \phi \big)$$

Bukti Fitch sama sekali tidak memerlukan aksioma epistemik yang kuat seperti Prinsip KK (Aksioma 4: $K\phi \to KK\phi$), Introspeksi Negatif (Aksioma 5: $\neg K\phi \to K\neg K\phi$), ataupun Penutupan Deduktif Penuh (Aksioma K: $K(\phi \to \psi) \to (K\phi \to K\psi)$). Ia hanya membutuhkan tiga prinsip minimal:

(A1) Faktivitas Pengetahuan (Aksioma T): $$K\phi \vdash \phi$$ («Apa yang diketahui haruslah benar; proposisi palsu tidak dapat diketahui.»)
(A2) Distribusi Pengetahuan atas Konjungsi: $$K(\phi \land \psi) \vdash K\phi \land K\psi$$ («Mengetahui konjungsi “$\phi$ dan $\psi$” berarti mengetahui $\phi$ dan mengetahui $\psi$.»)
(R1) Aturan Keniscayaan Modal (Modal Necessitation Rule): $$\text{Jika } \vdash \phi, \quad \text{maka } \vdash \Box\phi$$ («Setiap teorema logika murni berlaku secara niscaya di semua dunia yang mungkin», dengan dualitas $\Box\neg\phi \equiv \neg\Diamond\phi$).

Prinsip / Aturan	Skema Formal	Makna Filosofis	Diperlukan untuk Fitch?
(A1) Faktivitas (Aksioma T)	$K\phi \vdash \phi$	Hanya proposisi benar yang dapat diketahui	YA (Esensial)
(A2) Distribusi Konjungsi	$K(\phi \land \psi) \vdash K\phi \land K\psi$	Mengetahui «$A$ dan $B$» berarti mengetahui $A$ dan $B$	YA (Esensial)
(R1) Keniscayaan Modal	$\vdash \phi \implies \vdash \Box\phi$	Teorema logis bersifat niscaya	YA (Esensial)
Penutupan Deduktif Penuh (Aksioma K)	$K(\phi \to \psi) \to (K\phi \to K\psi)$	Kemahatahuan logis di bawah implikasi	TIDAK
Introspeksi Positif (KK / Aksioma 4)	$K\phi \to KK\phi$	Mengetahui berarti tahu bahwa dirinya tahu	TIDAK
Introspeksi Negatif (Aksioma 5)	$\neg K\phi \to K\neg K\phi$	Tidak tahu berarti tahu bahwa dirinya tidak tahu	TIDAK

4. Derivasi Formal Langkah demi Langkah Paradoks Fitch

4.1 Tahap I (Teorema 1 Fitch): Kemustahilan Logis Mengetahui Kebenaran yang Tak Diketahui

Misalkan $q \stackrel{\text{def}}{\equiv} (p \land \neg K p)$ («$p$ benar, tetapi tidak ada seorang pun yang pernah mengetahui $p$»). Kita buktikan melalui reductio ad absurdum ($\neg$-Introduksi) bahwa tidak seorang pun dapat mengetahui $q$:

Baris	Formula	Justifikasi / Aturan Inferensi	Asumsi Terbuka
(1)	$K(p \land \neg K p)$	Asumsi untuk Reductio	$\{1\}$
(2)	$K p \land K(\neg K p)$	Dari (1) melalui (A2) Distribusi Konjungsi $K(\phi \land \psi) \vdash K\phi \land K\psi$	$\{1\}$
(3)	$K p$	Dari (2) melalui $\land$-Eliminasi (kiri)	$\{1\}$
(4)	$K(\neg K p)$	Dari (2) melalui $\land$-Eliminasi (kanan)	$\{1\}$
(5)	$\neg K p$	Dari (4) melalui (A1) Faktivitas Pengetahuan $K\psi \vdash \psi$ ($\psi := \neg K p$)	$\{1\}$
(6)	$K p \land \neg K p \quad (\bot)$	Dari (3) dan (5) melalui $\land$-Introduksi (Kontradiksi Eksplisit!)	$\{1\}$
(7)	$\vdash \neg K(p \land \neg K p)$	Dari (1)–(6) melalui $\neg$-Introduksi (melepaskan asumsi $\{1\}$)	$\emptyset$
(8)	$\vdash \Box \neg K(p \land \neg K p)$	Dari teorema (7) melalui (R1) Keniscayaan Modal	$\emptyset$
(9)	$\vdash \neg \Diamond K(p \land \neg K p)$	Dari (8) melalui dualitas modal ($\Box\neg\phi \equiv \neg\Diamond\phi$)	$\emptyset$

Baris (9) $\vdash \neg \Diamond K(p \land \neg K p)$ membuktikan bahwa secara logis mustahil untuk pernah mengetahui suatu kebenaran yang tak diketahui!

4.2 Tahap II (Teorema 5 Fitch): Runtuhnya Keterketahuan (KP) Menjadi Kemahatahuan (OP)

Sekarang kita substitusikan $q := (p \land \neg K p)$ ke dalam Prinsip Keterketahuan (KP) $\forall q \, (q \to \Diamond K q)$:

Baris	Formula	Justifikasi / Aturan Inferensi	Status Logis
(10)	$(p \land \neg K p) \to \Diamond K(p \land \neg K p)$	Instansiasi universal KP dengan $q := (p \land \neg K p)$	Instansi KP
(11)	$\neg (p \land \neg K p)$	Dari (10) dan teorema (9) $\neg \Diamond K(p \land \neg K p)$ melalui Modus Tollens	Valid secara Intuisionistik!
(12)	$p \to \neg \neg K p$	Dari (11) melalui ekuivalensi proposisional $\neg(A \land \neg B) \vdash (A \to \neg\neg B)$	Valid secara Intuisionistik!
(13)	$p \to K p$	Dari (12) melalui Eliminasi Negasi Ganda Klasik (DNE) $\neg\neg K p \vdash K p$	Menggunakan DNE Klasik
(14)	$\forall p \, (p \to K p)$	Dari (13) melalui Generalisasi Universal	Prinsip Kemahatahuan (OP)!

  flowchart TD
    subgraph Stage1["Tahap I: Teorema 1 Fitch (Lema Titik Buta Epistemik)"]
        A1["Asumsi (1): K(p ∧ ¬Kp)<br/>Seseorang tahu bahwa 'p benar dan tak diketahui'"] -->|"Distribusi Konjungsi (A2)<br/>K(φ ∧ ψ) ⊢ Kφ ∧ Kψ"| A2["(2) Kp ∧ K(¬Kp)"]
        A2 -->|"∧-Eliminasi (kiri)"| A3["(3) Kp<br/>p diketahui"]
        A2 -->|"∧-Eliminasi (kanan)"| A4["(4) K(¬Kp)<br/>Diketahui bahwa p tak diketahui"]
        A4 -->|"Faktivitas Pengetahuan (A1)<br/>Kψ ⊢ ψ"| A5["(5) ¬Kp<br/>p tidak diketahui"]
        A3 & A5 -->|"∧-Introduksi"| A6["(6) Kp ∧ ¬Kp (⊥ Kontradiksi!)"]
        A6 -->|"¬-Introduksi (lepas asumsi 1)"| A7["(7) ⊢ ¬K(p ∧ ¬Kp)"]
        A7 -->|"Keniscayaan Modal (R1) + Dualitas"| A9["(9) ⊢ ¬◇K(p ∧ ¬Kp)<br/>Mustahil mengetahui kebenaran tak diketahui"]
    end

    subgraph Stage2["Tahap II: Teorema 5 Fitch (Runtuh Menjadi Kemahatahuan)"]
        KP["Prinsip Keterketahuan (KP)<br/>∀q (q → ◇Kq)"] -->|"Substitusi q := (p ∧ ¬Kp)"| B10["(10) (p ∧ ¬Kp) → ◇K(p ∧ ¬Kp)"]
        A9 & B10 -->|"Modus Tollens"| B11["(11) ¬(p ∧ ¬Kp)<br/>Tiada kebenaran tak diketahui yang bisa ada"]
        B11 -->|"Implikasi Valid Konstruktif"| B12["(12) ∀p (p → ¬¬Kp)<br/>Titik Henti Intuisionistik Dummett"]
        B12 -->|"Eliminasi Negasi Ganda Klasik (DNE)<br/>¬¬Kp ⊢ Kp"| B14["(14) ∀p (p → Kp)<br/>Prinsip Kemahatahuan (OP)!"]
    end

5. Diagnosis Struktural: Paradoks Moore, Titik Buta Epistemik, dan Ujian Mendadak

Paradoks G.E. Moore (1942): Kalimat «Di luar sedang hujan, tetapi saya tidak tahu bahwa sedang hujan» ($p \land \neg K_a p$) konsisten secara ontologis namun mustahil diketahui oleh subjek $a$ sendiri. Ketika $K$ mencakup seluruh komunitas agen di segala waktu, $(p \land \neg K p)$ menjadi kalimat Moore universal tanpa pengamat eksternal.
Titik Buta Epistemik (Blindspots) Roy Sorensen (1988): $(p \land \neg K p)$ adalah titik buta epistemik ($\Diamond\phi \land \neg\Diamond K\phi$): tindakan memperoleh pengetahuan $K p$ mengubah kondisi epistemik dunia dan memalsukan konjungsi kedua $\neg K p$.
Paradoks Ujian Mendadak dan Teorema Ketidaklengkapan Gödel: Dalam ujian mendadak, siswa mencampuradukkan kebenaran $(E_5 \land \neg K_{\text{Kam}} E_5)$ dengan keterketahuannya pada Kamis malam $K_{\text{Kam}}(E_5 \land \neg K_{\text{Kam}} E_5)$. Dalam aritmetika formal, Teorema Löb mencegah predikat keterbuktian $\text{Prov}_T(\ulcorner \phi \urcorner)$ memenuhi faktivitas secara umum ($\text{Prov}_T(\ulcorner \phi \urcorner) \to \phi$), sedangkan pengetahuan sejati $K$ bersifat faktif tanpa syarat.

6. Empat Jalur Penyelamatan Filosofis dan Biayanya

6.1 Jalur I: Michael Dummett dan Logika Intuisionistik

Michael Dummett (2001, “Victor’s Error”) dan Neil Tennant menunjukkan bahwa baris (1) hingga (12) sepenuhnya valid dalam logika intuisionistik; logika klasik hanya dipakai pada langkah (12) ke (13) melalui Eliminasi Negasi Ganda (DNE: $\neg\neg K p \vdash K p$). Tanpa DNE, derivasi berhenti pada:

$$\forall p \, \big( p \to \neg\neg K p \big) \quad \text{dan} \quad \forall p \, \neg(p \land \neg K p)$$

Kritik Balik Timothy Williamson (1982, 2000):

Bahkan dalam logika intuisionistik, baris (11) membuktikan $\vdash_{\text{Int}} \neg \exists p \, (p \land \neg K p)$, sehingga Prinsip Non-Kemahatahuan (NO) tetap terbukti kontradiktif (salah)!
Untuk proposisi yang dapat diputuskan ($K p \lor \neg K p$), $\neg\neg K p \vdash_{\text{Int}} K p$ tetap berlaku secara intuisionistik, sehingga kembali runtuh menjadi $p \to K p$.

6.2 Jalur II: Pembatasan Neil Tennant pada «Proposisi Kartesian»

Neil Tennant (1997, The Taming of the Sleuth) membatasi KP pada proposisi Kartesian ($\text{Cartesian}(\phi) \iff K\phi \not\vdash \bot$):

$$\text{KP}_{\text{Cart}}: \quad \forall \phi \, \Big( \text{Cartesian}(\phi) \implies \big( \phi \to \Diamond K \phi \big) \Big)$$

Contoh Penyangkal DeVidi & Solomon (2001) dan Williamson: Proposisi majemuk $r \stackrel{\text{def}}{\equiv} p \land (K p \to n)$ bersifat Kartesian ($K r \not\vdash \bot$), tetapi ketika disubstitusikan ke $\text{KP}_{\text{Cart}}$ di bawah asumsi $p \land \neg K p$ menghasilkan $\Diamond(K p \land n)$, membangkitkan kembali paradoks tersebut!

6.3 Jalur III: Logika Modal Dua Dimensi Dorothy Edgington ($\mathcal{A}$ / `@`)

Dorothy Edgington (1985, “The Paradox of Knowability”, Mind) memperkenalkan Operator Aktualitas $\mathcal{A}$ («Actually») ($\mathcal{M}, w' \models \mathcal{A}\phi \iff \mathcal{M}, w_0 \models \phi$):

$$\text{KP}_{\text{Edg}}: \quad \forall \phi \, \Big( \mathcal{A}\phi \to \Diamond K(\mathcal{A}\phi) \Big)$$

Di dunia mungkin kontrafaktual $w'$, seorang agen dapat mengetahui tanpa kontradiksi bahwa di dunia aktual $w_0$, $p$ benar dan tidak seorang pun di $w_0$ mengetahuinya ($K_{w'}(\mathcal{A} p) \land \neg \mathcal{A} K p$). Kritik Williamson: Bagaimana agen di dunia $w'$ yang terisolasi secara kausal dari $w_0$ dapat memiliki pengetahuan empiris tentang fakta kontingen di $w_0$?

6.4 Jalur IV: Logika Epistemik Dinamis (DEL) dan Logika Pengumuman Publik (PAL)

Johan van Benthem (2004) menunjukkan melalui operator dinamis $[\phi!]\psi$ bahwa $(p \land \neg K p)$ adalah «formula tak berhasil» (Unsuccessful Formula) yang memalsukan dirinya sendiri begitu diumumkan atau dipelajari: $\mathcal{M}, w \models [p \land \neg K p !] \neg(p \land \neg K p)$.

  flowchart TD
    Root["Paradoks Keterketahuan Fitch<br/>KP: ∀q (q → ◇Kq) + NO: ∃p (p ∧ ¬Kp) ⊢ ⊥"]

    Root --> E1["Jalur I: Logika Intuisionistik<br/>(Michael Dummett / Neil Tennant)"]
    Root --> E2["Jalur II: Pembatasan Kartesian<br/>(Neil Tennant 1997)"]
    Root --> E3["Jalur III: Logika Modal Dua Dimensi<br/>(Dorothy Edgington 1985)"]
    Root --> E4["Jalur IV: Logika Epistemik Dinamis PAL<br/>(Johan van Benthem 2004)"]

    E1 --> M1["Mekanisme: Menolak DNE klasik;<br/>berhenti pada ∀p (p → ¬¬Kp)"]
    M1 --> C1["Biaya: Tetap membuktikan ¬∃p(p ∧ ¬Kp),<br/>membuat Non-Kemahatahuan kontradiktif"]

    E2 --> M2["Mekanisme: KP dibatasi pada proposisi<br/>Kartesian (Kφ ⊬ ⊥); memblokir (p ∧ ¬Kp)"]
    M2 --> C2["Biaya: r := p ∧ (Kp → n) adalah Kartesian,<br/>namun memicu kembali keruntuhan modal"]

    E3 --> M3["Mekanisme: Operator Aktualitas A:<br/>Aφ → ◇K(Aφ); tahu di w' apa yang terjadi di w0"]
    M3 --> C3["Biaya: Kemustahilan pengetahuan empiris<br/>antar-dunia mungkin yang terisolasi kausal"]

    E4 --> M4["Mekanisme: Operator PAL [φ!]ψ mengidentifikasi<br/>(p ∧ ¬Kp) sebagai pembaruan yang menyangkal diri"]
    M4 --> C4["Konsekuensi: Meninggalkan identifikasi statis<br/>antara kebenaran dan keterketahuan"]

7. Matriks Perbandingan dan Kesimpulan Filosofis

Posisi Filosofis	Prinsip Formal / Logika	Mekanisme Pemblokiran	Kerentanan Fatal / Biaya
Anti-Realisme Naif	$\forall p \, (p \to \Diamond K p)$ (Klasik)	Tidak ada: Runtuh ke $\forall p (p \to K p)$	Berujung pada Kemahatahuan Manusia (OP)
Anti-Realisme Intuisionistik (Dummett 2001)	$\forall p \, (p \to \Diamond K p)$ (Intuisionistik)	Menolak DNE ($\neg\neg K p \not\vdash K p$); berhenti di $p \to \neg\neg K p$	Menyangkal $\exists p (p \land \neg K p)$; runtuh jika $K p$ dapat diputuskan
Pembatasan Kartesian (Tennant 1997)	$\text{Cartesian}(\phi) \to (\phi \to \Diamond K \phi)$	Mengecualikan $(p \land \neg K p)$ karena $K(p \land \neg K p) \vdash \bot$	Ditembus oleh $r := p \land (K p \to n)$
Logika Dua Dimensi (Edgington 1985)	$\forall \phi \, (\mathcal{A}\phi \to \Diamond K(\mathcal{A}\phi))$	Memisahkan dunia kebenaran ($w_0$) dan dunia pengetahuan ($w'$)	Misteri pengetahuan empiris lintas-dunia
Logika Dinamis (PAL) (van Benthem 2004)	Pengumuman publik $[\phi!]\psi$	Mengidentifikasi $(p \land \neg K p)$ sebagai formula tak berhasil	Melepaskan anti-realisme semantik statis

Kesimpulan: Jika kita menerima keterbatasan kognitif manusia ($\exists p \, (p \land \neg K p)$), Teorema 1 Fitch ($\vdash \neg \Diamond K(p \land \neg K p)$) memaksa kita secara logis untuk menerima Realisme Metafisik:

$$\exists p \, (p \land \neg K p) \quad \vdash \quad \exists q \, \big( q \land \neg \Diamond K q \big)$$

Referensi

Fitch, F. B. (1963). “A Logical Analysis of Some Value Concepts”. The Journal of Symbolic Logic, 28(2), 135–142.
Salerno, J. (Ed.). (2009). New Essays on the Knowability Paradox. Oxford University Press.
Dummett, M. (2001). “Victor’s Error”. Analysis, 61(269), 1–2.
Williamson, T. (2000). Knowledge and Its Limits. Oxford University Press.
Edgington, D. (1985). “The Paradox of Knowability”. Mind, 94(376), 557–568.
Tennant, N. (1997). The Taming of the Sleuth. Oxford University Press.
van Benthem, J. (2004). “What One May Come to Know”. Analysis, 64(282), 95–105.