दृढ़ता (साउंडनेस)

[[तर्क]] में या, अधिक सटीक रूप से, निगमनात्मक तर्क, एक तर्क ध्वनि है यदि यह रूप में मान्य है और इसके परिसर सत्य हैं। ध्वनि का गणितीय तर्क में भी एक संबंधित अर्थ है, जिसमें तार्किक प्रणालियां ध्वनि होती हैं यदि और केवल तभी जब प्रणाली में सिद्ध किया जा सकने वाला प्रत्येक सूत्र प्रणाली के शब्दार्थ के संबंध में तार्किक रूप से मान्य हो।

परिभाषा
निगमनात्मक तर्क में, एक ध्वनि तर्क एक तर्क है जो मान्य है और इसके सभी परिसर सत्य हैं (और परिणामस्वरूप इसका निष्कर्ष भी सत्य है)। एक तर्क मान्य है यदि, इसके परिसरों को सत्य मानते हुए, निष्कर्ष सत्य होना चाहिए। निम्नलिखित सुप्रसिद्ध न्यायवाक्य एक ध्वनि तर्क का एक उदाहरण है:


 * (परिसर) : सभी पुरुष नश्वर हैं।
 * सुकरात एक आदमी है।
 * (निष्कर्ष) : इसलिए, सुकरात नश्वर है।

निष्कर्ष की तार्किक आवश्यकता के कारण, यह तर्क मान्य है; और इसके परिसर सत्य हैं, तर्क ध्वनि है।

हालाँकि, एक तर्क ध्वनि के बिना मान्य हो सकता है। उदाहरण के लिए:


 * सभी पक्षी उड़ सकते हैं।
 * पेंगुइन पक्षी हैं।
 * इसलिए पेंगुइन उड़ सकते हैं।

यह तर्क मान्य है क्योंकि परिसर को सत्य मानते हुए निष्कर्ष सत्य होना चाहिए। हालाँकि, पहला आधार असत्य है। सभी पक्षी उड़ नहीं सकते (उदाहरण के लिए, पेंगुइन)। एक तर्क के ध्वनि होने के लिए, तर्क को मान्य होना चाहिए और इसका परिसर सही होना चाहिए।

तार्किक प्रणाली
गणितीय तर्क में, एक तार्किक प्रणाली में ध्वनि गुण होता है यदि प्रणाली में सिद्ध किया जा सकने वाला प्रत्येक सूत्र प्रणाली के शब्दार्थ के संबंध में तार्किक रूप से मान्य हो।

अधिकतम स्थिति में, यह सत्य को संरक्षित करने की संपत्ति वाले अपने नियमों के लिए नीचे आता है। सुदृढ़ता के विलोम को पूर्णता के रूप में जाना जाता है।

किसी भी क्रम के लिए वाक्यात्मक  घटाव $$\vdash$$ और  शब्दार्थ विज्ञानम घटाव $$\models$$ के साथ एक तार्किक प्रणाली ध्वनि है $$A_1, A_2, ..., A_n$$ वाक्य का (गणितीय तर्क) अपनी भाषा में, यदि $$A_1, A_2, ..., A_n\vdash C$$, तब $$A_1, A_2, ..., A_n\models C$$. दूसरे शब्दों में, एक प्रणाली तब ध्वनि होती है जब उसके सभी प्रमेय पुनरुत्पादन होते हैं।

सुदृढ़ता गणितीय तर्क के सबसे मूलभूत गुणों में से एक है। सुदृढ़ता गुण तार्किक प्रणाली को वांछनीय मानने के लिए प्रारंभिक कारण प्रदान करता है। पूर्णता (तर्क) गुण का अर्थ है कि प्रत्येक वैधता (सत्य) साध्य है। साथ में वे कहते हैं कि सभी और केवल वैधताएं ही सिद्ध होती हैं।

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

ध्वनि गुण दो मुख्य किस्मों में आते हैं: कमजोर और मजबूत सुदृढ़ता, जिनमें से पूर्व उत्तरार्द्ध का प्रतिबंधित रूप है।

सुदृढ़ता
एक निगमनात्मक प्रणाली की सुदृढ़ता वह संपत्ति है जो उस निगमनात्मक प्रणाली में साबित होने वाला कोई भी वाक्य उस भाषा के लिए सिमेंटिक सिद्धांत की सभी व्याख्याओं या संरचनाओं पर भी सत्य है जिस पर वह सिद्धांत आधारित है। प्रतीकों में, जहाँ S निगमनात्मक प्रणाली है, L भाषा अपने सिमेंटिक सिद्धांत के साथ है, और P L का एक वाक्य है: यदि ⊢Sपी, फिर भी ⊨Lपी।

मजबूत सुदृढ़ता
डिडक्टिव सिस्टम की मजबूत सुदृढ़ता यह गुण है कि भाषा का कोई भी वाक्य P जिस पर डिडक्टिव सिस्टम आधारित है जो उस भाषा के वाक्यों के सेट Γ से व्युत्पन्न है, उस सेट का एक तार्किक परिणाम भी है, इस अर्थ में कि कोई भी मॉडल जो Γ के सभी सदस्यों को सत्य बनाता है वह P को भी सत्य बना देगा। प्रतीकों में जहां Γ एल के वाक्यों का एक सेट है: यदि Γ ⊢Sपी, फिर भी Γ ⊨Lपी। ध्यान दें कि मजबूत ध्वनि के बयान में, जब Γ खाली होता है, हमारे पास कमजोर ध्वनि का बयान होता है।

अंकगणितीय सुदृढ़ता
यदि T एक सिद्धांत है जिसके प्रवचन की वस्तुओं को प्राकृतिक संख्याओं के रूप में व्याख्या किया जा सकता है, तो हम कहते हैं कि T अंकगणितीय रूप से ध्वनि है यदि T के सभी प्रमेय वास्तव में मानक गणितीय पूर्णांकों के बारे में सत्य हैं। अधिक जानकारी के लिए, ω-सुसंगत सिद्धांत देखें।

पूर्णता से संबंध
सुदृढ़ता गुण का विलोम सिमेंटिक पूर्णता (तर्क) गुण है। सिमेंटिक थ्योरी के साथ एक डिडक्टिव सिस्टम दृढ़ता से पूर्ण होता है यदि प्रत्येक वाक्य P जो कि वाक्यों के एक सेट का सिमेंटिक परिणाम है, उस सेट से कटौती प्रणाली में प्राप्त किया जा सकता है। प्रतीकों में: जब भी Γ ⊨ P, तब भी Γ ⊢ P. प्रथम-क्रम तर्क की पूर्णता गोडेल द्वारा पहले गोडेल की पूर्णता प्रमेय थी, हालांकि कुछ मुख्य परिणाम विद्यालय  के पहले के काम में निहित थे।

अनौपचारिक रूप से, एक कटौतीत्मक प्रणाली के लिए एक ध्वनि प्रमेय व्यक्त करता है कि सभी सिद्ध वाक्य सत्य हैं। पूर्णता बताती है कि सभी सच्चे वाक्य सिद्ध होते हैं।

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

यह भी देखें

 * सुदृढ़ता (इंटरैक्टिव सबूत)

ग्रन्थसूची

 * Boolos, Burgess, Jeffrey. Computability and Logic, 4th Ed, Cambridge, 2002.
 * Boolos, Burgess, Jeffrey. Computability and Logic, 4th Ed, Cambridge, 2002.
 * Boolos, Burgess, Jeffrey. Computability and Logic, 4th Ed, Cambridge, 2002.

बाहरी संबंध

 * Validity and Soundness in the Internet Encyclopedia of Philosophy.