Didactique et Epistémologie des Mathématiques du Supérieur
vendredi 09 novembre 2012 à 10h - salle 331
Viviane Durand-Guerrier (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.