🔢 mathematics

Guises and Perspectives: An Intentional and Hyperintensional Sketch

यह शोधपत्र कास्टानेडा के आंतरिकतावादी (internalist) और लाइबनिजियन दर्शन में निहित 'गिसेस' (guises) का एक औपचारिक तर्क प्रस्तुत करता है, जो एक वाक्य-रचना (syntax), मॉडल सिद्धांत (model theory) और प्रमाण सिद्धांत (proof theory) स्थापित करता है जहाँ संबंधों को बाहरी कारण संबंधी कड़ियों के बजाय गुणों के बंडलों (property bundles) के भीतर एनकोडेड इरादतन दृष्टिकोणों (intentional perspectives) के रूप में माना जाता है, जिससे हाइपरइंटेंशनल (hyperintensional) घटनाओं को संबोधित किया जा सके और शास्त्रीय इरादतन (intensional) एवं परिस्थिति अर्थविज्ञान (situation semantics) का एक विशिष्ट विकल्प प्रदान किया जा सके।

मूल लेखक: Juan J. Colomina-Alminana

प्रकाशित 2026-05-15

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Juan J. Colomina-Alminana

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

यहाँ "गुइसेस एंड पर्सपेक्टिव्स" (Guises and Guises) शोध पत्र का सरल भाषा में अनुवाद दिया गया है, जिसमें उपमाओं (analogies) का उपयोग किया गया है।

मुख्य विचार: अलग-अलग लेंसों के माध्यम से दुनिया को देखना

कल्पना कीजिए कि आप एक मूर्ति को देख रहे हैं। एक मूर्तिकार के लिए, यह "मिट्टी और औजारों का एक समूह" है। एक इतिहासकार के लिए, यह "एक साम्राज्य का प्रतीक" है। एक बच्चे के लिए, यह "एक विशाल खिलौना" है।

वास्तविक दुनिया में, यह वही मूर्ति है। लेकिन आपके मन में, यह पूरी तरह से तीन अलग चीजें है, जो इस बात पर निर्भर करती हैं कि आप इसे कैसे देख रहे हैं।

यह शोध पत्र तर्क देता है कि हमारे मन में सब कुछ इसी तरह काम करता है। हम केवल "वस्तुओं" के बारे में नहीं सोचते; हम गुइसेस (guises) के बारे में सोचते हैं। एक "गुइस" (guise) गुणों का एक विशिष्ट समूह है जो किसी वस्तु में एक विशिष्ट परिप्रेक्ष्य (perspective) के तहत होता है।

लेखक, जुआन जे. कोलोमिना-अल्मिना, यह समझाने के लिए कि ये परिप्रेक्ष्य कैसे काम करते हैं, एक गणितीय "नियम पुस्तिका" (तर्क/logic) बनाने की कोशिश कर रहे हैं। वह दो पुराने विचारों को जोड़ते हैं:

लीबनिज का "पूर्ण अवधारणा" (Complete Concept): यह विचार कि प्रत्येक वस्तु के भीतर उसके अपने "मन" में उसके बारेंे में सभी सत्य समाहित होते हैं।
कास्टानेडा का "गुइस थ्योरी" (Guise Theory): यह विचार कि यदि परिप्रेक्ष्य बदल जाता है, तो हम एक नाम को दूसरे से नहीं बदल सकते (जैसे "सुपरमैन" को "क्लार्क केंट" से), भले ही वे एक ही व्यक्ति हों।

मूल अवधारणाएं (यह "कैसे काम करता है")

1. गुइसेस "गुणों के समूह" (Property Bundles) हैं

एक गुइस को एक बैकपैक (पीठ पर लटकाने वाला थैला) की तरह समझें।

बैकपैक का कोई व्यक्ति होना ज़रूरी नहीं है; यह बस वस्तुओं का एक संग्रह है।
एक बैकपैक में हो सकता है: लाल, लंबा, बहादुर, क्रिप्टोनियन।
दूसरे बैकपैक में हो सकता है: चश्मा, सौम्य, रिपोर्टर, क्लार्क।
भले ही दोनों बैकपैक एक ही व्यक्ति (सुपरमैन/क्लार्क) के हों, वे अलग-अलग "गुइसेस" हैं क्योंकि उनके अंदर की चीजें अलग हैं।

2. इंटेंशन (Intention): "इशारा करने वाली" उंगली

यह शोध पत्र इंटेंशन (Intention) नामक एक विशेष उपकरण पेश करता है।

कल्पना कीजिए कि आपका मन एक टॉर्च है। जब आप एक बैकपैक पर रोशनी डालते हैं, तो आप उसे "इंटेंड" (intend) कर रहे होते हैं।
शोध पत्र कहता है कि संबंध (relations) (चीजें कैसे जुड़ती हैं) भौतिक रस्सियों की तरह नहीं हैं जो दो वस्तुओं को आपस में बांधती हैं। इसके बजाय, संबंध इशारा करने की तरह हैं।
यदि गुइस A (वह "लाल/बहादुर" बैकपैक) गुइस B (वह "सौम्य/रिपोर्टर" बैकपैक) की ओर इशारा करता है, तो वे आपस में संबंधित हैं क्योंकि पहला दूसरे को देखने के तरीके के कारण आंतरिक रूप से जुड़ा हुआ है। वे किसी बाहरी रस्सी से नहीं बंधे हैं; वे देखने की क्रिया द्वारा जुड़े हुए हैं।

3. "आंतरिक" बनाम "बाहरी" बहस

पुराना दृष्टिकोण (बाहरी): दो चीजें इसलिए संबंधित हैं क्योंकि उनके बीच एक भौतिक रेखा जुड़ी हुई है (जैसे फोन का तार)।
इस शोध पत्र का दृष्टिकोण (आंतरिक): दो चीजें इसलिए संबंधित हैं क्योंकि एक दूसरे के विचार को "अपने भीतर समाहित" करता है।
- उपमा: एक दर्पण की कल्पना करें। दर्पण को उस वस्तु से तार की आवश्यकता नहीं होती जिसे वह प्रतिबिंबित करता है। प्रतिबिंब दर्पण की सतह के भीतर होता है। शोध पत्र का तर्क है कि हमारे विचार दर्पणों की तरह काम करते हैं: पूरा ब्रह्मांड हमारे विशिष्ट "गुइस" या परिप्रेक्ष्य के भीतर प्रतिबिंबित होता है।

तर्क की पहेली: क्यों "सुपरमैन" हमेशा "क्लार्क केंट" नहीं होता

यह शोध पत्र एक प्रसिद्ध तार्किक समस्या को हल करता है: हम हमेशा नाम क्यों नहीं बदल सकते?

परिदृश्य: लोइस लेन सुपरमैन से प्यार करती है। लोइस लेन यह नहीं जानती कि क्लार्क केंट ही सुपरमैन है।
गलती: यदि आप कहते हैं "लोइस क्लार्क केंट से प्यार करती है," तो आप गलत हैं, भले ही सुपरमैन = क्लार्क केंट हो।
शोध पत्र का समाधान: इस तर्क में, "सुपरमैन" और "क्लार्क केंट" दो अलग-अलग गुइसेस (अलग-अलग बैकपैक) हैं।
- लोइस के मन में एक "सुपरमैन बैकपैक" है (लाल, बहादुर, उड़ने वाला)।
- उसके पास उसी तरह से "क्लार्क केंट बैकपैक" (चश्मा, रिपोर्टर) नहीं है।
- क्योंकि बैकपैक अलग हैं, आप उनके बीच उनके मन में अदला-बदली नहीं कर सकते। यह तर्क परिप्रेक्ष्य का सम्मान करता है।

तीन "प्रणालियाँ" (ब्लूप्रिंट्स)

लेखक यह दिखाने के लिए कि यह तर्क कितना लचीला है, इस तर्क के तीन अलग-अलग संस्करण बनाते हैं:

सिस्टम A (आदर्शवादी - The Idealist): यह "पूर्ण" संस्करण है। आप किसी व्यक्ति के बारे में जिसके बारे में भी सोच सकते हैं, आप उसके बारे में सोचते हैं। यह एक आदर्श दर्पण की तरह है जो सब कुछ तुरंत प्रतिबिंबित करता है। यह गणित के लिए बहुत अच्छा है, लेकिन वास्तविक मनुष्यों के लिए शायद बहुत अधिक पूर्ण है।
सिस्टम B (टेम्पलेट - The Template): यह अधिक यथार्थवादी है। कल्पना कीजिए कि आपके पास "स्टैम्प" या "टेम्पलेट" (जैसे "नायक," "खलनायक," "मित्र") का एक सीमित सेट है। आप केवल इन विशिष्ट स्टैम्प के माध्यम से लोगों को देख सकते हैं। यह तर्क को गणना करने में आसान बनाता है और यह बताता है कि मनुष्य वास्तव में कैसे सोचते हैं (हमारे पास सीमित मानसिक श्रेणियां हैं)।
सिस्टम C (प्रयोगशाला - The Lab): यह केवल चार अक्षरों (a, b, c, d) का उपयोग करके एक छोटा, ठोस उदाहरण है ताकि यह सिद्ध किया जा सके कि गणित काम करता है। यह एक टेस्ट किचन की तरह है जहाँ लेखक एक भव्य भोज परोसने से पहले यह दिखाने के लिए एक छोटा भोजन पकाते हैं कि रेसिपी काम करती है।

यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

शोध पत्र का दावा है कि यह सिद्ध करता है कि संबंध बाहरी लिंक नहीं, बल्कि आंतरिक परिप्रेक्ष्य हैं।

रूपक (Metaphor): एक नृत्य की कल्पना करें। दो नर्तक एक भौतिक श्रृंखला से नहीं जुड़े होते हैं। वे इसलिए जुड़े हुए हैं क्योंकि वे दोनों एक ही लय को देख रहे हैं और एक-दूसरे के आंतरिक कदमों के जवाब में चल रहे हैं।
परिणाम: यह शोध पत्र एक औपचारिक भाषा (एक नया प्रकार का गणित) बनाता है जो हमें तर्क के नियमों को तोड़े बिना "स्वयं," "विश्वास" और "पहचान" के बारे में बात करने की अनुमति देता है। यह मानव विचार के जटिल हिस्सों (जैसे "मैं मानता हूँ कि मैं मैं हूँ, लेकिन मुझे नहीं पता कि मेरा दोस्त मैं हूँ") को संभालता है, उन्हें टूटे हुए तर्क के बजाय अलग-अलग गुइसेस के रूप में देखता है।

एक वाक्य में सारांश

यह शोध पत्र एक गणितीय प्रणाली बनाता है जहाँ "चीजें" केवल विशिष्ट लेंसों के माध्यम से देखे जाने वाले गुणों के समूह हैं, जो यह सिद्ध करता है कि दुनिया के साथ हमारे संबंध इस बात से बनते हैं कि हम चीजों को कैसे देखते हैं (हमारे आंतरिक परिप्रेक्ष्य), न कि हमें आपस में बांधने वाली भौतिक जंजीरों से।

तकनीकी सारांश: गाइसेस और परिप्रेक्ष्य: एक इरादतन और हाइपरइंटेंशनल रेखाचित्र

समस्या विवरण
यह शोध पत्र उन तार्किक और आध्यात्मिक चुनौतियों को संबोधित करता है जो इरादतन संदर्भ (intentional reference), de se अभिवृत्तियों (attitudes), और अर्ध-सूचकांकता (quasi-indexicality) (जैसे, "वह स्वयं") के मॉडलिंग में आती हैं, जहाँ मानक विस्तारवादी प्रतिस्थापन सिद्धांत (extensional substitution principles) विफल हो जाते हैं। यह हेक्टर-नेरी कास्टानेडा के 'गाइसेस' (guises) के सिद्धांत (विशिष्ट वैचारिक प्रोफाइल्स के तहत प्रस्तुत गुणों के बंडल) और गॉटफ्रीड विल्हेम लीबनिज के आंतरिक संबंधों और विधेय समावेशन (predicate containment) के सिद्धांत का संश्लेषण करने का प्रयास करता है। मुख्य समस्या एक ऐसा औपचारिक तंत्र विकसित करना है जो संबंधों को बाहरी कारण संबंधी कड़ियों के रूप में नहीं, बल्कि एजेंटों और वस्तुओं के वैचारिक प्रोफाइल्स (गाइसेस) के भीतर एनकोडेड आंतरिक संरचनाओं के रूप में मानता है, जिससे संज्ञानात्मक महत्व को मॉडल करने के लिए आवश्यक हाइपरइंटेंशनल विशिष्टताओं को बनाए रखते हुए एक कठोर सिमेंटिक आधार बना रहे।

कार्यप्रणाली
लेखक GL (गाइज़ लॉजिक) विकसित करता है, जो एक बहु-वर्गीकृत (many-sorted) इंटेंशनल भाषा है, और इसका विस्तार GL⁺, जो एक हिल्बर्ट-शैली की प्रूफ़ प्रणाली है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

सिंटैक्स और ऑन्टोलॉजी: भाषा मार्क्स (गुणों), गाइसेस (गुणों के बंडल), प्रपोजिशन्स (गुणों के सेट), और वर्ल्ड्स (जगतों) के बीच अंतर करती है। यह एक बाइनरी इंटेंशनल ऑपरेटर $\mathcal{I}(g, \phi)$ ("गाइज़ $g$ प्रपोजिशन $\phi$ को इरादा रखता है") और एक आंतरिक संबंध ऑपरेटर $R(g, h)$ पेश करती है।
मॉडल थ्योरी: सिमेंटिक्स को संरचनाओं $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$ $M = ⟨ P, G, W, T, κ, I ⟩$ पर परिभाषित किया गया है।
- गाइसेस (Guises): मार्क्स (गुणों) के सेट हैं।
- क्लोजर ( $\kappa$ ): एक बैकग्राउंड थ्योरी $T$ द्वारा प्रेरित एक टार्स्कियन परिणाम ऑपरेटर (consequence operator) "पूर्ण अवधारणाओं" (लीबनिजियन समावेशन) को मॉडल करता है।
- वर्ल्ड्स (Worlds): maximal $T$ -consistent मार्क्स के सेट हैं।
- इंटेंशन ( $\mathcal{I}$ ): प्रत्येक गाइज़ को इरादतन प्रपोजिशन्स के परिवारों को असाइन करने वाला एक मैपिंग है।
- सत्य की शर्तें (Truth Conditions): सिंगुलर प्रेडिकेशन (singular predication) समावेशन ( $P \in \kappa(g)$ ) पर आधारित है; आंतरिक संबंध लक्ष्य गाइज़ में निहित एक इरादतन प्रपोजिशन के अस्तित्व द्वारा परिभाषित होते हैं।
स्वयंसिद्धीकरण (Axiomatization): सिस्टम में कंटेनमेंट ट्रुथ, लीबनिजियन कंटेनमेंट, और इंटेंशनल कनेक्शन के लिए स्वयंसिद्ध शामिल हैं। महत्वपूर्ण रूप से, इसमें इंटेंशन-क्लोजर एलाइनमेंट (परिणामी क्लोजर, एक्सटेंशन इनवेरिएंस, और कम्यूटेशन) के लिए सिद्धांत शामिल हैं और रिलेशनल स्वयंसिद्ध (रिफ्लेक्सिविटी, मोनोटोनिसिटी, कंडीशनल ट्रांसिटिविटी) भी शामिल हैं।
मेटाथेटिक विश्लेषण: पेपर साउंडनेस (soundness) और कैनोनिकल-मॉडल पूर्णता (completeness) के प्रमाणों का रेखाचित्र प्रस्तुत करता है। यह सिस्टम के व्यवहार का विश्लेषण करता है, विशेष रूप से हाइपरइंटेंशनलता के संबंध में, कि कैसे यह प्रतिस्थापन विफलताओं (substitution failures) को संभालता है।
सिस्टम वेरिएंट्स: लेखक तीन विशिष्ट इंस्टेंशिएशन (सिस्टम A, B, और C) विकसित करता है जो डेसिडेबिलिटी (decidability) और ट्रेक्टेबिलिटी (tractability) प्रदर्शित करने के लिए एक कैनोनिकल क्लोजर-इंटेंशन सिस्टम से लेकर टेम्पलेट-प्रतिबंधित और परिमित स्पष्ट मॉडलों तक विस्तृत हैं।

प्रमुख योगदान

औपचारिक संश्लेषण: यह शोध पत्र पहला कठोर औपचारिकीकरण प्रदान करता है जो कास्टानेडा के गाइज़ सिद्धांत को लीबनिज के कंटेनमेंट सिमेंटिक्स के साथ एकीकृत करता है। यह प्रदर्शित करता है कि रिलेशनल सत्यों को केवल बाहरी संबंधों के बजाय वैचारिक समावेशन और इरादतन संरचना से प्राप्त किया जा सकता है।
हाइपरइंटेंशनल सिमेंटिक्स: सिस्टम स्पष्ट रूप से हाइपरइंटेंशनल घटनाओं को मॉडल करता है जहाँ को-रेफरेंशियल गाइज़ (जो एक ही पूर्ण अवधारणा $\kappa(g) = \kappa(h)$ साझा करते हैं) के अलग-अलग इंटेंशन सेट ( $\mathcal{I}(g) \neq \mathcal{I}(h)$ ) हो सकते हैं। यह इरादतन संदर्भों और अर्ध-सूचकांकों (quasi-indexicals) के संज्ञानात्मक महत्व को पकड़ने के लिए प्रतिस्थापन की विफलता को सक्षम बनाता है।
परिप्रेक्ष्य के रूप में आंतरिक संबंध: ढांचा संबंधों को "आंतरिक नामकरण" (internal denominations) के रूप में पुनर्व्याख्यायित करता है। एक संबंध $R(g, h)$ तब होता है जब $g$ एक प्रपोजिशन का इरादा रखता है जो $h$ के भीतर समाहित है। यह लीबनिज के इस दृष्टिकोण के अनुरूप है कि मोनाड्स (monads) बिना किसी बाहरी खिड़की के अपने स्वयं के दृष्टिकोण से ब्रह्मांड का प्रतिनिधित्व करते हैं।
मोडल आर्किटेक्चर: संभावना और आवश्यकता को कंसिस्टेंसी और मैक्सिमल $T$ -क्लोज्ड वर्ल्ड्स में समावेश के माध्यम से मॉडल किया जाता है, जो प्रभावी रूप से एक "लीबनिजियन रेशनैशन" परत के भीतर एक गाइज़ लॉजिक बनाता है।

परिणाम

साउंडनेस और पूर्णता: पेपर मॉडल क्लॉज के निरीक्षण द्वारा साउंडनेस स्थापित करता है और एक कैनोनिकल-मॉडल पूर्णता प्रमाण का रेखाचित्र प्रस्तुत करता है। पूर्णता को उन लक्षित मॉडलों के वर्ग के लिए मान्य दिखाया गया है जो इंटेंशन-क्लोजर एलाइनमेंट सिद्धांतों (CI1–CI3) को संतुष्ट करते हैं।
डेसिडेबिलिटी: विशिष्ट खंडों के लिए—विशेष रूप से वे जो हॉर्न थ्योरीज ( $T$ ) और परिमित टेम्पलेट सेट्स ( $\Theta$ ) का उपयोग करते हैं—सिस्टम में 'फिनाइट मॉडल प्रॉपर्टी' है। प्रोपोज़ीशनल खंड को डेसिडेबल दिखाया गया है (अधिकतम PSPACE, अक्सर फॉरवर्ड चेनिंग के माध्यम से PTIME)।
De Se अभिवृत्तियों का प्रबंधन: सिस्टम एक सेल्फ-असक्रिप्शन ऑपरेटर ( $Self(g, \phi)$ ) के माध्यम से de se अभिवृत्तियों को सफलतापूर्वक औपचारिक रूप देता है, जिसे $Int(g, \phi) \land \phi \subseteq g$ के रूप में परिभाषित किया गया है, जो किसी विलक्षण वस्तु को स्थापित किए बिना आत्म-संदर्भ की रिफ्लेक्सिविटी को पुनः प्राप्त करता है।
विफलता मोड और मरम्मत: पेपर विशिष्ट विफलता मामलों (जैसे, क्लोजर और इंटेंशन का गैर-कम्यूटेशन, गैर-ट्रांजिटिव संबंध) की पहचान करता है और संज्ञानात्मक वेरिएंट्स से आदर्श लीबनिजियन एजेंटों को अलग करने के लिए स्वयंसिद्ध मरम्मत या प्रासंगिक प्रतिबंधों (जैसे, $\text{contextual restrictions}$ ) का प्रस्ताव करता है।

महत्व और दावे
शोध पत्र का दावा है कि यह एक "स्व-निहित औपचारिक ढांचा" प्रदान करता है जो "लीबनिज के प्रति आध्यात्मिक रूप से उदार" और "समकालीन तर्कशास्त्र के लिए तकनीकी रूप से पर्याप्त" है। इसका प्राथमिक महत्व यह प्रदर्शित करने में है कि:

संबंध बाहरी कारण संबंधी लिंक नहीं हैं, बल्कि गाइज़ (परिप्रेक्ष्य) में एनकोडेड इरादतन आंतरिक संरचनाएं हैं।
गाइज़ का एक लॉजिक सुरक्षित होने पर विस्तारवादी समावेशन में सत्य को बांधते हुए आवश्यक इंटेंशनल विशिष्टताओं (हाइपरइंटेंशनलिटी) को बनाए रख सकता है।
लीबनिज का "संकल्पनाओं का कैलकुलस" (calculus of concepts) इस वास्तुकला में एक नया जीवन पाता है, जहाँ समावेश, इरादा, और आवश्यकता एक एकल इरादतन प्रणाली के भाग के रूप में कार्य करते हैं।

लेखक इस कार्य को एक पद्धतिगत प्रगति के रूप में प्रस्तुत करता है, यह दिखाते हुए कि गाइज़ का एक लॉजिक कास्टानेडा द्वारा पहचाने गए सूचकांकों और एटीट्यूड असाइनमेंट की पहेलियों को प्रेडिकेट लॉजिक के कठोर सिमेंटिक आधार को छोड़े बिना हल कर सकता है। यह शोध पत्र सभी समस्याओं को हल करने का दावा नहीं करता है, बल्कि परिप्रेक्ष्य और आंतरिक संबंधों को मॉडल करने के लिए एक विशिष्ट, औपचारिक रूप से मॉडल करने योग्य पैरामीटर सेट प्रदान करता है।