उच्च-क्रम तर्क: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Formal system of logic}}
{{Short description|Formal system of logic}}
गणित और [[तर्क]] में, '''उच्च-क्रम तर्क''' [[विधेय तर्क]] का एक रूप है जो अतिरिक्त [[Index.php?title=परिमाणीकरण|परिमाणीकरण]] और कभी-कभी, तर्क के मजबूत शब्दार्थ द्वारा [[प्रथम-क्रम तर्क]] से अलग होता है। अपने मानक शब्दार्थ के साथ उच्च-क्रम तर्क अधिक अभिव्यंजक हैं, लेकिन उनके [[Index.php?title=मॉडल सैद्धांतिक|मॉडल सैद्धांतिक]] गुण पहले-क्रम तर्क की तुलना में कम अच्छे व्यवहार वाले हैं।
अंक शास्त्र और [[तर्क]] में, '''उच्च-क्रम तर्क''' [[विधेय तर्क]] का एक रूप है जो अतिरिक्त [[Index.php?title=परिमाणीकरण|परिमाणीकरण]] और कभी-कभी, तर्क के सुदृढ़ शब्दार्थ द्वारा [[प्रथम-क्रम तर्क]] से अलग होता है। अपने मानक शब्दार्थ के साथ उच्च-क्रम तर्क अधिक अभिव्यंजक हैं, परंतु उनके [[Index.php?title=मॉडल सैद्धांतिक|मॉडल सैद्धांतिक]] गुण पहले-क्रम तर्क की तुलना में कम अच्छे व्यवहार वाले हैं।


शब्द "उच्च-क्रम तर्क" का प्रयोग आमतौर पर उच्च-क्रम सरल विधेय तर्क के लिए किया जाता है। यहां "सरल" इंगित करता है कि अंतर्निहित प्रकार का सिद्धांत सरल प्रकारों का सिद्धांत है, जिसे प्रकारों का सरल सिद्धांत भी कहा जाता है। [[लियोन च्विस्टेक]] और फ्रैंक पी. रैमसे ने इसे [[अल्फ्रेड नॉर्थ व्हाइटहेड]] और [[बर्ट्रेंड रसेल]] द्वारा ''[[गणितीय सिद्धांत]]'' में निर्दिष्ट प्रकारों के जटिल और अनाड़ी व्यापक सिद्धांत के सरलीकरण के रूप में प्रस्तावित किया है। सरल प्रकार का अर्थ कभी-कभी बहुरूपी और [[Index.php?title=आश्रित प्रकारों|आश्रित प्रकारों]] को बाहर करना भी होता है।<ref>Jacobs, 1999, chapter 5</ref>
शब्द "उच्च-क्रम तर्क" का प्रयोग सामान्यतः उच्च-क्रम सरल विधेय तर्क के लिए किया जाता है। यहां "सरल" इंगित करता है कि अंतर्निहित प्रकार का सिद्धांत सरल प्रकारों का सिद्धांत है, जिसे प्रकारों का सरल सिद्धांत भी कहा जाता है। [[लियोन च्विस्टेक]] और फ्रैंक पी. रैमसे ने इसे [[अल्फ्रेड नॉर्थ व्हाइटहेड]] और [[बर्ट्रेंड रसेल]] द्वारा ''[[Index.php?title=अंक शास्त्र सिद्धांत|अंक शास्त्र सिद्धांत]]'' में निर्दिष्ट प्रकारों के सम्मिश्र और अकृत्रिम व्यापक सिद्धांत के सरलीकरण के रूप में प्रस्तावित किया है। सरल प्रकार का अर्थ कभी-कभी बहुरूपी और [[Index.php?title=आश्रित प्रकारों|आश्रित प्रकारों]] को बाहर करना भी होता है।<ref>Jacobs, 1999, chapter 5</ref>




== परिमाणीकरण का दायरा ==
== परिमाणीकरण का क्षेत्र ==
{{redirect|
{{redirect|
आदेशित तर्क|रैखिक तर्क में असंबंधित शब्द|नॉनकम्यूटेटिव तर्क}}
आदेशित तर्क|रैखिक तर्क में असंबंधित शब्द|नॉनकम्यूटेटिव तर्क}}


प्रथम-क्रम तर्क केवल उन चरों की मात्रा निर्धारित करता है जो व्यक्तियों से भिन्न होते हैं; इसके अलावा, [[दूसरे क्रम का तर्क]], सेटों की मात्रा भी निर्धारित करता है; तीसरे क्रम का तर्क भी सेटों के सेट आदि की मात्रा निर्धारित करता है।
प्रथम-क्रम तर्क केवल उन चरों की मात्रा निर्धारित करता है जो व्यक्तियों से भिन्न होते हैं; इसके अतिरिक्त, [[दूसरे क्रम का तर्क]], सेटों की मात्रा भी निर्धारित करता है; तीसरे क्रम का तर्क भी सेटों के सेट आदि की मात्रा निर्धारित करता है।


उच्च-क्रम तर्क पहले-, दूसरे-, तीसरे-, ..., नथ-क्रम तर्क का मिलन है; यानी, उच्च-क्रम तर्क उन सेटों पर परिमाणीकरण को स्वीकार करता है जो मनमाने ढंग से गहराई से निहित होते हैं।
उच्च-क्रम तर्क पहले-, दूसरे-, तीसरे-, ..., नथ-क्रम तर्क का मिलन है; अर्थात्, उच्च-क्रम तर्क उन सेटों पर परिमाणीकरण को स्वीकार करता है जो मनमाने ढंग से गहराई से निहित होते हैं।


== शब्दार्थ ==
== शब्दार्थ ==
उच्च-क्रम तर्क के लिए दो संभावित शब्दार्थ हैं।
उच्च-क्रम तर्क के लिए दो संभावित शब्दार्थ हैं।


मानक या पूर्ण शब्दार्थ में, उच्च-प्रकार की वस्तुओं पर क्वांटिफायर उस प्रकार की सभी संभावित वस्तुओं पर आधारित होते हैं। उदाहरण के लिए, व्यक्तियों के समूह पर एक परिमाणक व्यक्तियों के समूह की संपूर्ण शक्ति समूह पर निर्भर करता है। इस प्रकार, मानक शब्दार्थ में, एक बार व्यक्तियों का सेट निर्दिष्ट हो जाने पर, यह सभी परिमाणकों को निर्दिष्ट करने के लिए पर्याप्त है। मानक शब्दार्थ के साथ एचओएल प्रथम-क्रम तर्क की तुलना में अधिक अभिव्यंजक है। उदाहरण के लिए, एचओएल [[प्राकृतिक संख्या]]ओं और [[Index.php?title=वास्तविक संख्याओं|वास्तविक संख्याओं]] के श्रेणीबद्ध स्वयंसिद्धीकरण को स्वीकार करता है, जो प्रथम-क्रम तर्क के साथ असंभव है। हालाँकि, कर्ट गोडेल के परिणाम के अनुसार, मानक शब्दार्थ के साथ एचओएल एक प्रभावी, ठोस और पूर्ण प्रमाण कलन को स्वीकार नहीं करता है।<ref>Shapiro 1991, p.&nbsp;87.</ref> मानक शब्दार्थ के साथ एचओएल के मॉडल-सैद्धांतिक गुण भी प्रथम-क्रम तर्क की तुलना में अधिक जटिल हैं। उदाहरण के लिए, दूसरे क्रम के तर्क की लोवेनहेम संख्या पहले [[मापने योग्य कार्डिनल]] से पहले से ही बड़ी है, यदि ऐसा कोई कार्डिनल मौजूद है।<ref>[[Menachem Magidor]] and [[Jouko Väänänen]]. "[http://www.math.helsinki.fi/logic/people/jouko.vaananen/JV96.pdf On Löwenheim-Skolem-Tarski numbers for extensions of first order logic]", Report No. 15 (2009/2010) of the Mittag-Leffler Institute.</ref> इसके विपरीत, प्रथम-क्रम तर्क की लोवेनहेम संख्या ℵ0 है, जो सबसे छोटा अनंत कार्डिनल है।
मानक या पूर्ण शब्दार्थ में, उच्च-प्रकार की वस्तुओं पर परिमाणवाचक उस प्रकार की सभी संभावित वस्तुओं पर आधारित होते हैं। उदाहरण के लिए, व्यक्तियों के समूह पर एक परिमाणक व्यक्तियों के समूह की संपूर्ण शक्ति समूह पर निर्भर करता है। इस प्रकार, मानक शब्दार्थ में, एक बार व्यक्तियों का सेट निर्दिष्ट हो जाने पर, यह सभी परिमाणकों को निर्दिष्ट करने के लिए पर्याप्त है। मानक शब्दार्थ के साथ HOL प्रथम-क्रम तर्क की तुलना में अधिक अभिव्यंजक है। उदाहरण के लिए, HOL [[Index.php?title=प्राकृतिक संख्याओं|प्राकृतिक संख्याओं]] और [[Index.php?title=वास्तविक संख्याओं|वास्तविक संख्याओं]] के श्रेणीबद्ध स्वयंसिद्धीकरण को स्वीकार करता है, जो प्रथम-क्रम तर्क के साथ असंभव है। चूंकि, कर्ट गोडेल के परिणाम के अनुसार, मानक शब्दार्थ के साथ HOL एक प्रभावी, ठोस और पूर्ण प्रमाण कलन को स्वीकार नहीं करता है।<ref>Shapiro 1991, p.&nbsp;87.</ref> मानक शब्दार्थ के साथ HOL के मॉडल-सैद्धांतिक गुण भी प्रथम-क्रम तर्क की तुलना में अधिक सम्मिश्र हैं। उदाहरण के लिए, दूसरे क्रम के तर्क की लोवेनहेम संख्या पहले [[मापने योग्य कार्डिनल]] से पहले से ही बड़ी है, यदि ऐसा कोई प्रमुख सम्मलित है।<ref>[[Menachem Magidor]] and [[Jouko Väänänen]]. "[http://www.math.helsinki.fi/logic/people/jouko.vaananen/JV96.pdf On Löwenheim-Skolem-Tarski numbers for extensions of first order logic]", Report No. 15 (2009/2010) of the Mittag-Leffler Institute.</ref> इसके विपरीत, प्रथम-क्रम तर्क की लोवेनहेम संख्या ℵ0 है, जो सबसे छोटा अनंत प्रमुख है।


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


== गुण ==
== गुण ==
उच्च-क्रम तर्कशास्त्र में [[अलोंजो चर्च]] के प्रकार के सरल सिद्धांत की शाखाएं शामिल हैं<ref name="church">[[Alonzo Church]], [https://www.jstor.org/stable/2266170 ''A formulation of the simple theory of types''], [[The Journal of Symbolic Logic]] 5(2):56&ndash;68 (1940)</ref> और अंतर्ज्ञानवादी प्रकार के सिद्धांत के विभिन्न रूप। जेरार्ड ह्यूएट ने दिखाया है कि एकीकरण (कंप्यूटर विज्ञान)#उच्च-क्रम एकीकरण अंतर्ज्ञानवादी प्रकार के सिद्धांत में [[अनिर्णीत समस्या]] है|तीसरे क्रम के तर्क का प्रकार-सैद्धांतिक स्वाद,<ref>{{cite journal |last=Huet |first=Gérard P. |date=1973 |title=तीसरे क्रम के तर्क में एकीकरण की अनिश्चितता|journal=[[Information and Control]] |doi=10.1016/s0019-9958(73)90301-x |volume=22 |issue=3 |pages=257–267 |doi-access=free }}</ref><ref>{{cite thesis |type=Ph.D. |last=Huet |first=Gérard |date=Sep 1976 |title=Resolution d'Equations dans des Langages d'Ordre 1,2,...ω |language=French |publisher=Universite de Paris VII|URL=https://www.researchgate.net/publication/213879499_Resolution_d'equations_dans_les_langages_d'ordre_1_2_omega}}</ref><ref>{{cite journal | url=http://www.sciencedirect.com/science/article/pii/0304397581900402/pdf?md5=ebe7687d034498bb76c4ea9c5df56f84&pid=1-s2.0-0304397581900402-main.pdf | author=Warren D. Goldfarb | title=द्वितीय-क्रम एकीकरण समस्या की अनिर्णयता| journal=[[Theoretical Computer Science (journal)|Theoretical Computer Science]] | volume=13 | pages=225&ndash;230 | year=1981 }}</ref><ref>{{cite book |last=Huet |first=Gérard |date=2002 |editor1-last=Carreño |editor1-first=V. |editor2-last=Muñoz |editor2-first=C. |editor3-last=Tahar |editor3-first=S. |chapter=Higher Order Unification 30 years later |title=Proceedings, 15th International Conference TPHOL |volume=2410 |pages=3–12 |publisher=Springer |series=LNCS |chapter-url=http://pauillac.inria.fr/~huet/PUBLIC/Hampton.pdf }}</ref> यानी, यह तय करने के लिए कोई एल्गोरिदम नहीं हो सकता है कि दूसरे क्रम (उच्च क्रम के मनमाने ढंग से) शब्दों के बीच एक मनमाना समीकरण का कोई समाधान है या नहीं।
उच्च-क्रम तर्कशास्त्र में [[Index.php?title=चर्च|चर्च]] के प्रकार के सरल सिद्धांत की शाखाएं<ref name="church">[[Alonzo Church]], [https://www.jstor.org/stable/2266170 ''A formulation of the simple theory of types''], [[The Journal of Symbolic Logic]] 5(2):56&ndash;68 (1940)</ref> और अंतर्ज्ञानवादी प्रकार के सिद्धांत के विभिन्न रूप सम्मलित हैं। जेरार्ड ह्यूएट ने दिखाया है कि तीसरे क्रम के तर्क के एक प्रकार-सैद्धांतिक स्वाद में [[अनिर्णीत समस्या]] है,<ref>{{cite journal |last=Huet |first=Gérard P. |date=1973 |title=तीसरे क्रम के तर्क में एकीकरण की अनिश्चितता|journal=[[Information and Control]] |doi=10.1016/s0019-9958(73)90301-x |volume=22 |issue=3 |pages=257–267 |doi-access=free }}</ref><ref>{{cite thesis |type=Ph.D. |last=Huet |first=Gérard |date=Sep 1976 |title=Resolution d'Equations dans des Langages d'Ordre 1,2,...ω |language=French |publisher=Universite de Paris VII|URL=https://www.researchgate.net/publication/213879499_Resolution_d'equations_dans_les_langages_d'ordre_1_2_omega}}</ref><ref>{{cite journal | url=http://www.sciencedirect.com/science/article/pii/0304397581900402/pdf?md5=ebe7687d034498bb76c4ea9c5df56f84&pid=1-s2.0-0304397581900402-main.pdf | author=Warren D. Goldfarb | title=द्वितीय-क्रम एकीकरण समस्या की अनिर्णयता| journal=[[Theoretical Computer Science (journal)|Theoretical Computer Science]] | volume=13 | pages=225&ndash;230 | year=1981 }}</ref><ref>{{cite book |last=Huet |first=Gérard |date=2002 |editor1-last=Carreño |editor1-first=V. |editor2-last=Muñoz |editor2-first=C. |editor3-last=Tahar |editor3-first=S. |chapter=Higher Order Unification 30 years later |title=Proceedings, 15th International Conference TPHOL |volume=2410 |pages=3–12 |publisher=Springer |series=LNCS |chapter-url=http://pauillac.inria.fr/~huet/PUBLIC/Hampton.pdf }}</ref> अर्थात्, यह तय करने के लिए कोई एल्गोरिदम नहीं हो सकता है कि दूसरे क्रम के बीच एक मनमाना समीकरण है या नहीं शब्दों का एक समाधान है।
 
समरूपता की एक निश्चित धारणा तक, पावरसेट ऑपरेशन दूसरे क्रम के तर्क में निश्चित है। इस अवलोकन का उपयोग करते हुए, [[जाक्को हिन्तिक्का]] ने 1955 में स्थापित किया कि दूसरे क्रम का तर्क इस अर्थ में उच्च-क्रम तर्क का अनुकरण कर सकता है कि उच्च-क्रम तर्क के प्रत्येक सूत्र के लिए, कोई दूसरे-क्रम तर्क में इसके लिए एक समतुल्य सूत्र पा सकता है।<ref>[http://plato.stanford.edu/entries/logic-higher-order/#4|SEP entry on HOL]</ref>
 
शब्द "उच्च-क्रम तर्क" को कुछ संदर्भ में [[Index.php?title=शास्त्रीय|शास्त्रीय]] उच्च-क्रम तर्क के संदर्भ में माना जाता है। चूंकि, [[Index.php?title=मोडल|मोडल]] उच्च-क्रम तर्क का भी अध्ययन किया गया है। कई तर्कशास्त्रियों के अनुसार, गोडेल के सत्तामूलक प्रमाण का ऐसे संदर्भ में सबसे अच्छा अध्ययन किया जाता है।<ref name="Fitting2002">{{cite book |last=Fitting |first=Melvin |authorlink=Melvin Fitting |date=2002 |title=Types, Tableaus, and Gödel's God |publisher=Springer Science & Business Media |isbn=978-1-4020-0604-3 |page=139 |quote=Godel's argument is modal and at least second-order, since in his definition of God there is an explicit quantification over properties. [...] [AG96] showed that one could view a part of the argument not as second-order, but as third-order.}}</ref>


समरूपता की एक निश्चित धारणा तक, पावरसेट ऑपरेशन दूसरे क्रम के तर्क में निश्चित है। इस अवलोकन का उपयोग करते हुए, [[जाक्को हिन्तिक्का]] ने 1955 में स्थापित किया कि दूसरे क्रम का तर्क इस अर्थ में उच्च-क्रम तर्क का अनुकरण कर सकता है कि उच्च-क्रम तर्क के प्रत्येक सूत्र के लिए, दूसरे क्रम के तर्क में इसके लिए एक समतुल्यता सूत्र पाया जा सकता है।<ref>[http://plato.stanford.edu/entries/logic-higher-order/#4|SEP entry on HOL]</ref>
उच्च-क्रम तर्क शब्द को कुछ संदर्भों में [[शास्त्रीय तर्क]] उच्च-क्रम तर्क के संदर्भ में ग्रहण किया जाता है। हालाँकि, [[मोडल तर्क]] उच्च-क्रम लॉजिक का भी अध्ययन किया गया है। कई तर्कशास्त्रियों के अनुसार, गोडेल के ऑन्टोलॉजिकल प्रमाण का ऐसे संदर्भ में (तकनीकी दृष्टिकोण से) सबसे अच्छा अध्ययन किया जाता है।<ref name="Fitting2002">{{cite book |last=Fitting |first=Melvin |authorlink=Melvin Fitting |date=2002 |title=Types, Tableaus, and Gödel's God |publisher=Springer Science & Business Media |isbn=978-1-4020-0604-3 |page=139 |quote=Godel's argument is modal and at least second-order, since in his definition of God there is an explicit quantification over properties. [...] [AG96] showed that one could view a part of the argument not as second-order, but as third-order.}}</ref>




Line 66: Line 68:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: विधेय तर्क]] [[Category: औपचारिक तर्क की प्रणाली]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Missing redirects]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:औपचारिक तर्क की प्रणाली]]
[[Category:विधेय तर्क]]

Latest revision as of 09:45, 27 July 2023

अंक शास्त्र और तर्क में, उच्च-क्रम तर्क विधेय तर्क का एक रूप है जो अतिरिक्त परिमाणीकरण और कभी-कभी, तर्क के सुदृढ़ शब्दार्थ द्वारा प्रथम-क्रम तर्क से अलग होता है। अपने मानक शब्दार्थ के साथ उच्च-क्रम तर्क अधिक अभिव्यंजक हैं, परंतु उनके मॉडल सैद्धांतिक गुण पहले-क्रम तर्क की तुलना में कम अच्छे व्यवहार वाले हैं।

शब्द "उच्च-क्रम तर्क" का प्रयोग सामान्यतः उच्च-क्रम सरल विधेय तर्क के लिए किया जाता है। यहां "सरल" इंगित करता है कि अंतर्निहित प्रकार का सिद्धांत सरल प्रकारों का सिद्धांत है, जिसे प्रकारों का सरल सिद्धांत भी कहा जाता है। लियोन च्विस्टेक और फ्रैंक पी. रैमसे ने इसे अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल द्वारा अंक शास्त्र सिद्धांत में निर्दिष्ट प्रकारों के सम्मिश्र और अकृत्रिम व्यापक सिद्धांत के सरलीकरण के रूप में प्रस्तावित किया है। सरल प्रकार का अर्थ कभी-कभी बहुरूपी और आश्रित प्रकारों को बाहर करना भी होता है।[1]


परिमाणीकरण का क्षेत्र

"आदेशित तर्क" redirects here. For रैखिक तर्क में असंबंधित शब्द, see नॉनकम्यूटेटिव तर्क.

प्रथम-क्रम तर्क केवल उन चरों की मात्रा निर्धारित करता है जो व्यक्तियों से भिन्न होते हैं; इसके अतिरिक्त, दूसरे क्रम का तर्क, सेटों की मात्रा भी निर्धारित करता है; तीसरे क्रम का तर्क भी सेटों के सेट आदि की मात्रा निर्धारित करता है।

उच्च-क्रम तर्क पहले-, दूसरे-, तीसरे-, ..., नथ-क्रम तर्क का मिलन है; अर्थात्, उच्च-क्रम तर्क उन सेटों पर परिमाणीकरण को स्वीकार करता है जो मनमाने ढंग से गहराई से निहित होते हैं।

शब्दार्थ

उच्च-क्रम तर्क के लिए दो संभावित शब्दार्थ हैं।

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

हेनकिन शब्दार्थ में, प्रत्येक उच्च-क्रम प्रकार के लिए प्रत्येक व्याख्या में एक अलग डोमेन सम्मलित किया गया है। इस प्रकार, उदाहरण के लिए, व्यक्तियों के समूह पर परिमाणक व्यक्तियों के समूह की शक्तियों के केवल एक उपसमूह तक ही सीमित हो सकते हैं। इन शब्दार्थों के साथ HOL प्रथम-क्रम तर्क से अधिक ठोस होने के अतिरिक्त, कई-क्रमबद्ध प्रथम-क्रम तर्क के बराबर है। विशेष रूप से, हेनकिन शब्दार्थ के साथ HOL में प्रथम-क्रम तर्क के सभी मॉडल-सैद्धांतिक गुण हैं, और प्रथम-क्रम तर्क से विरासत में मिली एक पूर्ण, ठोस, प्रभावी प्रमाण प्रणाली है।

गुण

उच्च-क्रम तर्कशास्त्र में चर्च के प्रकार के सरल सिद्धांत की शाखाएं[4] और अंतर्ज्ञानवादी प्रकार के सिद्धांत के विभिन्न रूप सम्मलित हैं। जेरार्ड ह्यूएट ने दिखाया है कि तीसरे क्रम के तर्क के एक प्रकार-सैद्धांतिक स्वाद में अनिर्णीत समस्या है,[5][6][7][8] अर्थात्, यह तय करने के लिए कोई एल्गोरिदम नहीं हो सकता है कि दूसरे क्रम के बीच एक मनमाना समीकरण है या नहीं शब्दों का एक समाधान है।

समरूपता की एक निश्चित धारणा तक, पावरसेट ऑपरेशन दूसरे क्रम के तर्क में निश्चित है। इस अवलोकन का उपयोग करते हुए, जाक्को हिन्तिक्का ने 1955 में स्थापित किया कि दूसरे क्रम का तर्क इस अर्थ में उच्च-क्रम तर्क का अनुकरण कर सकता है कि उच्च-क्रम तर्क के प्रत्येक सूत्र के लिए, कोई दूसरे-क्रम तर्क में इसके लिए एक समतुल्य सूत्र पा सकता है।[9]

शब्द "उच्च-क्रम तर्क" को कुछ संदर्भ में शास्त्रीय उच्च-क्रम तर्क के संदर्भ में माना जाता है। चूंकि, मोडल उच्च-क्रम तर्क का भी अध्ययन किया गया है। कई तर्कशास्त्रियों के अनुसार, गोडेल के सत्तामूलक प्रमाण का ऐसे संदर्भ में सबसे अच्छा अध्ययन किया जाता है।[10]


यह भी देखें

टिप्पणियाँ

  1. ↑ Jacobs, 1999, chapter 5
  2. ↑ Shapiro 1991, p. 87.
  3. ↑ Menachem Magidor and Jouko Väänänen. "On Löwenheim-Skolem-Tarski numbers for extensions of first order logic", Report No. 15 (2009/2010) of the Mittag-Leffler Institute.
  4. ↑ Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic 5(2):56–68 (1940)
  5. ↑ Huet, Gérard P. (1973). "तीसरे क्रम के तर्क में एकीकरण की अनिश्चितता". Information and Control. 22 (3): 257–267. doi:10.1016/s0019-9958(73)90301-x.
  6. ↑ Huet, Gérard (Sep 1976). Resolution d'Equations dans des Langages d'Ordre 1,2,...ω (Ph.D.) (in French). Universite de Paris VII.{{cite thesis}}: CS1 maint: unrecognized language (link)
  7. ↑ Warren D. Goldfarb (1981). "द्वितीय-क्रम एकीकरण समस्या की अनिर्णयता" (PDF). Theoretical Computer Science. 13: 225–230.
  8. ↑ Huet, Gérard (2002). "Higher Order Unification 30 years later" (PDF). In Carreño, V.; Muñoz, C.; Tahar, S. (eds.). Proceedings, 15th International Conference TPHOL. LNCS. Vol. 2410. Springer. pp. 3–12.
  9. ↑ entry on HOL
  10. ↑ Fitting, Melvin (2002). Types, Tableaus, and Gödel's God. Springer Science & Business Media. p. 139. ISBN 978-1-4020-0604-3. Godel's argument is modal and at least second-order, since in his definition of God there is an explicit quantification over properties. [...] [AG96] showed that one could view a part of the argument not as second-order, but as third-order.


संदर्भ


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=उच्च-क्रम_तर्क&oldid=226531’