Didactique et Epistémologie des Mathématiques du Supérieur :

Le 09 novembre 2012 à 10h - salle 331

Présentée par Durand-Guerrier Viviane - Université de Montpellier

Vérité versus validité à la lumière de la théorie élémentaire des modèles de Tarski

En élaborant la définition sémantique de la vérité, Tarski a ouvert la voie à une distinction fructueuse entre vérité dans une interprétation et validité logique. Je présenterai les idées fondatrices de Tarski et je montrerai en quoi cela peut être utile pour les études didactique sur la preuve et le raisonnement.