तार्किक सत्य

तार्किक सत्य तर्क में सबसे मौलिक अवधारणाओं में से एक है। मोटे तौर पर, एक तार्किक सत्य एक कथन (तर्क) है जो अपने घटक प्रस्तावों की सत्यता या असत्यता की परवाह किए बिना सत्य है। दूसरे शब्दों में, एक तार्किक सत्य एक कथन है जो न केवल सत्य है, बल्कि एक ऐसा है जो इसके तार्किक घटकों (इसके तार्किक स्थिरांक के अलावा) की सभी व्याख्याओं (तर्क) के तहत सत्य है। इस प्रकार, तार्किक सत्य जैसे यदि p, तो p को टॉटोलॉजी (तर्क) माना जा सकता है। तार्किक सत्य को बयानों का सबसे सरल मामला माना जाता है जो विश्लेषणात्मक-सिंथेटिक भेद (या दूसरे शब्दों में, परिभाषा के अनुसार सत्य) हैं। सभी दार्शनिक तर्कों को तार्किक सत्य की प्रकृति के साथ-साथ तार्किक परिणाम प्रदान करने के बारे में सोचा जा सकता है।^[1] तार्किक सत्यों को आम तौर पर आवश्यक रूप से सत्य माना जाता है। कहने का तात्पर्य यह है कि वे ऐसे हैं कि ऐसी कोई स्थिति पैदा ही नहीं हो सकती जिसमें वे सच न हो सकें। यह विचार कि तार्किक कथन आवश्यक रूप से सत्य हैं, को कभी-कभी यह कहने के समकक्ष माना जाता है कि तार्किक सत्य सभी संभावित संसारों में सत्य हैं। हालाँकि, यह सवाल कि क्या कोई कथन आवश्यक रूप से सत्य है, निरंतर बहस का विषय बना हुआ है।

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

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

तार्किक सत्य और विश्लेषणात्मक सत्य

तार्किक सत्य, विश्लेषणात्मक कथन होने के नाते, तथ्य के किसी भी मामले के बारे में कोई जानकारी नहीं होती है। तार्किक सत्यों के अलावा, विश्लेषणात्मक कथनों का एक दूसरा वर्ग भी है, जो कि किसी कुंवारे के विवाहित नहीं होने का प्रतीक है। इस तरह के एक बयान की विशेषता यह है कि इसे समानार्थक शब्द सत्य को बचाओ के लिए समानार्थक शब्द से बदलकर एक तार्किक सत्य में बदल दिया जा सकता है। अविवाहित पुरुष को इसके समानार्थक कुंवारे के स्थान पर प्रतिस्थापित करके किसी अविवाहित व्यक्ति को विवाहित नहीं बनाया जा सकता है।

अपने निबंध अनुभववाद के दो हठधर्मिता में, दार्शनिक विलार्ड वैन ऑरमन क्विन | डब्ल्यू। वी.ओ. क्विन ने विश्लेषणात्मक और सिंथेटिक बयानों के बीच अंतर पर सवाल उठाया। यह विश्लेषणात्मक बयानों की यह दूसरी श्रेणी थी जिसने उन्हें ध्यान दिया कि विश्लेषणात्मकता की अवधारणा को स्पष्टीकरण की आवश्यकता है, क्योंकि ऐसा लगता है कि यह समानार्थक शब्द की अवधारणा पर निर्भर करता है, जिसे स्पष्टीकरण की आवश्यकता है। अपने निष्कर्ष में, क्विन ने अस्वीकार कर दिया कि तार्किक सत्य आवश्यक सत्य हैं। इसके बजाय वह मानता है कि किसी भी कथन का सत्य-मूल्य बदला जा सकता है, जिसमें तार्किक सत्य भी शामिल है, किसी के संपूर्ण सिद्धांत में हर दूसरे कथन के सत्य-मूल्यों का पुनर्मूल्यांकन दिया जाता है।

सत्य मूल्य और पुनरुक्ति

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

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

तार्किक सत्य और तार्किक स्थिरांक

तार्किक स्थिरांक, तार्किक संयोजकों और परिमाणक (तर्क)तर्क) सहित, सभी को वैचारिक रूप से तार्किक सत्य तक कम किया जा सकता है। उदाहरण के लिए, दो कथन या अधिक तार्किक NAND हैं यदि और केवल यदि | यदि, और केवल यदि उनका तार्किक संयोजन तार्किक रूप से असत्य है। एक कथन तार्किक निहितार्थ दूसरा जब वह तार्किक रूप से दूसरे के निषेध के साथ असंगत हो। एक कथन तार्किक रूप से सत्य है यदि, और केवल यदि इसका विपरीत तार्किक रूप से असत्य है। विपरीत कथनों को एक दूसरे का खंडन करना चाहिए। इस प्रकार तार्किक सत्य को संरक्षित करने के संदर्भ में सभी तार्किक संयोजकों को व्यक्त किया जा सकता है। एक वाक्य का तार्किक रूप उसके शब्दार्थ या वाक्य-विन्यास संरचना और तार्किक स्थिरांक की नियुक्ति से निर्धारित होता है। तार्किक स्थिरांक यह निर्धारित करते हैं कि क्या कोई कथन एक तार्किक सत्य है, जब उन्हें एक ऐसी भाषा के साथ जोड़ दिया जाता है जो इसके अर्थ को सीमित करती है। इसलिए, जब तक यह निर्धारित नहीं हो जाता कि उनकी भाषा की परवाह किए बिना सभी तार्किक स्थिरांकों के बीच अंतर कैसे किया जाए, तब तक किसी कथन या तर्क की पूरी सच्चाई जानना असंभव है।^[2]

तार्किक सत्य और अनुमान के नियम

तार्किक सत्य की अवधारणा अनुमान के नियम की अवधारणा से निकटता से जुड़ी हुई है।^[3]

तार्किक सत्य और तार्किक प्रत्यक्षवाद

तार्किक प्रत्यक्षवाद 20वीं शताब्दी की शुरुआत में एक आंदोलन था जिसने विज्ञान की तर्क प्रक्रियाओं को शुद्ध तर्क तक कम करने की कोशिश की। अन्य बातों के अलावा, तार्किक प्रत्यक्षवादियों ने दावा किया कि कोई भी प्रस्ताव जो अनुभवजन्य रूप से सत्यापित नहीं है, वह न तो सत्य है और न ही असत्य, बल्कि बकवास है। उनके दृष्टिकोण के साथ विभिन्न समस्याओं के कारण यह आंदोलन फीका पड़ गया, जिसमें एक बढ़ती हुई समझ थी कि विज्ञान उस तरह से काम नहीं करता जैसा कि प्रत्यक्षवादियों ने वर्णित किया है।^{[citation needed]} एक अन्य समस्या यह थी कि आंदोलन के पसंदीदा नारों में से एक: कोई भी प्रस्ताव जो अनुभवजन्य रूप से सत्यापित नहीं है, बकवास है, स्वयं अनुभवजन्य रूप से सत्यापित नहीं था, और इसलिए, अपनी शर्तों से, बकवास।

गैर-शास्त्रीय लॉजिक्स

गैर-शास्त्रीय तर्क औपचारिक प्रणालियों को दिया गया नाम है जो मानक तार्किक प्रणालियों जैसे कि प्रस्तावित तर्क और विधेय तर्क से महत्वपूर्ण रूप से भिन्न होता है। इसे कई तरीकों से किया जाता है, जिसमें विस्तार, विचलन और विविधताएं शामिल हैं। इन प्रस्थानों का उद्देश्य तार्किक परिणाम और तार्किक सत्य के विभिन्न मॉडलों के निर्माण को संभव बनाना है।^[4]

यह भी देखें

विरोधाभास
असत्य (तर्क)
तार्किक सत्य तालिका, लॉजिक में इस्तेमाल होने वाली गणितीय टेबल
संतुष्टि
टॉटोलॉजी (तर्क) (तार्किक सत्य के प्रतीकवाद के लिए)
प्रमेय
वैधता (तर्क)

संदर्भ

↑ Quine, Willard Van Orman, Philosophy of logic
↑ MacFarlane, J. (May 16, 2005). "Logical Constants".
↑ Alfred Ayer, Language, Truth, and Logic
↑ Theodore Sider, (2010). Logic for philosophy

बाहरी संबंध

[1] Quine, Willard Van Orman, Philosophy of logic

[2] MacFarlane, J. (May 16, 2005). "Logical Constants".

[3] Alfred Ayer, Language, Truth, and Logic

[4] Theodore Sider, (2010). Logic for philosophy

[1]

[2]

[3]

[4]

v t e Logical connectives
Tautology/True $\top$
Alternative denial (NAND gate) $\uparrow$ Converse implication $\leftarrow$ Implication (IMPLY gate) $\rightarrow$ Disjunction (OR gate) $\lor$
Negation (NOT gate) $\neg$ Exclusive or (XOR gate) $\not \leftrightarrow$ Biconditional (XNOR gate) $\leftrightarrow$ Statement (Digital buffer)
Joint denial (NOR gate) $\downarrow$ Nonimplication (NIMPLY gate) $\nrightarrow$ Converse nonimplication $\nleftarrow$ Conjunction (AND gate) $\land$
Contradiction/False $\bot$

v t e ‌Logical truth ⊤
Functional:	truth value truth function ⊨ tautology
Formal:	theory formal proof theorem
Negation	⊥ false contradiction inconsistency