टी-स्कीमा

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

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

जैसा कि अर्ध-प्राकृतिक भाषा में व्यक्त किया गया है (जहाँ 'S' S से संक्षिप्त वाक्य का नाम है): 'S' सत्य है यदि और केवल यदि S।

उदाहरण: 'बर्फ सफेद है' तभी सत्य है जब बर्फ सफेद हो।

आगमनात्मक परिभाषा
स्कीमा का उपयोग करके कोई भी यौगिक वाक्यों की सच्चाई के लिए एक आगमनात्मक परिभाषा दे सकता है। परमाणु वाक्यों को सत्य मान असंदिग्ध सिद्धांत सौंपा गया है। उदाहरण के लिए, वाक्य 'बर्फ सफेद है' सत्य है, यह वाक्य बर्फ सफेद है के साथ भौतिक रूप से समतुल्य हो जाता है, अर्थात 'बर्फ सफेद है' तभी सत्य है जब बर्फ सफेद है। अधिक जटिल वाक्यों की सच्चाई वाक्य के घटकों के संदर्भ में परिभाषित की जाती है: सत्य के लिए विधेय जो इन सभी मानदंडों को पूरा करते हैं उन्हें संतुष्टि वर्ग कहा जाता है, एक धारणा जिसे अक्सर एक निश्चित भाषा (जैसे पीनो अंकगणित की भाषा) के संबंध में परिभाषित किया जाता है; इन वर्गों को सत्य की धारणा के लिए स्वीकार्य परिभाषाएँ माना जाता है।
 * ए और बी रूप का एक वाक्य सत्य है यदि और केवल यदि ए सत्य है और बी सत्य है
 * ए या बी रूप का एक वाक्य सत्य है यदि और केवल यदि ए सत्य है या बी सत्य है
 * इस प्रकार का एक वाक्य यदि A है तो B सत्य है यदि और केवल यदि A असत्य है या B सत्य है; भौतिक निहितार्थ (अनुमान का नियम) देखें।
 * ए रूप का एक वाक्य सत्य है यदि और केवल यदि ए गलत है
 * सभी x, A(x) के लिए फॉर्म का एक वाक्य सत्य है यदि और केवल यदि, x के प्रत्येक संभावित मान के लिए, A(x) सत्य है।
 * कुछ x, A(x) के लिए फॉर्म का एक वाक्य सत्य है यदि और केवल यदि, x के कुछ संभावित मान के लिए, A(x) सत्य है।

प्राकृतिक भाषाएँ
जोसेफ हीथ बताते हैं टार्स्की की स्कीमा टी द्वारा प्रदान किया गया सत्य विधेय का विश्लेषण प्राकृतिक भाषा में सत्य विधेय की सभी घटनाओं को संभालने में सक्षम नहीं है। विशेष रूप से, स्कीमा टी विधेय के केवल फ्रीस्टैंडिंग उपयोगों पर विचार करती है - ऐसे मामलों में जब इसे पूर्ण वाक्यों पर लागू किया जाता है। वह स्पष्ट समस्या के रूप में यह वाक्य देता है: हीथ का तर्क है कि टी-स्कीमा का उपयोग करके इस वाक्य का विश्लेषण करने से वाक्य खंड उत्पन्न होता है - वह सब कुछ जो बिल मानता है - द्विशर्त के दाईं ओर।
 * बिल जो कुछ भी मानता है वह सत्य है।

यह भी देखें

 * द्विसंयोजकता का सिद्धांत
 * बहिष्कृत मध्य का नियम