Logique Mathématique et Théorie des Ensembles :

Le 01 mars 2012 à 14:00 - Irem

Présentée par Durand-Guerrier Viviane - 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.