Dur de la feuille

Probablement le meilleur logicien du XXe siècle, les emplois de Tarski sont à la base de la plupart de la philosophie actuelle de la terminologie et de la raison philosophique. À l’école de Varsovie, il a étudié les mathématiques, la biologie, la philosophie et la linguistique. Au début de sa carrière, il s’est forgé une réputation pour son travail sur les fondements des mathématiques. Mais c’est principalement pour son travail en sémantique et son sens impressionnant des faits dans les différentes langues officielles que l’influence de Tarski est la plus grande. La philosophie s’est longtemps battue pour avoir un bon profil de l’idée de vérité. Qu’est-ce qu’une phrase est vraie exactement? Typiquement, la réponse la plus populaire, étant donné qu’Aristote, est définitivement de croire quelle phrase est vraie quand elle correspond d’une manière ou d’une autre en utilisant les détails. Cependant, chercher à expliquer la notion de «correspondance» sans avoir besoin de se référer à la pensée de la vérité réelle dans la description s’est avéré notoirement difficile. Tarski résout ce problème pour les dialectes professionnels. Il était lui-même pessimiste quant à la mise en œuvre de sa stratégie dans des langues parlées normales comme l’anglais ou le français. Même ainsi, il n’a pas empêché certains philosophes de tenter d’achever une telle entreprise. Sur la base de Tarski, toute explication concise de la réalité proposée doit inclure à cause de cela toutes les équivalences du type montré à droite: ces bons exemples mettent en évidence que la chose la plus importante pour à peu près tout concept de réalité proposé, conformément à Tarski, est le distinction 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, quand il s’agit de (3), il est vraiment clair que la méta-langue et les mots sujets sont l’anglais. Les différentes langues organiques, telles que l’anglais ou l’allemand (ou certains autres dialectes du monde entier), sont en fait leurs méta-langues particulières, une fonction particulière qui leur permet d’utiliser et d’indiquer également leurs propres phrases. Tarski appelle ces dialectes «sémantiquement fermés». Les langages formels, comme ceux que l’on trouve dans le raisonnement, les mathématiques et le codage informatique, pourraient être «sémantiquement ouverts», dans la mesure où aucune phrase ne mentionne encore une autre phrase issue des mêmes numéros de terminologie qu’une méthode correctement créée.