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

तर्क में एक शाखा परिमाणक, इसे हेनकिन क्वांटिफायर भी कहा जाता है, परिमित आंशिक रूप से ऑर्डर किया गया क्वांटिफायर या यहां तक ​​कि नॉनलाइनियर क्वांटिफायर, एक आंशिक ऑर्डरिंग है रेफरी नाम = Badia2009 >


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

Q ∈ {∀,∃} के लिए परिमाणक (तर्क)तर्क) का। यह सामान्यीकृत परिमाणक का एक विशेष मामला है। शास्त्रीय तर्क में, क्वांटिफायर उपसर्गों को रैखिक रूप से इस तरह क्रमबद्ध किया जाता है कि एक चर का मान y होmएक परिमाणक Q से बंधा हुआmचरों के मान पर निर्भर करता है


 * हाँ1, ..., औरm−1

परिमाणकों से बंधा हुआ


 * क्यू1, ..., क्यूm−1

पूर्ववर्ती प्रm. (परिमित) आंशिक रूप से क्रमबद्ध परिमाणीकरण वाले तर्क में यह सामान्य रूप से मामला नहीं है।

ब्रांचिंग परिमाणीकरण पहली बार 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$$ निषेध के तहत बंद नहीं किया गया है, बारवाइज़ ने यह निर्धारित करने के लिए एक व्यावहारिक परीक्षण का भी प्रस्ताव रखा है कि क्या प्राकृतिक भाषा के वाक्यों में वास्तव में शाखा परिमाणक शामिल हैं, अर्थात् यह परीक्षण करने के लिए कि क्या उनके प्राकृतिक-भाषा निषेध में एक निर्धारित चर पर सार्वभौमिक परिमाणीकरण शामिल है (ए) $$\Pi_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.