L’intellectualisation des pensées de Tarski

Probablement le meilleur logicien de votre 20e siècle, le travail de Tarski est fondamental pour une grande partie de l’approche actuelle du langage et du raisonnement philosophique. À l’Université de Varsovie, il a étudié les mathématiques, la biologie, la philosophie et la linguistique. Au début de son occupation, il a créé un terme pour lui-même pour son travail sur les fondements des mathématiques. Mais c’est surtout pour ses employés en sémantique et sa définition de la réalité dans les langages professionnels que l’impact de Tarski a été le plus important. L’approche a longtemps eu du mal à obtenir un compte bancaire satisfaisant de la pensée de la vérité réelle. Qu’est-ce qu’une phrase est vraie? La réponse la plus célèbre, considérant qu’Aristote, se trouve être de croire qu’une phrase s’applique quand elle correspond d’une manière ou d’une autre avec l’information. Néanmoins, tenter d’expliquer la notion de «correspondance» sans parler de l’idée même de vérité dans la définition s’est avéré notoirement difficile. Tarski corrige ce problème pour les langues conventionnelles. Il était lui-même pessimiste quant à l’utilisation de sa solution dans différentes langues normales comme l’anglais ou le français. Néanmoins, cela n’a pas empêché certains philosophes de chercher à totaliser ce genre d’entreprise. Conformément à Tarski, toute explication concise proposée de la réalité doit exiger à cause de cela toutes les équivalences de votre genre prouvées à droite: ces bons exemples montrent que la chose la plus importante pour à peu près tout concept de réalité proposé, basé sur Tarski, est définitivement la différenciation entre un «langage objet» et un «méta-langage». Les phrases entières, (1), (2) et (3) sont des phrases typiques formulées à l’intérieur d’un méta-vocabulaire, c’est-à-dire qu’elles sont utilisées pour mentionner et affirmer quelque chose d’une autre phrase. Maintenant, dans le cas de (3), il est très clair que le méta-vocabulaire et le vocabulaire du sujet sont tous deux britanniques. Les langues parlées normales, comme l’anglais ou l’allemand (ou une autre langue parlée sur la planète), sont en fait leurs propres langues méta-parlées, un attribut étrange qui leur permet d’utiliser et de mentionner leurs propres phrases. Ce type de dialectes téléphoniques Tarski appelle «sémantiquement clos». Les langues officielles parlées, comme celles présentes dans le raisonnement, les mathématiques et l’encodage des ordinateurs personnels, peuvent être «sémantiquement ouvertes», dans la mesure où aucune phrase qui mentionne une phrase supplémentaire dans les mêmes mots n’est importante en tant que formule bien formée.