Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique
Cet article s’intéresse aux rôles des exemples dans l’élaboration des démonstrations mathématiques au niveau de l’enseignement supérieur. La question est tout d’abord abordée en mobilisant la distinction introduite par Weber et Alcock (2004) entre les approches sémantique et syntaxique des démonstra...
Gardado en:
| Publicado en: | URI:https://journals.openedition.org/ree, |
|---|---|
| Autor Principal: | |
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado: |
Recherches en éducation
2021
|
| Sujets: | |
| Acceso en liña: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Résumé: | Cet article s’intéresse aux rôles des exemples dans l’élaboration des démonstrations mathématiques au niveau de l’enseignement supérieur. La question est tout d’abord abordée en mobilisant la distinction introduite par Weber et Alcock (2004) entre les approches sémantique et syntaxique des démonstrations. Cette distinction est ensuite reformulée et précisée par le recours à une modélisation explicite élaborée à partir des approches dialogiques de la logique. La modélisation, construite autour du concept de jeu, permet de traiter dans un même cadre du travail sur les exemples et du travail de manipulation formelle des énoncés. Elle contribue à en clarifier les points communs et les spécificités. La contribution des exemples à la dynamique du processus de validation est alors abordée en appui sur les notions de partie et de stratégie. |
|---|