असीम तर्क

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

यह विचार करते हुए कि क्या Ω-तर्क नामक एक निश्चित असीमित तर्क पूर्ण कथन हैं निरंतर परिकल्पना पर प्रकाश डालने के लिए।

अंकन पर एक शब्द और पसंद का स्वयंसिद्ध

चूंकि अनंत रूप से लंबे सूत्रों वाली भाषा प्रस्तुत की जा रही है, ऐसे सूत्रों को स्पष्ट रूप से लिखना संभव नहीं है। इस समस्या को हल करने के लिए कई सांकेतिक सुविधाएं, जो वास्तव में नियमानुसार भाषा का हिस्सा नहीं हैं, का उपयोग किया जाता है। $\cdots$ एक अभिव्यक्ति को संकेत करने के लिए प्रयोग किया जाता है जो असीम रूप से लंबा है। जहां यह स्पष्ट नहीं है, अनुक्रम की लंबाई बाद में नोट की जाती है। जहाँ यह अंकन अस्पष्ट या भ्रामक हो जाता है, वहाँ प्रत्यय जैसे $\bigvee _{\gamma <\delta }{A_{\gamma }}$ प्रमुखता के सूत्रों के एक सेट पर एक अनंत तार्किक संयोजन को संकेत करने के लिए उपयोग किया जाता है $\delta$. उदाहरण के लिए मात्रात्मक पर एक ही संकेतन लागू किया जा सकता है $\forall _{\gamma <\delta }{V_{\gamma }:}$. यह मात्रात्मक के अनंत अनुक्रम का प्रतिनिधित्व करने के लिए है: प्रत्येक के लिए मात्रात्मक $V_{\gamma }$जहां $\gamma <\delta$.

प्रत्यय के सभी उपयोग और $\cdots$ औपचारिक अनंत भाषाओं का हिस्सा नहीं हैं।

चयन का स्वयंसिद्ध माना जाता है (जैसा कि अनंत तर्क पर चर्चा करते समय अक्सर किया जाता है) क्योंकि उचित वितरण कानूनों के लिए यह आवश्यक है।

हिल्बर्ट-टाइपअसीमित तर्क की परिभाषा

एक प्रथम-क्रम अनंत भाषा L_α,β, α नियमित , β = 0 या ω ≤ β ≤ α, एक परिमित तर्क के रूप में प्रतीकों का एक ही सेट है और कुछ अतिरिक्त लोगों के साथ एक परिमित तर्क के सूत्रों के निर्माण के लिए सभी नियमों का उपयोग कर सकता है:

• सूत्रों का एक सेट दिया $A=\{A_{\gamma }|\gamma <\delta <\alpha \}$ तब $(A_{0}\lor A_{1}\lor \cdots )$ और $(A_{0}\land A_{1}\land \cdots )$ सूत्र हैं। (प्रत्येक मामले में अनुक्रम की लंबाई होती है $\delta$.)
• चर का एक सेट दिया $V=\{V_{\gamma }|\gamma <\delta <\beta \}$ और एक सूत्र $A_{0}$ तब $\forall V_{0}:\forall V_{1}\cdots (A_{0})$ और $\exists V_{0}:\exists V_{1}\cdots (A_{0})$ सूत्र हैं। (प्रत्येक मामले में मात्रात्मक के अनुक्रम की लंबाई होती है $\delta$.)

मुक्त और परिबद्ध चरों की संकल्पनाएँ उसी प्रकार से अनंत सूत्रों पर लागू होती हैं। ठीक वैसे ही जैसे परिमित तर्क में, एक सूत्र जिसके सभी चर बंधे होते हैं उसे वाक्य कहा जाता है।

अनंत भाषा में एक सिद्धांत (गणितीय तर्क) T $L_{\alpha ,\beta }$ तर्क में वाक्यों का एक समूह है। एक सिद्धांत T से असीम तर्क में एक प्रमाण कथनो का एक (संभवतः अनंत) अनुक्रम है जो निम्नलिखित शर्तों का पालन करता है: प्रत्येक कथन या तो एक तार्किक स्वयंसिद्ध है,T का एक तत्व है, या अनुमान के नियम का उपयोग करके पिछले कथनो से निकाला जाता है। पहले की तरह, परिमित तर्क में परिणाम के सभी नियमों का उपयोग एक अतिरिक्त के साथ किया जा सकता है:

• कथनो का एक सेट दिया $A=\{A_{\gamma }|\gamma <\delta <\alpha \}$ जो पहले प्रमाण में हुआ हो फिर कथन $\land _{\gamma <\delta }{A_{\gamma }}$ यह निष्कर्ष निकाला जा सकता है।

असीम तर्क के लिए विशिष्ट तार्किक स्‍वयंसिद्ध स्कीमेता नीचे प्रस्तुत किया गया है। वैश्विक स्कीमेता चर: $\delta$ और $\gamma$ ऐसा है कि $0<\delta <\alpha$.

• $((\land _{\epsilon <\delta }{(A_{\delta }\implies A_{\epsilon })})\implies (A_{\delta }\implies \land _{\epsilon <\delta }{A_{\epsilon }}))$
• प्रत्येक के लिए $\gamma <\delta$, $((\land _{\epsilon <\delta }{A_{\epsilon }})\implies A_{\gamma })$
• चांग के वितरण नियम (प्रत्येक के लिए $\gamma$): $(\lor _{\mu <\gamma }{(\land _{\delta <\gamma }{A_{\mu ,\delta }})})$, कहाँ $\forall \mu \forall \delta \exists \epsilon <\gamma :A_{\mu ,\delta }=A_{\epsilon }$ या $A_{\mu ,\delta }=\neg A_{\epsilon }$, और $\forall g\in \gamma ^{\gamma }\exists \epsilon <\gamma :\{A_{\epsilon },\neg A_{\epsilon }\}\subseteq \{A_{\mu ,g(\mu )}:\mu <\gamma \}$
• के लिए $\gamma <\alpha$, $((\land _{\mu <\gamma }{(\lor _{\delta <\gamma }{A_{\mu ,\delta }})})\implies (\lor _{\epsilon <\gamma ^{\gamma }}{(\land _{\mu <\gamma }{A_{\mu ,\gamma _{\epsilon }(\mu )})}}))$, कहाँ $\{\gamma _{\epsilon }:\epsilon <\gamma ^{\gamma }\}$ का एक अच्छा क्रम है $\gamma ^{\gamma }$

अंतिम दो स्‍वयंसिद्ध स्कीमेता को पसंद के स्‍वयंसिद्ध की आवश्यकता होती है क्योंकि कुछ सेट अच्छी तरह से व्यवस्थित होने चाहिए। अंतिम स्वयंसिद्ध आकार सख्ती से अनावश्यक कथन है, जैसा कि चांग के वितरण नियम का अर्थ है, हालांकि इसे तर्क को प्राकृतिक शिथिलन की अनुमति देने के प्राकृतिक तरीके के रूप में शामिल किया गया है।

पूर्णता, सम्पूर्णता, और मजबूत पूर्णता

एक सिद्धांत वाक्यों का कोई सेट है। मॉडलों में कथनो की सच्चाई प्रतिवर्तन द्वारा परिभाषित की जाती है और अंतिम तर्क के लिए परिभाषा से सहमत होगी जहां दोनों परिभाषित हैं। एक सिद्धांत T दिए जाने पर एक वाक्य को सिद्धांत T के लिए मान्य है यदि यह T के सभी मॉडलों में सत्य है।

भाषा में एक तर्क $L_{\alpha ,\beta }$ यदि प्रत्येक मॉडल में मान्य प्रत्येक वाक्य S के लिए S का प्रमाण मौजूद है तो यह पूर्ण है। यह पूरी तरह से पूर्ण है यदि किसी भी सिद्धांत के लिए T में मान्य प्रत्येक वाक्य S के लिए T से S का प्रमाण है। दृढ़ता से पूर्ण हुए बिना एक असीम तर्क पूर्ण हो सकता है।

एक हिंज $\kappa \neq \omega$ कमजोर रूप से सघन हिंज है जब प्रत्येक सिद्धांत T के लिए $L_{\kappa ,\kappa }$ अधिक से अधिक युक्त $\kappa$ कई सूत्र, यदि प्रत्येक S $\subseteq$ गणनांक T का T से कम $\kappa$ एक मॉडल है, तो T का एक मॉडल है। एक हिंज $\kappa \neq \omega$ दृढ़ता से सघन हिंज है जब प्रत्येक सिद्धांत T के लिए $L_{\kappa ,\kappa }$, आकार पर प्रतिबंध के बिना, यदि प्रत्येक S $\subseteq$ गणनांक T का T से कम $\kappa$ एक मॉडल है, तो T का एक मॉडल है।

असीम तर्क में अभिव्यक्त अवधारणाएँ

सिद्धांत की भाषा में निम्नलिखित कथन नींव व्यक्त करता है

$\forall _{\gamma <\omega }{V_{\gamma }:}\neg \land _{\gamma <\omega }{V_{\gamma +}\in V_{\gamma }}.\,$

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

पूर्णअसीमित तर्क

दो असीमित तर्क अपनी संपूर्णता में स्पष्ट दिखाई देते हैं। ये तर्क हैं $L_{\omega ,\omega }$ और $L_{\omega _{1},\omega }$. पूर्व मानक अंतिम प्रथम-क्रम तर्क है और बाद वाला एक असीम तर्क है जो केवल गणनीय आकार के कथनो की अनुमति देता है।

तर्क $L_{\omega ,\omega }$ दृढ़ता से पूर्ण, सघन और दृढ़ता से सघन है।

तर्क $L_{\omega _{1},\omega }$ सघन होने में विफल रहता है, लेकिन यह पूर्ण है (ऊपर दिए गए सिद्धांतों के तहत)। इसके अलावा, यह क्रेग प्रक्षेप गुण के एक प्रकार को संतुष्ट करता है।

अगर तर्क $L_{\alpha ,\alpha }$ दृढ़ता से पूर्ण है (ऊपर दिए गए स्वयंसिद्धों के तहत) तब $\alpha$ दृढ़ता से सघन है (क्योंकि इन तर्क में प्रमाण का उपयोग नहीं किया जा सकता है $\alpha$ या दिए गए स्वयंसिद्धों में से अधिक)।

संदर्भ

• Karp, Carol R. (1964), Languages with expressions of infinite length, Amsterdam: North-Holland Publishing Co., MR 0176910
• Barwise, Kenneth Jon (1969), "Infinitary logic and admissible sets", Journal of Symbolic Logic, 34 (2): 226–252, doi:10.2307/2271099, JSTOR 2271099, MR 0406760, S2CID 38740720