Implication, Négation et Quantification dans la classe de mathématiques. Apports de la sémantique logique pour les analyses didactiques

old_uid14680
titleImplication, Négation et Quantification dans la classe de mathématiques. Apports de la sémantique logique pour les analyses didactiques
start_date2014/11/24
schedule14h30-16h30
onlineno
summaryLes énoncés conditionnels, et particulièrement les énoncés conditionnels universellement quantifiés, ainsi que la négation de tels énoncés jouent un rôle important dans l’activité mathématique. Dans mes travaux, j’ai mis en évidence le fait qu’une analyse logique de tels énoncés dans une perspective sémantique (au sens de Tarski) permettait de mettre en lumière une complexité logique souvent sous-estimée des enseignants et des chercheurs. Je donnerai quelques exemples en appui sur des contenus mathématiques relativement élémentaires et montrerai comment on peut s’appuyer sur ces analyses pour éclairer les choix didactiques.
responsiblesDétrie, Pélissier