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,...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | fra |
| Published: |
Nantes Université
2016-10-01
|
| Series: | Recherches en Éducation |
| Subjects: | |
| Online Access: | http://journals.openedition.org/ree/6263 |
| _version_ | 1797996525654114304 |
|---|---|
| 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. |
| first_indexed | 2024-04-11T10:18:47Z |
| format | Article |
| id | doaj.art-d0bb5f719be242cca47643fda60fd51e |
| institution | Directory Open Access Journal |
| issn | 1954-3077 |
| language | fra |
| last_indexed | 2024-04-11T10:18:47Z |
| publishDate | 2016-10-01 |
| publisher | Nantes Université |
| record_format | Article |
| series | Recherches en Éducation |
| spelling | doaj.art-d0bb5f719be242cca47643fda60fd51e2022-12-22T04:29:50ZfraNantes 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.http://journals.openedition.org/ree/6263higher and university educationmathematics (teaching/education/relationship)pedagogy: methods and toolsrelationship to knowledge and culture |
| spellingShingle | Thomas Barrier Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique Recherches en Éducation higher and university education mathematics (teaching/education/relationship) pedagogy: methods and tools relationship to knowledge and culture |
| 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 | higher and university education mathematics (teaching/education/relationship) pedagogy: methods and tools relationship to knowledge and culture |
| url | http://journals.openedition.org/ree/6263 |
| work_keys_str_mv | AT thomasbarrier lesexemplesdanslelaborationdesdemonstrationsmathematiquesuneapprochesemantiqueetdialogique |