Logique Mathématique et Théorie des Ensembles
jeudi 01 mars 2012 à 14:00 - Irem
Viviane Durand-Guerrier (Université de Montpellier )
Tarski et la théorie des modèles : un éclairage épistémologique
Trois textes fondamentaux traduits en français dans les deux volumes de Logique, sémantique et métamathématiques sous la direction de G.G. Granger, A. Colin, 1972& 1974 1. Tarski, 1936-a, 1972, Le concept de vérité dans les langages formalisés. 2. Tarski, 1936-b, 1972, Sur le concept de conséquence logique. 3. Tarski, 1944, 1974, La conception sémantique de la vérité et les fondements de la sémantique.