1. भूमिका: तत्वमीमांसीय यथार्थवाद और अर्थगत यथार्थवाद-विरोध के बीच की विभाजन रेखा

क्या कोई प्रतिज्ञप्ति (proposition) निश्चित रूप से सत्य हो सकती है, भले ही कोई भी सीमित मन कभी भी — यहाँ तक कि सिद्धांत रूप में भी — उसे सत्यापित करने, खोजने या जानने में सक्षम न हो?

यह प्रश्न समकालीन तत्वमीमांसा, ज्ञानमीमांसा, भाषा-दर्शन और गणित के दर्शन में सबसे गहरी विभाजन रेखा को परिभाषित करता है: तत्वमीमांसीय यथार्थवाद (Metaphysical Realism) और अर्थगत यथार्थवाद-विरोध (Semantic Anti-Realism / सत्यापनवाद Verificationism) के बीच का संघर्ष।

1.1 तत्वमीमांसीय यथार्थवाद की प्रतिबद्धता

गॉटलोब फ्रेगे (Gottlob Frege), बर्ट्रेंड रसेल (Bertrand Russell), प्रारंभिक हिलरी पटनम (Hilary Putnam) और टिमोथी विलियमसन (Timothy Williamson) द्वारा समर्थित तत्वमीमांसीय यथार्थवाद के अनुसार, सत्य हमारी पहचान और ज्ञान की क्षमताओं से पूरी तरह स्वतंत्र (recognition-transcendent) है। द्वि-मॉडल ज्ञानमीमांसीय तर्कशास्त्र (Bimodal Epistemic-Alethic Logic) की औपचारिक भाषा में, यदि $p$ का अर्थ है «प्रतिज्ञप्ति $p$ सत्य है», $Kp$ का अर्थ है «कोई व्यक्ति किसी समय (भूत, वर्तमान या भविष्य में) $p$ को जानता है», और $\Diamond\phi$ का अर्थ है «तार्किक या तत्वमीमांसीय रूप से यह संभव है कि $\phi$», तो यथार्थवाद अज्ञेय सत्यों (Unknowable Truths) के अस्तित्व को स्वीकार करता है:

इसके उदाहरणों में एन्ट्रॉपी के कारण हमेशा के लिए नष्ट हो चुके सूक्ष्म-ऐतिहासिक तथ्य (जैसे: «44 ईसा पूर्व में जिस सटीक क्षण ब्रूटस ने जूलियस सीज़र पर वार किया, उस क्षण सीज़र के सिर पर बालों की संख्या विषम थी»), ब्रह्मांडीय घटना क्षितिज (Event Horizon) के पार की क्वांटम घटनाएँ, या अनिर्णीत गणितीय कथन शामिल हैं।

1.2 अर्थगत यथार्थवाद-विरोध और ज्ञेयता सिद्धांत (KP)

इसके विपरीत, सी.एस. पियर्स (C.S. Peirce) के व्यवहारवाद, वियना सर्कल के तार्किक प्रत्यक्षवाद, पटनम के आंतरिक यथार्थवाद (Internal Realism) से लेकर माइकल डमेट (Michael Dummett) के अंतर्ज्ञानवादी यथार्थवाद-विरोध तक की परंपरा सत्यापन-अतीत सत्य की अवधारणा को अस्वीकार करती है। डमेट ने अपने प्रसिद्ध अधिग्रहण तर्क (Acquisition Argument) और प्रकटीकरण तर्क (Manifestation Argument) के माध्यम से तर्क दिया कि सीमित भाषा-भाषी किसी वाक्य के अर्थ को तभी सीख और प्रकट कर सकते हैं जब उसकी सत्य-शर्तें सिद्धांततः उसकी ज्ञेयता (सत्यापन योग्यता) से जुड़ी हों।

इससे आधुनिक यथार्थवाद-विरोध का मूल स्वयंसिद्ध निकलता है, जिसे ज्ञेयता सिद्धांत (Knowability Principle, KP) कहा जाता है:

(«प्रत्येक प्रतिज्ञप्ति $p$ के लिए, यदि $p$ सत्य है, तो यह संभव है कि कोई व्यक्ति किसी समय $p$ को जाने।»)

1.3 गैर-सर्वज्ञता सिद्धांत (NO) और फिच का तार्किक विस्फोट

यथार्थवाद-विरोधी कोई आत्मगत आदर्शवादी नहीं है जो यह दावा करे कि $\forall p \, (p \to K p)$ («सभी सत्य वास्तव में ज्ञात हैं»)। मानव की सीमितता को स्वीकार करते हुए, प्रत्येक यथार्थवाद-विरोधी सहज ज्ञान युक्त गैर-सर्वज्ञता सिद्धांत (Non-Omniscience Principle, NO) को मानता है:

किंतु 1963 में, येल विश्वविद्यालय के तर्कशास्त्री फ्रेडरिक बी. फिच (Frederic B. Fitch, 1908–1987) ने The Journal of Symbolic Logic में प्रकाशित अपने शोधपत्र “A Logical Analysis of Some Value Concepts” के प्रमेय 5 (Theorem 5) में एक चौंकाने वाला परिणाम सिद्ध किया:

फिच का ज्ञेयता विरोधाभास (1963): मॉडल ज्ञानमीमांसीय तर्कशास्त्र के केवल सबसे कमजोर और निर्विवाद अनुमान नियमों — ज्ञान की तथ्यात्मकता (Factivity) और संयोजन पर वितरण (Conjunction Distribution) — का उपयोग करने पर, उदार दिखने वाला ज्ञेयता सिद्धांत $\forall p \, (p \to \Diamond K p)$ शास्त्रीय तर्कशास्त्र में सीधे बेतुके सर्वज्ञता सिद्धांत $\forall p \, (p \to K p)$ में ढह जाता है! प्रतिपरिवर्तित रूप में (Contrapositively), यदि मनुष्य सर्वज्ञ नहीं हैं ($\exists p \, (p \land \neg K p)$), तो अनिवार्य रूप से कम से कम एक ऐसा सत्य मौजूद है जिसे जानना तार्किक रूप से असंभव है ($\exists q \, (q \land \neg \Diamond K q)$)।

2. ऐतिहासिक उत्पत्ति: एलोन्ज़ो चर्च की 1945 की गुमनाम समीक्षा रिपोर्ट और फिच का 1963 का शोधपत्र

अपने 1963 के शोधपत्र के पृष्ठ 138 पर पादटिप्पणी 5 (Footnote 5) में फिच ने लिखा था कि प्रमेय 5 की उपपत्ति उन्हें «1945 में प्रस्तुत किए गए लेकिन कभी प्रकाशित न हुए एक शोधपत्र के गुमनाम समीक्षक (anonymous referee) द्वारा सुझाई गई थी»।

साठ वर्षों से अधिक समय तक रहस्य बने रहे इस गुमनाम समीक्षक की पहचान दार्शनिक जो सालेर्नो (Joe Salerno, 2009, New Essays on the Knowability Paradox) ने प्रिंसटन विश्वविद्यालय के अभिलेखागार में की: 1945 के वे गुमनाम समीक्षक स्वयं एलोन्ज़ो चर्च (Alonzo Church, 1903–1995) थे — जिन्होंने $\lambda$-कैलकुलस का आविष्कार किया था! जुलाई 1945 में अपनी समीक्षा रिपोर्ट में चर्च ने दिखाया कि यदि $\forall q \, (q \to \Diamond K q)$ में संयुक्त प्रतिज्ञप्ति $q := (p \land \neg K p)$ को प्रतिस्थापित किया जाए, तो तुरंत $\neg(p \land \neg K p)$ और उससे सर्वज्ञता ($\forall p (p \to K p)$) सिद्ध हो जाती है।

3. द्वि-मॉडल ज्ञानमीमांसीय तर्कशास्त्र का औपचारिक वाक्य-विन्यास और न्यूनतम स्वयंसिद्ध प्रणाली

द्वि-मॉडल भाषा $\mathcal{L}_{K,\Box}$ में ज्ञानमीमांसीय संकारक (operator) $K\phi$ सर्वकालिक सामूहिक ज्ञान को दर्शाता है:

फिच की उपपत्ति की सबसे बड़ी शक्ति यह है कि इसे किसी भी मजबूत या विवादास्पद ज्ञानमीमांसीय स्वयंसिद्ध की आवश्यकता नहीं है — न तो KK-सिद्धांत (स्वयंसिद्ध 4: $K\phi \to KK\phi$), न नकारात्मक अंतर्दर्शन (स्वयंसिद्ध 5: $\neg K\phi \to K\neg K\phi$), और न ही पूर्ण निगमनात्मक संवरक (स्वयंसिद्ध K: $K(\phi \to \psi) \to (K\phi \to K\psi)$)। इसके लिए केवल तीन न्यूनतम सिद्धांत पर्याप्त हैं:

1. (A1) ज्ञान की तथ्यात्मकता (Factivity of Knowledge / स्वयंसिद्ध T): $$K\phi \vdash \phi$$ («जो जाना जाता है वह सत्य होना चाहिए; असत्य को जाना नहीं जा सकता।»)
2. (A2) संयोजन पर ज्ञान का वितरण (Conjunction Distribution): $$K(\phi \land \psi) \vdash K\phi \land K\psi$$ («यदि कोई ‘$\phi$ और $\psi$’ जानता है, तो वह $\phi$ को जानता है और $\psi$ को जानता है।»)
3. (R1) मॉडल अनिवार्यता नियम (Modal Necessitation Rule): $$\text{यदि } \vdash \phi, \quad \text{तो } \vdash \Box\phi$$ («शुद्ध तर्कशास्त्र का प्रत्येक प्रमेय सभी संभावित संसारों में अनिवार्य रूप से सत्य होता है», तथा द्वैतता $\Box\neg\phi \equiv \neg\Diamond\phi$ लागू होती है)।

4. फिच के विरोधाभास की चरण-दर-चरण औपचारिक उपपत्ति (Step-by-Step Formal Proof)

4.1 चरण I (फिच का प्रमेय 1): अज्ञात सत्य को जानने की तार्किक असंभवता

मान लीजिए $q \stackrel{\text{def}}{\equiv} (p \land \neg K p)$ («$p$ सत्य है, किंतु कोई भी कभी $p$ को नहीं जानता»)। हम reductio ad absurdum ($\neg$-प्रवेश) द्वारा सिद्ध करते हैं कि कोई भी $q$ को नहीं जान सकता:

पंक्ति (9) $\vdash \neg \Diamond K(p \land \neg K p)$ सिद्ध करती है कि किसी अज्ञात सत्य को जानना तार्किक रूप से असंभव है!

4.2 चरण II (फिच का प्रमेय 5): ज्ञेयता (KP) का सर्वज्ञता (OP) में पतन

अब हम ज्ञेयता सिद्धांत (KP) $\forall q \, (q \to \Diamond K q)$ में $q := (p \land \neg K p)$ प्रतिस्थापित करते हैं:

  flowchart TD
    subgraph Stage1["चरण I: फिच का प्रमेय 1 (ज्ञानमीमांसीय अंधबिंदु प्रमेयिका)"]
        A1["मान्यता (1): K(p ∧ ¬Kp)<br/>कोई जानता है कि 'p सत्य है और अज्ञात है'"] -->|"संयोजन वितरण (A2)<br/>K(φ ∧ ψ) ⊢ Kφ ∧ Kψ"| A2["(2) Kp ∧ K(¬Kp)"]
        A2 -->|"∧-विलोपन (बायाँ)"| A3["(3) Kp<br/>p ज्ञात है"]
        A2 -->|"∧-विलोपन (दायाँ)"| A4["(4) K(¬Kp)<br/>यह ज्ञात है कि p अज्ञात है"]
        A4 -->|"ज्ञान की तथ्यात्मकता (A1)<br/>Kψ ⊢ ψ"| A5["(5) ¬Kp<br/>p ज्ञात नहीं है"]
        A3 & A5 -->|"∧-प्रवेश"| A6["(6) Kp ∧ ¬Kp (⊥ अंतर्विरोध!)"]
        A6 -->|"¬-प्रवेश (मान्यता 1 निरस्त)"| A7["(7) ⊢ ¬K(p ∧ ¬Kp)"]
        A7 -->|"मॉडल अनिवार्यता (R1) + द्वैतता"| A9["(9) ⊢ ¬◇K(p ∧ ¬Kp)<br/>अज्ञात सत्य को जानना तार्किक रूप से असंभव"]
    end

    subgraph Stage2["चरण II: फिच का प्रमेय 5 (सर्वज्ञता में पतन)"]
        KP["ज्ञेयता सिद्धांत (KP)<br/>∀q (q → ◇Kq)"] -->|"प्रतिस्थापन q := (p ∧ ¬Kp)"| B10["(10) (p ∧ ¬Kp) → ◇K(p ∧ ¬Kp)"]
        A9 & B10 -->|"Modus Tollens"| B11["(11) ¬(p ∧ ¬Kp)<br/>कोई अज्ञात सत्य अस्तित्व में नहीं हो सकता"]
        B11 -->|"रचनात्मक रूप से वैध निहितार्थ"| B12["(12) ∀p (p → ¬¬Kp)<br/>डमेट का अंतर्ज्ञानवादी विराम बिंदु"]
        B12 -->|"शास्त्रीय दोहरा निषेध विलोपन (DNE)<br/>¬¬Kp ⊢ Kp"| B14["(14) ∀p (p → Kp)<br/>सर्वज्ञता सिद्धांत (OP)!"]
    end

5. संरचनात्मक निदान: मूर का विरोधाभास, ज्ञानमीमांसीय अंधबिंदु और आकस्मिक परीक्षा विरोधाभास

1. जी.ई. मूर का विरोधाभास (1942): मूर का वाक्य «बाहर बारिश हो रही है, लेकिन मैं नहीं जानता कि बारिश हो रही है» ($p \land \neg K_a p$) सत्तामीमांसीय रूप से संगत है, किंतु प्रथम-पुरुष में अज्ञेय है। जब $K$ सभी कालों और सभी कर्ताओं पर लागू होता है, तो $(p \land \neg K p)$ एक सार्वभौमिक मूर वाक्य बन जाता है जिसके बाहर कोई प्रेक्षक नहीं हो सकता।
2. रॉय सोरेनसन के ज्ञानमीमांसीय अंधबिंदु (Blindspots, 1988): $(p \land \neg K p)$ एक ज्ञानमीमांसीय अंधबिंदु ($\Diamond\phi \land \neg\Diamond K\phi$) है: ज्ञान $K p$ प्राप्त करने की क्रिया स्वयं संसार की ज्ञानमीमांसीय स्थिति को बदल देती है और दूसरे घटक $\neg K p$ को असत्य बना देती है।
3. आकस्मिक परीक्षा विरोधाभास और गोडेल का अपूर्णता प्रमेय: आकस्मिक परीक्षा विरोधाभास में छात्र $(E_5 \land \neg K_{\text{Thu}} E_5)$ की सत्यता को गुरुवार की रात उसकी ज्ञेयता $K_{\text{Thu}}(E_5 \land \neg K_{\text{Thu}} E_5)$ के साथ मिला देते हैं। औपचारिक अंकगणित में, लोब का प्रमेय (Löb’s Theorem) प्रमाण्यता विधेय $\text{Prov}_T(\ulcorner \phi \urcorner)$ को सार्वभौमिक तथ्यात्मकता ($\text{Prov}_T(\ulcorner \phi \urcorner) \to \phi$) से रोकता है, जबकि वास्तविक ज्ञान $K$ बिना शर्त तथ्यात्मक है।

6. चार प्रमुख दार्शनिक बचाव मार्ग और उनकी कीमत

6.1 मार्ग I: माइकल डमेट और अंतर्ज्ञानवादी तर्कशास्त्र

माइकल डमेट (2001, “Victor’s Error”) और नील टेनेंट ने दिखाया कि पंक्ति (1) से (12) तक के सभी चरण अंतर्ज्ञानवादी तर्कशास्त्र (Intuitionistic Logic) में पूरी तरह वैध हैं; शास्त्रीय तर्कशास्त्र केवल पंक्ति (12) से (13) में दोहरे निषेध विलोपन (DNE: $\neg\neg K p \vdash K p$) के समय प्रयुक्त होता है। DNE को अस्वीकार करने पर निष्कर्ष यहाँ रुक जाता है:

टिमोथी विलियमसन (1982, 2000) का प्रत्यालोचना:

1. अंतर्ज्ञानवादी तर्कशास्त्र में भी पंक्ति (11) से $\vdash_{\text{Int}} \neg \exists p \, (p \land \neg K p)$ सिद्ध होता है, जिसका अर्थ है कि गैर-सर्वज्ञता सिद्धांत (NO) अंतर्ज्ञानवादी के लिए भी आत्म-विरोधाभासी (असत्य) बन जाता है!
2. निर्णायक प्रतिज्ञप्तियों ($K p \lor \neg K p$) के लिए $\neg\neg K p \vdash_{\text{Int}} K p$ अंतर्ज्ञानवादी रूप से भी वैध है, जिससे यह पुनः $p \to K p$ में ढह जाता है।

6.2 मार्ग II: नील टेनेंट का «कार्तीय प्रतिज्ञप्तियों» पर प्रतिबंध

नील टेनेंट (1997, The Taming of the Sleuth) ने KP को केवल कार्तीय प्रतिज्ञप्तियों (Cartesian Propositions) ($\text{Cartesian}(\phi) \iff K\phi \not\vdash \bot$) तक सीमित किया:

डीविडी और सोलोमन (2001) तथा विलियमसन का प्रति-उदाहरण: संयुक्त प्रतिज्ञप्ति $r \stackrel{\text{def}}{\equiv} p \land (K p \to n)$ कार्तीय है ($K r \not\vdash \bot$), किंतु $p \land \neg K p$ के अंतर्गत इसे $\text{KP}_{\text{Cart}}$ में रखने पर $\Diamond(K p \land n)$ प्राप्त होता है, जो विरोधाभास को पुनर्जीवित कर देता है!

6.3 मार्ग III: डोरोथी एजिंगटन का द्वि-आयामी मॉडल तर्कशास्त्र ($\mathcal{A}$ / @)

डोरोथी एजिंगटन (1985, “The Paradox of Knowability”, Mind) ने वास्तविकता संकारक $\mathcal{A}$ («Actually») ($\mathcal{M}, w' \models \mathcal{A}\phi \iff \mathcal{M}, w_0 \models \phi$) प्रस्तुत किया:

एक प्रति-तथ्यात्मक संभावित संसार $w'$ में कोई कर्ता बिना किसी अंतर्विरोध के जान सकता है कि वास्तविक संसार $w_0$ में $p$ सत्य है और $w_0$ में कोई भी इसे नहीं जानता ($K_{w'}(\mathcal{A} p) \land \neg \mathcal{A} K p$)। विलियमसन की आलोचना: कारणता से कटे हुए संसार $w'$ का कोई कर्ता वास्तविक संसार $w_0$ के आकस्मिक तथ्यों के बारे में आनुभविक ज्ञान कैसे प्राप्त कर सकता है?

6.4 मार्ग IV: गतिशील ज्ञानमीमांसीय तर्कशास्त्र (DEL) और सार्वजनिक घोषणा तर्कशास्त्र (PAL)

जोहान वान बेंथम (2004) ने गतिशील संकारक $[\phi!]\psi$ के माध्यम से दिखाया कि $(p \land \neg K p)$ एक «असफल सूत्र» (Unsuccessful Formula) है जो घोषित या ज्ञात होते ही स्वयं को असत्य बना देता है: $\mathcal{M}, w \models [p \land \neg K p !] \neg(p \land \neg K p)$।

  flowchart TD
    Root["फिच का ज्ञेयता विरोधाभास<br/>KP: ∀q (q → ◇Kq) + NO: ∃p (p ∧ ¬Kp) ⊢ ⊥"]

    Root --> E1["मार्ग I: अंतर्ज्ञानवादी तर्कशास्त्र<br/>(Michael Dummett / Neil Tennant)"]
    Root --> E2["मार्ग II: कार्तीय प्रतिबंध<br/>(Neil Tennant 1997)"]
    Root --> E3["मार्ग III: द्वि-आयामी मॉडल तर्कशास्त्र<br/>(Dorothy Edgington 1985)"]
    Root --> E4["मार्ग IV: गतिशील ज्ञानमीमांसीय तर्कशास्त्र PAL<br/>(Johan van Benthem 2004)"]

    E1 --> M1["तंत्र: शास्त्रीय DNE का अस्वीकार;<br/>∀p (p → ¬¬Kp) पर विराम"]
    M1 --> C1["कीमत: फिर भी ¬∃p(p ∧ ¬Kp) सिद्ध करता है,<br/>जिससे गैर-सर्वज्ञता विरोधाभासी बन जाती है"]

    E2 --> M2["तंत्र: KP केवल कार्तीय प्रतिज्ञप्तियों (Kφ ⊬ ⊥)<br/>तक सीमित; (p ∧ ¬Kp) का निषेध"]
    M2 --> C2["कीमत: r := p ∧ (Kp → n) कार्तीय है,<br/>परंतु मॉडल पतन को पुनर्जीवित करता है"]

    E3 --> M3["तंत्र: वास्तविकता संकारक A:<br/>Aφ → ◇K(Aφ); संसार w' में w0 का ज्ञान"]
    M3 --> C3["कीमत: कारणता से कटे संभावित संसारों के बीच<br/>आनुभविक ज्ञान की असंभवता"]

    E4 --> M4["तंत्र: PAL संकारक [φ!]ψ द्वारा (p ∧ ¬Kp)<br/>की आत्म-खंडनकारी अद्यतन के रूप में पहचान"]
    M4 --> C4["परिणाम: सत्य और ज्ञेयता के स्थिर<br/>समीकरण का परित्याग"]

7. तुलनात्मक तालिका और दार्शनिक निष्कर्ष

निष्कर्ष: यदि हम मानवीय ज्ञान की सीमितता ($\exists p \, (p \land \neg K p)$) को स्वीकार करते हैं, तो फिच का प्रमेय 1 ($\vdash \neg \Diamond K(p \land \neg K p)$) हमें शुद्ध तार्किक अनिवार्यता से तत्वमीमांसीय यथार्थवाद को स्वीकार करने के लिए बाध्य करता है:

संदर्भ (References)

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