मैं प्रश्न पढ़ रहा था संगति और पूर्णता स्पष्टता लग रहा है? और इसमें पहला कथन कहता है:
मैं समझता हूं कि ध्वनि से तात्पर्य है संगति।
जिसके बारे में मैं काफी हैरान था क्योंकि मुझे लगता था कि ध्वनि स्थिरता की तुलना में एक कमजोर बयान था (यानी मुझे लगता है कि सुसंगत प्रणालियों को ध्वनि होना था लेकिन मुझे लगता है कि यह सच नहीं है)। मैं अनौपचारिक परिभाषा का उपयोग कर रहा था स्कॉट आरोनसन अपने 6.045 / 18.400 पाठ्यक्रम में एमआईटी में स्थिरता और ध्वनि के लिए उपयोग कर रहा था :
- साउंडनेस = एक प्रूफ सिस्टम ध्वनि है अगर यह साबित करता है कि सभी कथन वास्तव में सच हैं (सब कुछ साबित होने वाला सत्य है)। यानी अगर ( साध्य है)( यह सच है)। तो IF (सूत्र का एक रास्ता है) तो (वह सूत्र सत्य है)
- संगति = एक सुसंगत प्रणाली कभी भी A और NOT (A) साबित नहीं होती है। तो केवल एक A या इसका नकार सही हो सकता है।
उन (शायद अनौपचारिक) परिभाषाओं को ध्यान में रखते हुए मैंने निम्न उदाहरण का निर्माण यह प्रदर्शित करने के लिए किया कि एक ऐसी प्रणाली है जो ध्वनि है लेकिन संगत नहीं है:
इसका कारण यह है कि मैंने सोचा था कि यह एक ध्वनि प्रणाली थी क्योंकि धारणा के अनुसार स्वयंसिद्ध सत्य हैं। तो ए और नॉट ए दोनों सच हैं (हाँ मुझे पता है कि बहिष्कृत मध्य का कानून शामिल नहीं है)। चूँकि एकमात्र अनुमान नियम नकार है इसलिए हमें लगता है कि हम स्वयंसिद्धों से A और A दोनों तक पहुँच सकते हैं और एक दूसरे तक नहीं पहुँच सकते। इस प्रकार, हम केवल इस प्रणाली के संबंध में सच्चे कथन तक पहुँचते हैं। हालाँकि, निश्चित रूप से सिस्टम सुसंगत नहीं है क्योंकि हम सिस्टम में एकमात्र स्टेटमेंट की उपेक्षा को साबित कर सकते हैं। इसलिए, मैंने प्रदर्शित किया है कि एक साउंड सिस्टम सुसंगत नहीं हो सकता है। यह उदाहरण गलत क्यों है? मैंने गलत क्या किया?
मेरे सिर में यह सहज रूप से समझ में आता है क्योंकि ध्वनि केवल यह कहती है कि एक बार जब हम शुरू करते हैं और स्वयंसिद्ध और बचाव नियमों को क्रैंक करते हैं तो हम केवल गंतव्यों (यानी कथनों) तक पहुंचते हैं जो कि सत्य हैं। हालांकि, यह वास्तव में नहीं कहता है कि हम किस गंतव्य तक पहुंचते हैं। हालाँकि, संगति कहती है कि हम केवल गंतव्य तक पहुँच सकते हैं जो या तो या (दोनों नहीं) दोनों तक पहुँच सकते हैं । इसलिए प्रत्येक सुसंगत प्रणाली में एक स्वयंसिद्ध के रूप में बहिष्कृत मध्य का कानून शामिल होना चाहिए, जो कि निश्चित रूप से मैंने नहीं किया था और फिर केवल अन्य स्वयंसिद्ध के रूप में एकमात्र स्वयंसिद्ध के निषेध को शामिल किया था। तो ऐसा नहीं लगता कि मैंने कुछ भी किया है, लेकिन किसी तरह कुछ गलत है?¬ अ
मुझे बस एहसास है कि यह एक समस्या हो सकती है क्योंकि मैं स्कॉट की अनौपचारिक परिभाषा का उपयोग कर रहा हूं। प्रश्न लिखने से पहले ही मैंने विकिपीडिया की जाँच कर ली थी, लेकिन उनकी परिभाषा मेरे लिए मायने नहीं रखती थी। विशेष रूप से वे कहते हैं कि हिस्सा:
प्रणाली के शब्दार्थ के संबंध में
उनका पूरा उद्धरण है:
सिस्टम में साबित किया जा सकता है कि हर सूत्र तार्किक रूप से प्रणाली के शब्दार्थ के संबंध में मान्य है।