Peut-être le plus grand logicien du XXe siècle, l’effort de Tarski est simple pour la plupart des approches modernes du vocabulaire et de la raison philosophique. À l’Université de Varsovie, il a étudié les mathématiques, la biologie, le point de vue et la linguistique. Au début de son travail, il s’est forgé une réputation pour son travail avec les fondements des mathématiques. Pourtant, c’est principalement pour son travail en sémantique et son sens des faits dans les langues parlées conventionnelles que l’influence de Tarski est la plus fine. L’approche a longtemps combattu pour obtenir un compte rendu suffisant de la pensée de la vérité réelle. Qu’est-ce que c’est précisément pour qu’une phrase soit réelle? La réponse la plus courante, considérant qu’Aristote, se trouve être de croire que la phrase s’applique dans le cas où elle correspond par quelque moyen avec tous les détails. Cependant, tenter d’expliquer la notion de «correspondance» sans discuter de la pensée de vérité dans la définition s’est avéré difficile. Tarski résout cette difficulté pour les différentes langues professionnelles. Il était lui-même pessimiste quant à la mise en œuvre de sa réponse dans différentes langues naturelles comme l’anglais ou le français. Cependant, cela n’a pas empêché certains philosophes d’essayer de mener à bien ce genre d’entreprise. Comme indiqué par Tarski, toute définition proposée de la vérité réelle doit exiger à cause de cela toutes les équivalences du type prouvé comme étant correct: ces illustrations soulignent que ce qui est important pour toute signification suggérée de la vérité, comme souligné par Tarski, est la variation entre un «langage objet» plus un «méta-langage». Les phrases entières, (1), (2) et (3) sont toutes des phrases rédigées en méta-mots, c’est-à-dire qu’elles sont utilisées pour évoquer et affirmer un certain point d’une autre phrase. Maintenant, quand il s’agit de (3), il est évident que la méta-langue et la langue des choses sont généralement l’anglais. Les langues organiques, comme la langue anglaise ou l’allemand (ou toute autre langue de la planète), sont en fait leurs propres méta-langues personnelles, un attribut étrange qui leur permet d’utiliser et de parler également de leurs phrases particulières. Tarski appelle ce type de langage «sémantiquement clos». Les dialectes formels, par exemple tous ceux situés dans le raisonnement, les mathématiques et le codage sur ordinateur portable ou informatique, pourraient être «sémantiquement ouverts», dans la mesure où aucune phrase qui mentionne une autre phrase à l’intérieur des mots identiques ne compte comme une solution bien conçue.