2025-01-13 20:00:00
Un monde dans lequel la vérité pouvait être vérifiée instantanément et avec une grande précision, où la tromperie n’était même pas une option. C’était la vision idéale du monde de Alfred Tarskil’un des hommes à l’origine de la logique moderne et qui, chaque 14 janvier, Journée mondiale de la logiqueest honoré aux côtés du grand Kurt Gödel. Aujourd’hui, tandis que Gödel s’efforçait de révéler les limites des mathématiques avec ses théorèmes d’incomplétude, Tarski était enclin à redéfinir le concept de vérité, ouvrant ainsi des portes qui transformaient des disciplines telles que l’informatique, la linguistique et la philosophie.
DE VARSOVIE À LA PENSÉE LOGIQUE
Avant ses réalisations, Alfred Tarski était simplement Alfred Teitelbaumjeune Polonais né le 14 janvier 1901 dans une famille juive bourgeoise de Varsovie, alors partie de l’Empire russe. Dès son plus jeune âge, Alfred montra un énorme intérêt pour l’apprentissage, dévorant les livres de mathématiques et de sciences, tout en développant une grande capacité à maîtriser la langue. En 1918, à la fin de la Première Guerre mondiale, la Pologne retrouve son indépendance et Alfred entre au pouvoir. Université de Varsovie pour étudier les mathématiques, la philosophie et la logique, trois domaines qui définiront complètement sa vie.
C’est là, sous l’influence d’autres mathématiciens comme Jan Łukasiewicz et Stanisław Leśniewski, que Tarski commença à ressortir devant le reste des élèves. Le milieu universitaire de Varsovie était à l’époque un véritable incubateur d’idées révolutionnaires, et Tarski absorbait tout ce qu’il pouvait de ce cercle d’idées brillantes. Cependant, les temps présentaient également des défis : en 1923, Alfred changea son nom de Teitelbaum en Tarski, cherchant à protégez-vous de l’antisémitisme qui grandissait en Pologne et cachait son origine juive.
Momentanément en sécurité, au cours des années 1920, Tarski commença à travailler sans relâche au développement de la logique formelle, publiant des articles révolutionnaires et jetant les bases de ce qui allait devenir sa contribution la plus notable : le théorie sémantique de la vérité. Cependant, comme tant d’autres universitaires européens, sa stabilité personnelle et professionnelle fut finalement menacée par l’arrivée de la Seconde Guerre mondiale.
LA THÉORIE DE LA VÉRITÉ ET L’EXODE VERS L’AMÉRIQUE
En 1933, Alfred Tarski présenta une idée qui allait changer à jamais la logique : la théorie sémantique de la vérité. Sa définition de base, connue sous le nom de «Tarski définition de la vérité“, a déclaré qu’une phrase aussi simple que “La neige est blanche” C’était vrai si, et seulement si, la neige était effectivement blanche. Même si cela peut paraître évident, l’idée de Tarski était d’exprimer cette affirmation d’une manière mathématiqueen évitant les pièges des paradoxes qui surgissent dans le langage courant, comme le fameux paradoxe du menteur : “Cette affirmation est fausse”.
Maria Kokoszyńska-Lutmanowa
Alfred Tarski et Kurt Gödel, tous deux honorés chaque 14 janvier lors de la Journée mondiale de la logique, photographiés à Vienne en 1935.
Pour ce faire, Tarski a proposé de diviser le langage en niveaux. Par exemple, il a déclaré que nous ne pouvons pas définir la vérité dans le même langage que celui que nous utilisons pour parler des choses ; nous avons besoin d’un “métalangage“, un niveau supérieur qui décrit les règles de la langue originale. Même si cela semble quelque peu compliqué, c’est une approche qui a permis construire des systèmes logiques plus robuste et résoudre des problèmes qui ont déconcerté les philosophes pendant des siècles.
Ainsi, lorsque la Seconde Guerre mondiale éclata en 1939, Tarski participait à une conférence à l’étranger pour discuter de cette théorie. Il en a profité pour émigrer aux États-Unis, un mouvement qui lui a sauvé la vie, mais qui l’a laissé marqué par la tragédie d’avoir a perdu une grande partie de sa famille dans l’Holocauste. En Amérique, Tarski a poursuivi sa carrière universitaire avec intensité, travaillant dans des institutions telles que Harvard et, enfin, à l’Université de Californie à Berkeley, où il a passé le reste de sa vie.
Université du Michigan
Alfred Tarski photographié en 1967 à l’Université du Michigan.
L’UNIVERSALITÉ DE L’ŒUVRE
Mais la théorie de la vérité de Tarski ne se limite pas à la logique pure ; mais son impact s’étend à l’informatique, à la philosophie du langage et à la linguistique computationnelle. Autrement dit, en termes pratiques, son travail a contribué à développer les fondations du langages de programmation modernes. Par exemple, lorsque nous écrivons des instructions dans un langage de programmation, nous utilisons un système basé sur règles qu’il doit être compréhensible et vérifiable, concepts qui remontent directement à la sémantique formelle de Tarski.
En d’autres termes, supposons que nous utilisions un modèle mathématique pour décrire les propriétés des nombres. Si nous écrivons une affirmation comme « 2 + 2 = 4 », elle ne sera vraie que si : au sein du système que nous avons définicette opération produit ce résultat. Ce type de raisonnement logique, bien qu’il semble aujourd’hui élémentaire, a été structuré par Tarski pour éviter les ambiguïtés et les paradoxes.
De plus, au-delà de son travail technique, Tarski était aussi un professeur exceptionnelconsacrant une grande partie de sa vie à former une nouvelle génération de mathématiciens et de logiciens. En fait, nombre de ses étudiants, comme Julia Robinson et Solomon Feferman, ont continué développer vos idéesgarantissant que son influence persistera pendant des décennies.
#Alfred #Tarski #lhomme #qui #redéfini #vérité
1736838391