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

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


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

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

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


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