ब्रांचिंग क्वांटिफायर

तर्कशास्त्र में, ब्रांचिंग क्वांटिफायर, जिसे हेंकिन क्वांटिफायर, सीमित आंशिक क्रमबद्ध क्वांटिफायर या गैर-रैखिक क्वांटिफायर भी कहा जाता है, एक आंशिक क्रमबद्धता है। इसका उपयोग करके वाक्यांशों को व्यक्त किया जाता है जिनमें किसी भी सामान्य क्वांटिफायर के साथ व्यक्त नहीं किया जा सकता है।

$\langle Qx_{1}\dots Qx_{n}\rangle$

क्वांटिफायर Q ∈ {∀, ∃} के बारे में, यह एक विशेष स्थिति है जो जनरलाइज़्ड क्वांटिफायर का एक रूप है। शास्त्रीय तर्क में,

क्वांटिफायर प्रत्यय पूर्वावस्था एक सरल अनुक्रम में होते हैं जिसमें चर y_m , क्वांटिफायर Q_m द्वारा बाधित होता है, और चरों के मूल्य का निर्धारण करता है। इसका अर्थ है कि एक क्वांटिफायर के संदर्भ में बाधित चर की मान्यता पर दूसरे क्वांटिफायर के संदर्भ में बाधित चर की मान्यता प्रभावित होती है।

y₁, ..., y_m−1

क्वांटिफायर्स द्वारा बाधित

Qy₁, ..., Qy_m−1

पूर्ववर्ती Q_m आंशिक रूप से क्रमबद्ध क्वांटिफायर वाले तर्क में यह सामान्य स्थिति नहीं है।

ब्रांचिंग क्वांटिफायर पहली बार 1959 में लियॉन हेंकिन के सम्मेलन पत्र में दिखाई दियाआंशिक रूप से क्रमबद्ध परिमाणीकरण की प्रणालियाँ पहले-क्रम तर्क और दूसरे-क्रम तर्क के मध्य की ताकत में मध्यवर्ती हैं। इन्हें हिंटिका और गेब्रियल सैंडू के स्वतंत्रता-अनुकूल तर्क के आधार के रूप में उपयोग किया जा रहा है।

परिभाषा और गुण

सबसे सरल हेनकिन क्वांटिफायर $Q_{H}$ है

$(Q_{H}x_{1},x_{2},y_{1},y_{2})\varphi (x_{1},x_{2},y_{1},y_{2})\equiv {\begin{pmatrix}\forall x_{1}\,\exists y_{1}\\\forall x_{2}\,\exists y_{2}\end{pmatrix}}\varphi (x_{1},x_{2},y_{1},y_{2}).$

यह (वास्तव में हेनकिन उपसर्ग वाला प्रत्येक सूत्र, न कि केवल सबसे सरल सूत्र) इसके दूसरे क्रम के स्कोलेमाइज़ेशन के बराबर है, अर्थात

$\exists f\,\exists g\,\forall x_{1}\forall x_{2}\,\varphi (x_{1},x_{2},f(x_{1}),g(x_{2})).$

यह क्वांटिफायर को परिभाषित करने के लिए भी पर्याप्त प्रभावशाली $Q_{\geq \mathbb {N} }$ के रूप में परिभाषित किया गया है:

$(Q_{\geq \mathbb {N} }x)\varphi (x)\equiv (\exists a)(Q_{H}x_{1},x_{2},y_{1},y_{2})[\varphi (a)\land (x_{1}=x_{2}\leftrightarrow y_{1}=y_{2})\land (\varphi (x_{1})\rightarrow (\varphi (y_{1})\land y_{1}\neq a))].$

इससे कई बातें सामने आती हैं, जिनमें से एक है प्रथम क्रम तर्क के साथ $Q_{H}$ की गैर-अधिविधिकता (गैर-अक्सिओमेटिज़ेबिलिटी) जिसका पहली बार एहरनफ्यूच्ट द्वारा देखा गया था। और द्वितीय क्रम तर्क के विशेषज्ञिका-१ $\Sigma _{1}^{1}$-भाग के समकालिक होने के साथ जोड़ा जा सकता है जिसे पहले 1970 में हरबर्ट एंडरटन और डब्लू. वॉको ने अलग-अलग प्रकाशित किया था।

Q_{H} के द्वारा निम्नलिखित क्वांटिफायर्स को परिभाषित किया जा सकता है: :

• राइकर्ट: "φs की संख्या ψs की संख्या से कम या उसके बराबर है"

$(Q_{L}x)(\varphi x,\psi x)\equiv \operatorname {Card} (\{x\colon \varphi x\})\leq \operatorname {Card} (\{x\colon \psi x\})\equiv (Q_{H}x_{1}x_{2}y_{1}y_{2})[(x_{1}=x_{2}\leftrightarrow y_{1}=y_{2})\land (\varphi x_{1}\rightarrow \psi y_{1})]$

• हार्टिग: φs, ψs के साथ समसंख्यक हैं

$(Q_{I}x)(\varphi x,\psi x)\equiv (Q_{L}x)(\varphi x,\psi x)\land (Q_{L}x)(\psi x,\varphi x)$

• चांग: "φs की संख्या प्रारूप के क्षेत्र से समानांतर है

$(Q_{C}x)(\varphi x)\equiv (Q_{L}x)(x=x,\varphi x)$

"हेंकिन क्वांटिफायर $Q_{H}$ स्वयं को एक प्रकार (4) लिंडस्ट्रम क्वांटिफायर के रूप में व्यक्त किया जा सकता है"

प्राकृतिक भाषाओं से संबंध

1973 में हिंटिक्का ने अपने पेपर में यह संभावना प्रस्तुत की थी कि कुछ प्राकृतिक भाषाओं में कुछ वाक्य को ब्रांचिंग क्वांटिफायर्स के तर्क में सर्वोत्तम रूप से समझा जा सकता है।, उदाहरण के लिए: "प्रत्येक ग्रामीण के कुछ रिश्तेदार और प्रत्येक शहरवासी के कुछ रिश्तेदार एक दूसरे से घृणा करते हैं", हिंटिका के अनुसार, इसकी व्याख्या इस प्रकार की जानी चाहिए:

${\begin{pmatrix}\forall x_{1}\,\exists y_{1}\\\forall x_{2}\,\exists y_{2}\end{pmatrix}}[(V(x_{1})\wedge T(x_{2}))\rightarrow (R(x_{1},y_{1})\wedge R(x_{2},y_{2})\wedge H(y_{1},y_{2})\wedge H(y_{2},y_{1}))].$

यह ज्ञात है कि इसका कोई प्रथम-क्रम तर्क समतुल्य नहीं है

1979 में जॉन बारवाइज ने एक पेपर में संभाव्य भाषा के वाक्यों के लिए ब्रांचिंग की विभिन्न अवधारणाएँ प्रस्तावित कीं। उन्होंने हिंटिक्का के वाक्यों के अभिविकल्प प्रस्तावित किए, जिनमें आंतरिक क्वांटिफायर्स भी उन्हीं क्वांटिफायर्स के विभिन्न रूपों का प्रयोग करते हैं।

बार्वाइस ने ध्यान देकर देखा कि $\Sigma _{1}^{1}$ प्रतिवाद के अंतर्गत बंद नहीं होता है। इसे देखते हुए उन्होंने एक व्यावहारिक परीक्षण भी प्रस्तावित किया कि क्या प्राकृतिक भाषा के वाक्यांश वास्तव में ब्रांचिंग क्वांटिफायर्स को सम्मिलित करते हैं, इस परीक्षण के अंतर्गत उन्होंने वाक्यों के प्राकृतिक-भाषा नकारात्मक का जांच किया, जो एक समुच्चय चर के उपर सर्वसम्भवित क्वांटिफायर का सम्मिलित करता हो

हिंटिका के प्रस्ताव को कई तर्कशास्त्रियों ने संदेह के साथ स्वीकार किया क्योंकि नीचे दिए गए जैसे कुछ प्रथम-क्रम वाक्य प्राकृतिक भाषा हिंटिका वाक्यांश को पर्याप्त रूप से प्रस्तुत करने लगे हैं।

$[\forall x_{1}\,\exists y_{1}\,\forall x_{2}\,\exists y_{2}\,\varphi (x_{1},x_{2},y_{1},y_{2})]\wedge [\forall x_{2}\,\exists y_{2}\,\forall x_{1}\,\exists y_{1}\,\varphi (x_{1},x_{2},y_{1},y_{2})]$

जहाँ

$\varphi (x_{1},x_{2},y_{1},y_{2})$

अर्थ है

$(V(x_{1})\wedge T(x_{2}))\rightarrow (R(x_{1},y_{1})\wedge R(x_{2},y_{2})\wedge H(y_{1},y_{2})\wedge H(y_{2},y_{1}))$

यद्यपि बहुत अधिक सैद्धांतिक बहस हुई, परंतु 2009 तक ऐसा नहीं हुआ कि तर्क में प्रशिक्षित छात्रों के साथ कुछ अनुभवजन्य परीक्षणों में पाया गया कि वे कई प्राकृतिक-भाषा निर्माणों के लिए ब्रांचिंग-क्वांटिफायर वाक्य के अतिरिक्त द्विदिश प्रथम-क्रम वाक्य से मेल खाने वाले प्रारूप निर्दिष्ट करने की अधिक संभावना रखते हैं। हिंटिका वाक्य से लिया गया है। उदाहरण के लिए, छात्रों को अप्रत्यक्ष द्विदलीय आरेख दिखाए गए - जिसमें वर्ग और वृत्त शीर्ष के रूप में थे - और यह बताने के लिए कहा गया कि क्या 3 से अधिक वृत्त और 3 से अधिक वर्ग रेखाओं से जुड़े हुए हैं, जैसे वाक्य आरेखों का सही वर्णन कर रहे हैं।

यह भी देखें

• खेल शब्दार्थ
• निर्भरता तर्क
• स्वतंत्रता-अनुकूल तर्क (आईएफ तर्क)
• मोस्टोव्स्की क्वांटिफ़ायर
• लिंडस्ट्रॉम क्वांटिफ़ायर
• नॉनफर्स्टऑर्डरिज़ेबिलिटी

बाहरी संबंध

• Game-theoretical quantifier at PlanetMath.