Peut-être le plus grand logicien du XXe siècle, les emplois de Tarski sont à la base de beaucoup de philosophie contemporaine des mots et du bon sens philosophique. À l’Université de Varsovie, il a étudié les mathématiques, la biologie, le point de vue et la linguistique. Au début de sa carrière, il s’est créé une bonne réputation pour sa concentration sur les fondements des mathématiques. Cependant, c’est principalement pour son travail de sémantique et sa définition de la vérité dans les langages formels que l’impact de Tarski est devenu le plus grand. Vision a longtemps lutté pour découvrir un compte rendu adéquat de l’idée même de fait. Qu’est-ce que c’est que la phrase pour être réelle? Typiquement, la réponse la plus populaire, parce qu’Aristote, est définitivement de croire qu’une phrase s’applique chaque fois qu’elle correspond d’une manière ou d’une autre aux spécificités. Néanmoins, essayer d’expliquer la notion de «correspondance» sans discuter de la pensée de la vérité dans le sens s’est avéré notoirement difficile. Tarski corrige cette difficulté pour les langues officielles parlées. Il était lui-même pessimiste d’utiliser ses moyens pour fixer des langues organiques comme l’anglais ou le français. Néanmoins, cela n’a pas empêché certains philosophes d’essayer de mener à bien ce genre de projet. Conformément à Tarski, toute explication concise proposée de la vérité réelle devrait inclure en conséquence toutes les équivalences du type affiché à droite: ces illustrations mettent en évidence que la chose la plus importante pour à peu près toute signification suggérée de la vérité, basée sur Tarski, sera la variation entre un «langage objet» et un «méta-langage». Les phrases entières, (1), (2) et (3) sont des phrases courantes rédigées dans le méta-langage, c’est-à-dire qu’elles sont utilisées pour mentionner et affirmer un problème d’une autre phrase. Maintenant, en ce qui concerne (3), il peut être très clair que le méta-vocabulaire et le vocabulaire matière sont tous deux britanniques. Les dialectes naturels, comme le britannique ou l’allemand (ou toute autre langue de la planète), sont en fait leurs langues méta-parlées particulières, une caractéristique étrange qui leur permet d’utiliser et de se référer également à leurs propres phrases personnelles. Ces langages que le téléphone portable de Tarski appelle «sémantiquement fermés». Différents langages formels, comme ceux que l’on trouve dans la raison, les mathématiques et la programmation sur ordinateur, pourraient être «sémantiquement ouverts», dans la mesure où aucune phrase ne mentionne une phrase de plus à partir des mêmes numéros de vocabulaire comme une formulation bien formée.