प्रसंग: इस सिद्धांत के अनुसार, एक वाक्य के सत्य के लिए शर्तें और साथ ही वाक्य स्वयं एक धातु भाषा का हिस्सा हैं। इसलिए, उदाहरण के लिए, वाक्य "बर्फ सफेद है" तभी सही है जब बर्फ सफेद हो। हालांकि कई दार्शनिकों ने व्याख्या की है, और व्याख्या करना जारी रखा है, टार्स्की के सिद्धांत को एक अपस्फीतिकर सिद्धांत के रूप में, पॉपर इसे एक सिद्धांत के रूप में संदर्भित करता है जिसमें "सच है" को "तथ्यों से मेल खाता है" के साथ प्रतिस्थापित किया जाता है। वे इस व्याख्या को इस तथ्य पर आधारित करते हैं कि ऊपर वर्णित उदाहरण दो चीजों को संदर्भित करते हैंः दावे और वे तथ्य जिनका वे उल्लेख करते हैं। वह वाक्यों की सत्य स्थितियों के तारस्की के सूत्रीकरण की पहचान एक "धातुभाषी विधेय" के परिचय के रूप में करते हैं और निम्नलिखित मामलों को अलग करते हैंः

सवाल: बयानों की सच्चाई के लिए शर्तों पर चर्चा करने के लिए तारस्की ने कौन सी अवधारणा पेश की?

उत्तर: धातु भाषा