Recherches sur l'articulation entre la logique et le raisonnement mathématique dans une perspective didactique. Un cas exemplaire de l'interaction entre analyses épistémologique et didactique. Apports de la théorie élémentaire des modèles pour une analyse didactique du raisonnement mathématique

This text consists in a synthesis of the research in which I have been engaged for about fifteen years concerning the relationship between logic and mathematical reasoning, through the enlightening perspective offered by the model theoretic point of view due to Tarski. In a first part, I present the specific aspects of Model theory that I use in the didactic studies and I give an example of the relevance of this theoretical frame in order to deal with truth, validity, necessity and certainty. In the following parts, the analysis are developed according with three axis: the consideration of logical connectors beyond truth-value tables; some questions about the way mathematics teachers deal with quantification matters; the interpretation of mathematical statements under syntactic, semantic and pragmatic points of view. This leads to reinterpret some classical logical errors; to minor the distance between common sense logic and mathematical logic and to question some teaching choices concerning the learning of rigor. The results I have obtained in this general theoretical framework allow developing research programs according to two main perspectives. The first one concerns the role played by logical formalism in the development of mathematical knowledge at tertiary level. The second one concerns crossed studies between didactic and linguistic analysis of mathematical discourse, using the resources offered by logical semantics.Cette note de synthèse rédigée en vue de soutenir une habilitation à diriger des recherches (HDR) a comme but de proposer une relecture de l'ensemble de travaux de recherche que je conduis depuis une quinzaine d'année sur l'articulation entre la logique et le raisonnement mathématique à la lumière de la théorie élémentaire des modèles de Tarski, qui joue ici le rôle de référence épistémologique pour les analyses didactiques. Une première partie présente les aspects de la théorie des modèles que j'ai retenu pour les études didactiques, ainsi qu'un exemple de l'utilisation de ce cadre pour repenser les questions de vérité, de validité, de nécessité et de certitude. La suite du document développe les analyses suivant trois axes : un retour sur les connecteurs logiques au-delà des tables de vérité ; un questionnement de différentes pratiques ordinaires dans la classe de mathématiques concernant la gestion des questions de quantification ; l'interprétation des énoncés mathématiques sous les angles syntaxique, sémantique et pragmatique. Ceci permet de réinterpréter un certain nombre d'erreurs classiques de logique ; de réduire la distance supposée entre logique de sens commun et logique mathématique et de s'interroger sur certains choix d'enseignement eu égards en particulier aux objectifs d'apprentissage visés en terme de rigueur.Les résultats obtenus dans ce cadre théorique général permettent d'envisager un programme de recherche suivant deux axes complémentaires. Le premier axe concerne le développement des travaux visant à élucider le rôle que joue le formalisme logique dans l'élaboration des connaissances mathématiques au niveau de l'enseignement universitaire en lien avec la mise en œuvre d'ingénieries didactiques. Le second axe concerne la poursuite des recherches amorcées sur le croisement entre analyses didactiques et analyses dynamiques du discours dans la classe de mathématiques en mobilisant les ressources offertes par la sémantique logique