Alfred TARSKI

Alfred TARSKI était un logicien et philosophe polonais naturalisé américain, l'un des logiciens les plus importants du XXe siècle. Né à Varsovie dans une famille juive, il étudia à l'Université de Varsovie auprès de Leśniewski avant de s'établir aux États-Unis en 1939. Professeur à l'Université de Californie à Berkeley, il contribua de manière décisive à la logique mathématique, à la théorie des modèles et à la sémantique formelle.

Sa contribution philosophique la plus célèbre est sa définition sémantique de la vérité, exposée dans La Notion de vérité dans les langages des sciences déductives (1933, version polonaise) et dans la version allemande étendue (1935). La « convention T » de Tarski stipule qu'une définition adéquate de la vérité pour un langage doit impliquer des équivalences du type : « La neige est blanche est vraie si et seulement si la neige est blanche ». Cette définition, d'une simplicité apparente trompeuse, résout de manière rigoureuse le problème du paradoxe du menteur et fonde la sémantique formelle moderne.

Ses travaux sur la décidabilité, sur les corps algébriquement clos et sur la géométrie élémentaire constituent des contributions fondamentales à la logique mathématique et à la théorie des modèles. Son théorème d'indéfinissabilité — montrant qu'aucun langage formellement cohérent ne peut contenir sa propre définition de la vérité — est d'une portée philosophique considérable. Il incarne l'idéal de la philosophie analytique rigoureuse fondée sur la logique et les mathématiques, et son œuvre constitue l'une des contributions les plus solides de la pensée philosophique du XXe siècle.