Résumé
Dans cette communication, nous défendons l'importance de la prise en compte des relations entre vérité mathématique et validité logique dans l'activité mathématique. Dans un premier volet nous présentons brièvement le point de vue sémantique en logique : son essor à partir de Frege ; les apports de Wittgenstein et Tarski sur l'articulation entre validité logique et vérité dans une interprétation ; la déduction naturelle de Copi. Le second volet est consacré à l'analyse logique et mathématique de quatre preuves du point de vue de l'articulation entre vérité et validité, afin de mettre en lumière la pertinence des analyses logiques pour les études didactiques.