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