रिक्त सत्य

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

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

रोज़मर्रा के भाषण के सामान्य उदाहरणों में सशर्त वाक्यांशों का उपयोग असंभवता के मुहावरों की सूची के रूप में किया जाता है जैसे कि जब नर्क जम जाता है ... और जब सूअर उड़ सकते हैं ..., यह दर्शाता है कि दी गई (असंभव) शर्त पूरी होने से पहले वक्ता कुछ संबंधित को स्वीकार नहीं करेगा (आमतौर पर झूठा या बेतुका) प्रस्ताव।

शुद्ध गणित में, रिक्त रूप से सत्य कथन आम तौर पर अपने आप में दिलचस्प नहीं होते हैं, लेकिन वे अक्सर गणितीय प्रेरण द्वारा प्रमाण के आधार मामले के रूप में उत्पन्न होते हैं। इस धारणा की शुद्ध गणित के साथ-साथ शास्त्रीय तर्क का उपयोग करने वाले किसी भी अन्य क्षेत्र में प्रासंगिकता है।

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

अवधारणा का दायरा

एक बयान $S$ रिक्त रूप से सत्य है यदि यह तार्किक रूप से एक भौतिक सशर्त कथन है $P\Rightarrow Q$, जहां पूर्ववर्ती (तर्क) $P$ झूठा जाना जाता है।

इस मूल रूप (सामग्री सशर्त) में कम किए जा सकने वाले रिक्त सत्य कथनों में निम्नलिखित सार्वभौमिक परिमाणक कथन शामिल हैं:

• $\forall x:P(x)\Rightarrow Q(x)$, जहां ऐसा है $\forall x:\neg P(x)$.* $\forall x\in A:Q(x)$, जहां समुच्चय (गणित) $A$ खाली सेट है।
  • यह तार्किक रूप $\forall x\in A:Q(x)$ पूर्ववर्ती (तर्क) को आसानी से पहचानने के लिए भौतिक सशर्त रूप में परिवर्तित किया जा सकता है। उपरोक्त उदाहरण के लिए $S$ कमरे के सभी सेल फोन बंद हैं, इसे औपचारिक रूप से लिखा जा सकता है $\forall x\in A:Q(x)$ कहाँ $A$ कमरे में सभी सेल फोन का सेट है और $Q(x)$ है$x$ बंद कर दिया गया है। यह एक सामग्री सशर्त बयान के लिए लिखा जा सकता है $\forall x\in B:P(x)\Rightarrow Q(x)$ कहाँ $B$ कमरे में सभी चीजों का सेट है (सेल फोन सहित यदि वे कमरे में मौजूद हैं), पूर्ववर्ती $P(x)$ है$x$ एक सेल फोन है, और परिणामी $Q(x)$ है$x$ बंद कर दिया गया है।
• $\forall \xi :Q(\xi )$, जहां प्रतीक $\xi$ एक प्रकार (प्रकार सिद्धांत) तक सीमित है जिसका कोई प्रतिनिधि नहीं है।

द्विसंयोजक तर्क के साथ शास्त्रीय तर्क में आमतौर पर रिक्त सत्य दिखाई देते हैं। हालाँकि, रिक्त सत्य भी प्रकट हो सकते हैं, उदाहरण के लिए, अंतर्ज्ञानवादी तर्क, ऊपर दी गई स्थितियों में। दरअसल, अगर $P$ असत्य है तो $P\Rightarrow Q$ भौतिक सशर्त का उपयोग करने वाले किसी भी तर्क में एक खाली सत्य उत्पन्न करेगा; अगर $P$ एक विरोधाभास है, तो यह सख्त सशर्त के तहत एक खाली सच्चाई भी पैदा करेगा।

अन्य गैर-शास्त्रीय तर्क, जैसे कि प्रासंगिकता तर्क, वैकल्पिक शर्तों (जैसे प्रतितथ्यात्मक सशर्त के मामले) का उपयोग करके खाली सच्चाई से बचने का प्रयास कर सकते हैं।

कंप्यूटर प्रोग्रामिंग में

कई प्रोग्रामिंग परिवेशों में पूछताछ के लिए एक तंत्र होता है यदि वस्तुओं के संग्रह में प्रत्येक वस्तु कुछ भविष्यवाणी को संतुष्ट करती है। खाली संग्रह के लिए ऐसी क्वेरी का हमेशा सत्य के रूप में मूल्यांकन करना आम बात है। उदाहरण के लिए:

• जावास्क्रिप्ट में, सरणी विधि every सरणी में मौजूद प्रत्येक तत्व के लिए एक बार प्रदान किए गए कॉलबैक फ़ंक्शन को निष्पादित करता है, केवल रोकता है (यदि और जब) यह एक तत्व पाता है जहां कॉलबैक फ़ंक्शन गलत होता है। विशेष रूप से, कॉल करना every खाली सरणी पर विधि किसी भी स्थिति के लिए सही होगी।
• पायथन (प्रोग्रामिंग लैंग्वेज) में, all फ़ंक्शन रिटर्न True यदि दिए गए पुनरावर्तनीय के सभी तत्व हैं True. समारोह भी लौटता है True जब शून्य लंबाई का चलने योग्य दिया जाता है।
• जंग (प्रोग्रामिंग भाषा) में, Iterator::all फ़ंक्शन एक पुनरावर्तक और एक विधेय को स्वीकार करता है और वापस लौटता है true केवल जब विधेय वापस आता है true इटरेटर द्वारा उत्पादित सभी वस्तुओं के लिए, या यदि इटरेटर कोई आइटम नहीं बनाता है।

उदाहरण

ये उदाहरण, एक गणित से और एक प्राकृतिक भाषा से, रिक्त सत्य की अवधारणा को स्पष्ट करते हैं:

• किसी पूर्णांक x के लिए, यदि x > 5 तो x > 3। - यह कथन गैर-शून्य सत्य है (चूंकि कुछ पूर्णांक वास्तव में 5 से अधिक हैं), लेकिन इसके कुछ निहितार्थ केवल रिक्त रूप से सत्य हैं: उदाहरण के लिए, जब x पूर्णांक 2 है, तो कथन का तात्पर्य रिक्त सत्य से है कि यदि 2 > 5 फिर 2> 3।
• मेरे सभी बच्चे बकरियां हैं यह एक कोरी सच्चाई है, जब बिना बच्चों के किसी के द्वारा बोली जाती है। इसी तरह, मेरे बच्चों में से कोई भी बकरियां नहीं है, यह भी एक खाली सच्चाई होगी, जब किसी के द्वारा बच्चों के बिना (संभवतः एक ही व्यक्ति) बोला जाएगा।

यह भी देखें

• डी मॉर्गन के कानून # एक्सटेंशन | डी मॉर्गन के कानून - विशेष रूप से कानून कि एक सार्वभौमिक कथन सत्य है, अगर कोई प्रति उदाहरण मौजूद नहीं है: $\forall x\,P(x)\equiv \neg \exists x\,\neg P(x)$
• खाली राशि और खाली उत्पाद
• खाली समारोह
• भौतिक निहितार्थ के विरोधाभास, विशेष रूप से विस्फोट के सिद्धांत
• पूर्वधारणा, दोहरा प्रश्न
• मामलों की स्थिति (दर्शन)
• टॉटोलॉजी (तर्क) - एक अन्य प्रकार का सच्चा कथन जो किसी भी ठोस जानकारी को संप्रेषित करने में विफल रहता है
• तुच्छता (गणित) और अध: पतन (गणित)

ग्रन्थसूची

• Blackburn, Simon (1994). "vacuous," The Oxford Dictionary of Philosophy. Oxford: Oxford University Press, p. 388.
• David H. Sanford (1999). "implication." The Cambridge Dictionary of Philosophy, 2nd. ed., p. 420.
• Beer, Ilan; Ben-David, Shoham; Eisner, Cindy; Rodeh, Yoav (1997). "Efficient Detection of Vacuity in ACTL Formulas". Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997, Proceedings. Lecture Notes in Computer Science. Vol. 1254. pp. 279–290. doi:10.1007/3-540-63166-6_28. ISBN 978-3-540-63166-8.

बाहरी संबंध

• Conditional Assertions: Vacuous truth