Alfred Tarski
Logicien et mathématicien polonais puis américain, l'un des plus grands logiciens du XXe siècle avec Gödel. Sa définition sémantique de la vérité (Convention T, métalangage) et sa fondation de la théorie des modèles ont transformé la logique et la philosophie du langage.