1. Utilisation de l'articulation entre les points de vue syntaxique et sémantique dans l'analyse d'un cours sur le raisonnement
- Author
-
Virginie Deloustal-Jorrand, Michèle Gandit, Zoé Mesnil, Mickael Da Ronch, Sciencesconf.org, CCSD, Sciences et Société, Historicité, Éducation et Pratiques (EA S2HEP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon, Maths à Modeler (SFR MAM), Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Laboratoire de Didactique André Revuz (LDAR (URP_4434)), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Lille-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université Paris Cité (UPCité)-CY Cergy Paris Université (CY), Institut Fourier (IF), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Université de Carthage, Université de Montpellier, École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), and Normandie Université (NU)-Normandie Université (NU)-Université de Lille-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université de Paris (UP)-CY Cergy Paris Université (CY)
- Subjects
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,semantics ,[SHS.EDU]Humanities and Social Sciences/Education ,[SHS.EDU] Humanities and Social Sciences/Education ,ComputingMilieux_COMPUTERSANDEDUCATION ,Teaching and learning of specific topics in university mathematics ,Teaching and learning of logic ,syntax ,reasoning and proof - Abstract
International audience; This paper highlights the relevance of the articulation between syntax and semantics in proof and proving activities. In the first part, we define what we call syntax and semantics and we suggest other articulations on the proof. In the second part, we present a logical and didactical analysis of a university course entitled "Mathematical Reasoning". This analysis relies on three types of data: interviews with teachers, worksheets and an assessment test.
- Published
- 2020