Skip to Main content Skip to Navigation
Conference papers

LOGIQUE, LANGAGE. ÉNONCÉS ET PREUVES EN MATHÉMATIQUES

Résumé : Cet atelier avait pour but de présenter certains outils d'analyse du langage des mathématiciens utilisant la logique mathématique à partir de l'exposé d'un travail en cours sur certains usages du mot « avec » en lien avec certaines quantifications, et de la présentation de deux travaux de thèse relativement anciens sur l'usage de marqueurs de variance (adjectifs inclus dans des syntagmes nominaux désignant des variables : « arbitraire », « choisi », « donné », « fixe », « fixé », « quelconque », « variable ») et de marqueurs logico – discursifs (« car », « comme », « parce que » et « puisque »). Les élèves découvrent en même temps les objets mathématiques et la façon d'en parler. Beaucoup de choses restent implicites concernant le langage (l'atelier a mis en évidence des exemples d'implicites problématiques dans le secondaire). Les enseignants eux-mêmes sont peu outillés pour réagir sur ce thème, ou pour approfondir leur réflexion. Le langage n'est pourtant pas un simple vecteur transparent d'idées et de concepts, et comme le rappelle par exemple Maryse Rebière (Rebière 2013) agir, parler et penser sont trois facettes indissociables de toute activité. Le langage est un outil social et individuel de construction, de négociation et de transformation des significations. Les pratiques langagières des mathématiciens sont d'autant plus complexes qu'elles jouent, de façon dialectique, sur deux registres : celui de la communication des idées, et celui de la justification formelle des faits énoncés (voir aussi Hache 2013).
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01285113
Contributor : Christophe Hache <>
Submitted on : Thursday, March 10, 2016 - 2:22:45 PM
Last modification on : Tuesday, April 13, 2021 - 11:26:01 AM
Long-term archiving on: : Monday, June 13, 2016 - 9:09:46 AM

File

Hache-Corfem2014-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01285113, version 1

Citation

Christophe Hache. LOGIQUE, LANGAGE. ÉNONCÉS ET PREUVES EN MATHÉMATIQUES. XXIIe Colloque CORFEM, Jun 2014, Grenoble, France. ⟨hal-01285113⟩

Share

Metrics

Record views

457

Files downloads

1285