Peut-être le plus grand logicien du XXe siècle, l’œuvre de Tarski est simple pour la plupart de l’approche actuelle des mots et de la raison philosophique. À l’université ou au collège de Varsovie, il a étudié les mathématiques, la biologie, la philosophie et la linguistique. Au début de son travail, il s’est fait une réputation pour ses travaux sur les fondements des mathématiques. Mais c’est principalement pour sa fonction en sémantique et sa définition de la réalité dans les langages conventionnels que l’impact de Tarski continue d’être le meilleur. L’approche s’est étendue a eu du mal à trouver un bon récit de l’idée même de vérité. Qu’est-ce qu’une phrase est vraie? Généralement, la solution la plus populaire, étant donné qu’Aristote, se trouve être d’imaginer que la phrase est valide lorsqu’elle, pour une raison quelconque, correspond en utilisant les détails. Cependant, chercher à expliquer l’idée de «correspondance» sans parler de l’idée de fait issue de la classification s’est avéré notoirement difficile. Tarski résout ce dilemme des langues parlées formelles. Il était lui-même pessimiste quant à l’application de ses moyens pour fixer des langues normales comme le britannique ou le français. Même ainsi, certains philosophes n’ont pas cessé de chercher à approfondir ce type d’entreprise. Comme l’a souligné Tarski, toute explication concise suggérée de la vérité réelle doit exiger en conséquence toutes les équivalences du développement prouvé sur la droite: ces cas soulignent que ce qui est important pour toute définition proposée de la vérité réelle, comme indiqué par Tarski, est le variation entre un «langage objet» et un «méta-langage». Les phrases entières, (1), (2) et (3) sont toutes des phrases rédigées dans un méta-vocabulaire, c’est-à-dire qu’elles sont utilisées pour noter et affirmer un problème d’une autre phrase. Maintenant, dans le cas de (3), il peut être clair que les méta-mots et le vocabulaire des objets sont anglais. Les dialectes naturels, y compris l’anglais ou l’allemand (ou toute autre langue parlée dans le monde), sont en fait leurs langues méta-parlées particulières, une caractéristique inhabituelle qui leur permet à la fois d’utiliser et de parler de leurs propres phrases. Ces types de langues parlées sur le téléphone portable de Tarski appellent «sémantiquement fermés». Les langues officielles, telles que toutes celles que l’on trouve dans le sens commun, les mathématiques et l’encodage des ordinateurs portables ou des ordinateurs, pourraient être «sémantiquement ouvertes», dans la mesure où aucune phrase mentionnant une phrase supplémentaire à l’intérieur de la même terminologie n’a d’importance comme une formule effectivement formulée.