Logical truth
तार्किक सत्य तर्क में सबसे बुनियादी अवधारणाओं में से एक है। मोटे तौर पर, एक तार्किक सत्य एक ऐसा कथन है जो अपने घटक प्रस्तावों की सच्चाई या झूठ की परवाह किए बिना सच है। दूसरे शब्दों में, एक तार्किक सत्य एक ऐसा कथन है जो न केवल सच है, बल्कि वह है जो अपने तार्किक घटकों (इसके तार्किक स्थिरांक के अलावा) की सभी व्याख्याओं के तहत सच है। इस प्रकार, "यदि पी, तो पी" जैसे तार्किक सत्यों को तानाशाही माना जा सकता है। तार्किक सत्य को उन कथनों का सबसे सरल मामला माना जाता है जो विश्लेषणात्मक रूप से सत्य हैं (या दूसरे शब्दों में, परिभाषा के अनुसार सत्य)। सभी दार्शनिक तर्क को तार्किक सत्य की प्रकृति के साथ-साथ तार्किक परिणाम प्रदान करने के रूप में सोचा जा सकता है। तार्किक सत्यों को आम तौर पर आवश्यक रूप से सत्य माना जाता है। इसका मतलब यह है कि वे ऐसे हैं कि ऐसी कोई स्थिति उत्पन्न नहीं हो सकती जिसमें वे सच होने में विफल हो सकें। यह दृष्टिकोण कि तार्किक कथन अनिवार्य रूप से सत्य हैं, कभी-कभी यह कहने के बराबर माना जाता है कि सभी संभावित दुनियाओं में तार्किक सत्य सत्य हैं। हालाँकि, यह सवाल कि कौन से कथन अनिवार्य रूप से सच हैं, निरंतर बहस का विषय बना हुआ है। तार्किक सत्यों, विश्लेषणात्मक सत्यों और आवश्यक सत्यों को समतुल्य मानते हुए, तार्किक सत्यों की तुलना तथ्यों से की जा सकती है (जिन्हें आकस्मिक दावे या कृत्रिम दावे भी कहा जा सकता है)। आकस्मिक सत्य इस दुनिया में सत्य हैं, लेकिन अन्यथा सामने आ सकते थे (दूसरे शब्दों में, वे कम से कम एक संभावित दुनिया में झूठे हैं)। तार्किक रूप से सच्चे प्रस्ताव जैसे "यदि पी और क्यू, तो पी" और "सभी विवाहित लोग विवाहित हैं" तार्किक सत्य हैं क्योंकि वे अपनी आंतरिक संरचना के कारण सच हैं और दुनिया के किसी भी तथ्य के कारण नहीं (जबकि "सभी विवाहित लोग खुश हैं", भले ही यह सच हो, पूरी तरह से इसकी तार्किक संरचना के आधार पर सच नहीं हो सकता है)। तर्कवादी दार्शनिकों ने सुझाव दिया है कि तार्किक सत्यों के अस्तित्व को अनुभववाद द्वारा समझाया नहीं जा सकता है, क्योंकि उनका मानना है कि अनुभववादी आधारों पर तार्किक सत्यों के हमारे ज्ञान का हिसाब देना असंभव है। अनुभववादी आमतौर पर इस आपत्ति का जवाब यह तर्क देकर देते हैं कि तार्किक सत्य (जिन्हें वे आमतौर पर केवल तानाशाही मानते हैं), विश्लेषणात्मक हैं और इस प्रकार दुनिया का वर्णन करने के लिए अभिप्रेत नहीं हैं। 20वीं शताब्दी की शुरुआत में तार्किक सकारात्मकतावादियों द्वारा बाद के दृष्टिकोण का विशेष रूप से बचाव किया गया था। तार्किक सत्य और विश्लेषणात्मक सत्य तार्किक सत्य, विश्लेषणात्मक कथन होने के कारण, तथ्य के किसी भी मामले के बारे में कोई जानकारी नहीं होती है। तार्किक सत्यों के अलावा, विश्लेषणात्मक बयानों का एक दूसरा वर्ग भी है, जिसे "कोई कुंवारा विवाहित नहीं है" द्वारा वर्गीकृत किया गया है। इस तरह के कथन की विशेषता यह है कि इसे सल्वा वेरिटेट के पर्यायवाची शब्दों को प्रतिस्थापित करके एक तार्किक सत्य में बदला जा सकता है। "अविवाहित पुरुष" के पर्यायवाची शब्द "अविवाहित पुरुष" को प्रतिस्थापित करके "अविवाहित पुरुष विवाहित नहीं है" में बदला जा सकता है। अपने निबंध टू डॉग्मास ऑफ एम्पिरिसिज्म में दार्शनिक डब्ल्यू. वी. ओ. क्वाइन ने विश्लेषणात्मक और कृत्रिम बयानों के बीच के अंतर पर सवाल उठाया। यह विश्लेषणात्मक बयानों का यह दूसरा वर्ग था जिसने उन्हें यह ध्यान में रखने के लिए प्रेरित किया कि विश्लेषणात्मकता की अवधारणा को ही स्पष्टीकरण की आवश्यकता है, क्योंकि यह पर्यायवाची की अवधारणा पर निर्भर करता है, जिसे स्पष्टीकरण की आवश्यकता है। अपने निष्कर्ष में, क्वाइन इस बात को अस्वीकार करते हैं कि तार्किक सत्य आवश्यक सत्य हैं। इसके बजाय उनका मानना है कि किसी भी कथन के सत्य-मूल्य को बदला जा सकता है, जिसमें तार्किक सत्य भी शामिल हैं, किसी के पूर्ण सिद्धांत में प्रत्येक अन्य कथन के सत्य-मूल्यों का पुनर्मूल्यांकन किया जाता है। एक ही कथन की विभिन्न व्याख्याओं पर विचार करने से सत्य मूल्य की धारणा बनती है। सत्य मूल्यों के लिए सबसे सरल दृष्टिकोण का अर्थ है कि कथन एक मामले में "सही" हो सकता है, लेकिन दूसरे में "गलत" हो सकता है। टॉटोलॉजी शब्द के एक अर्थ में, यह किसी भी प्रकार का सूत्र या प्रस्ताव है जो इसकी शर्तों की किसी भी संभावित व्याख्या के तहत सही साबित होता है (संदर्भ के आधार पर मूल्यांकन या असाइनमेंट भी कहा जा सकता है)। यह तार्किक सत्य का पर्याय है। हालांकि, टॉटोलॉजी शब्द का उपयोग आमतौर पर उस शब्द को संदर्भित करने के लिए भी किया जाता है जिसे अधिक विशेष रूप से सत्य-कार्यात्मक टॉटोलॉजी कहा जा सकता है। जबकि एक तानाशाही या तार्किक सत्य केवल सामान्य रूप से शामिल तार्किक शब्दों के कारण सच होता है (जैसे। "प्रत्येक", "कुछ" "और" "है" "), एक सत्य-कार्यात्मक स्वरलिपि सच है क्योंकि इसमें तार्किक शब्द होते हैं जो तार्किक संयोजक होते हैं (जैसे।" "या", "और", और "न ही")। सभी तार्किक सत्य इस तरह के ताना-बाना नहीं हैं। तार्किक सत्य और तार्किक स्थिरांक तार्किक संयोजक और परिमापक सहित तार्किक स्थिरांक, सभी को वैचारिक रूप से तार्किक सत्य तक कम किया जा सकता है। उदाहरण के लिए, दो या दो से अधिक कथन तार्किक रूप से असंगत हैं यदि, और केवल तभी जब उनका संयोजन तार्किक रूप से गलत हो। एक कथन तार्किक रूप से दूसरे का संकेत देता है जब यह दूसरे के निषेध के साथ तार्किक रूप से असंगत होता है। एक कथन तार्किक रूप से सही है यदि, और केवल तभी जब इसका विपरीत तार्किक रूप से गलत हो। विपरीत कथनों को एक दूसरे के विपरीत होना चाहिए। इस तरह सभी तार्किक संयोजकों को तार्किक सत्य को संरक्षित करने के संदर्भ में व्यक्त किया जा सकता है। एक वाक्य का तार्किक रूप इसकी शब्दार्थ या वाक्यात्मक संरचना और तार्किक स्थिरांकों के स्थान द्वारा निर्धारित किया जाता है। तार्किक स्थिरांक यह निर्धारित करते हैं कि क्या एक कथन एक तार्किक सत्य है जब उन्हें एक ऐसी भाषा के साथ जोड़ा जाता है जो इसके अर्थ को सीमित करती है। इसलिए, जब तक यह निर्धारित नहीं किया जाता है कि सभी तार्किक स्थिरांकों के बीच उनकी भाषा की परवाह किए बिना अंतर कैसे किया जाए, तब तक किसी कथन या तर्क के पूर्ण सत्य को जानना असंभव है। तार्किक सत्य और अनुमान के नियम तार्किक सत्य की अवधारणा अनुमान के नियम की अवधारणा से निकटता से जुड़ी हुई है। तार्किक सत्य और तार्किक प्रत्यक्षवाद 20वीं शताब्दी की शुरुआत में एक आंदोलन था जिसने विज्ञान की तर्क प्रक्रियाओं को शुद्ध तर्क तक कम करने की कोशिश की। अन्य बातों के अलावा, तार्किक सकारात्मकतावादियों ने दावा किया कि कोई भी प्रस्ताव जो अनुभवजन्य रूप से सत्यापित नहीं है, न तो सच है और न ही गलत, बल्कि मूर्खतापूर्ण है। यह आंदोलन उनके दृष्टिकोण के साथ विभिन्न समस्याओं के कारण लुप्त हो गया, जिनमें से एक बढ़ती समझ थी कि विज्ञान उस तरह से काम नहीं करता है जैसा कि सकारात्मकतावादियों ने वर्णित किया था। एक अन्य समस्या यह थी कि आंदोलन के पसंदीदा नारों में से एक थाः "कोई भी प्रस्ताव जो अनुभवजन्य रूप से सत्यापन योग्य नहीं है, वह मूर्खतापूर्ण है" जो स्वयं अनुभवजन्य रूप से सत्यापन योग्य नहीं था, और इसलिए, अपने शब्दों से, मूर्खतापूर्ण था। गैर-शास्त्रीय तर्क औपचारिक प्रणालियों को दिया गया नाम है जो प्रस्तावक और विधेय तर्क जैसी मानक तार्किक प्रणालियों से महत्वपूर्ण रूप से भिन्न होते हैं। ऐसा करने के कई तरीके हैं, जिनमें विस्तार, विचलन और भिन्नताएं शामिल हैं। इन प्रस्थानों का उद्देश्य तार्किक परिणाम और तार्किक सत्य के विभिन्न मॉडलों का निर्माण करना संभव बनाना है। यह भी देखें विरोधाभास गलत (तर्क) तार्किक सत्य तालिका, तर्क में उपयोग की जाने वाली एक गणितीय तालिका संतोषजनकता (तर्क) (तार्किक सत्य के प्रतीकवाद के लिए) प्रमेय वैधता संदर्भ बाहरी लिंक दार्शनिक तर्क तर्क में अवधारणाएं सत्य तर्क का दर्शन सीएः वीरता वर्टेडर