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

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


 * $$\langle Qx_1\dots Qx_n\rangle$$

क्वांटिफायर के बारे में जो Q ∈ {∀, ∃} द्वारा निर्दिष्ट किया गया है, वे विशेष रूप से सामान्यीकृत क्वांटिफायर के एक विशेष प्रकार हैं। पारंपरिक तर्क में, क्वांटिफायर प्रत्ययांश रूपांतरित करने के लिए रेखांकित विधि से व्यवस्थित होते हैं जिससे क्वांटिफायर Qm द्वारा बांधी गई चर ym का मूल्य पिछले क्वांटिफायर द्वारा बांधी गई चर के मूल्य पर निर्भर करता है।


 * y1, ..., ym−1

क्वांटिफायर से बंधा हुआ


 * Qy1, ..., Qym−1

पूर्ववर्ती Qm.सीमित या आंशिक क्रमबद्ध परिमाणन वाले तर्क में, क्वांटिफायर प्रत्ययांशों का लगातार व्यवस्थित होने का सामान्य अवधारणा नहीं होता है।

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

परिभाषा और गुण
सबसे सरल हेनकिन क्वांटिफायर $$Q_H$$ है


 * $$(Q_Hx_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_Hx_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_Lx)(\varphi x,\psi x)\equiv \operatorname{Card}(\{ x \colon\varphi x\} )\leq \operatorname{Card}(\{ x \colon\psi x\} ) \equiv (Q_Hx_1x_2y_1y_2)[(x_1=x_2 \leftrightarrow y_1=y_2) \land (\varphi x_1 \rightarrow \psi y_1)]$$


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


 * $$(Q_Ix)(\varphi x,\psi x)\equiv (Q_Lx)(\varphi x,\psi x) \land (Q_Lx)(\psi x,\varphi x)$$


 * चांग: प्रारूप के क्षेत्र के साथ φs की संख्या समतुल्य है


 * $$(Q_Cx)(\varphi x)\equiv (Q_Lx)(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.