Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique

This paper addresses the roles of examples when dealing with mathematical proof in higher education. I use the distinction between semantic and syntactic approaches to get a first insight. Then I focus on a specific role: the contribution of examples in proving. I put forward a reference framework,...

Full description

Saved in:
Bibliographic Details
Main Author: Thomas Barrier
Format: Article
Language:fra
Published: Nantes Université 2016-10-01
Series:Recherches en Éducation
Subjects:
Online Access:https://journals.openedition.org/ree/6263
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1841548433586913280
author Thomas Barrier
author_facet Thomas Barrier
author_sort Thomas Barrier
collection DOAJ
description This paper addresses the roles of examples when dealing with mathematical proof in higher education. I use the distinction between semantic and syntactic approaches to get a first insight. Then I focus on a specific role: the contribution of examples in proving. I put forward a reference framework, the dialogic approaches of logic, to offer model of validation which is enough comprehensive to give an account for both example use and formal utterance manipulation. The model is grounded on the concept of game. Two main findings are pointed out. The distinction between play level and strategy level helps to address the dynamic facet of proof process. Besides, the model permits to better grasp the common or specific aspects of formal manipulations and examples consideration, the specific ones being sometimes overvalued in my viewpoint.
format Article
id doaj-art-c0e1e33d0fef44edb8921afd45598f73
institution Kabale University
issn 1954-3077
language fra
publishDate 2016-10-01
publisher Nantes Université
record_format Article
series Recherches en Éducation
spelling doaj-art-c0e1e33d0fef44edb8921afd45598f732025-01-10T14:05:56ZfraNantes UniversitéRecherches en Éducation1954-30772016-10-012710.4000/ree.6263Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogiqueThomas BarrierThis paper addresses the roles of examples when dealing with mathematical proof in higher education. I use the distinction between semantic and syntactic approaches to get a first insight. Then I focus on a specific role: the contribution of examples in proving. I put forward a reference framework, the dialogic approaches of logic, to offer model of validation which is enough comprehensive to give an account for both example use and formal utterance manipulation. The model is grounded on the concept of game. Two main findings are pointed out. The distinction between play level and strategy level helps to address the dynamic facet of proof process. Besides, the model permits to better grasp the common or specific aspects of formal manipulations and examples consideration, the specific ones being sometimes overvalued in my viewpoint.https://journals.openedition.org/ree/6263mathematics (teaching/education/relationship)pedagogy: methods and toolshigher and university education
spellingShingle Thomas Barrier
Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
Recherches en Éducation
mathematics (teaching/education/relationship)
pedagogy: methods and tools
higher and university education
title Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
title_full Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
title_fullStr Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
title_full_unstemmed Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
title_short Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
title_sort les exemples dans l elaboration des demonstrations mathematiques une approche semantique et dialogique
topic mathematics (teaching/education/relationship)
pedagogy: methods and tools
higher and university education
url https://journals.openedition.org/ree/6263
work_keys_str_mv AT thomasbarrier lesexemplesdanslelaborationdesdemonstrationsmathematiquesuneapprochesemantiqueetdialogique