💬 NLP

On Ambiguity: The case of fraction, its meanings and roles

Cet article propose de résoudre l'ambiguïté du terme « fraction » dans l'arithmétique élémentaire en le redéfinissant non pas comme un concept mathématique unique, mais comme une catégorie regroupant plusieurs notions distinctes (fracterm, fracvalue, fracsign) afin de clarifier le discours mathématique et d'analyser la nature des nombres.

Auteurs originaux : Jan A Bergstra, John V Tucker

Publié 2026-04-07

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Jan A Bergstra, John V Tucker

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🍕 Le Cas de la Part de Gâteau : Pourquoi "Fraction" est un mot un peu flou

Imaginez que vous êtes dans une cuisine. Quelqu'un vous dit : « Passe-moi la fraction ! ».
Que donnez-vous ?

Donnez-vous le morceau de gâteau lui-même (la valeur) ?
Donnez-vous le couteau et l'assiette avec le mot « 1/2 » écrit dessus (le signe) ?
Ou donnez-vous simplement la formule mathématique « 1 divisé par 2 » (l'expression) ?

C'est exactement le problème que deux chercheurs, Jan Bergstra et John Tucker, ont décidé d'explorer. Ils disent que le mot « fraction » en mathématiques est comme un couteau suisse : il sert à tout faire, mais on ne sait jamais exactement quel outil on utilise à un moment donné.

Voici leur idée, expliquée avec des métaphores simples.

1. Le Problème : Le mot « Fraction » est un caméléon 🦎

Dans les livres d'école, le mot « fraction » change de sens selon le contexte.

Parfois, c'est un nombre (comme 0,5).
Parfois, c'est un dessin (le trait de division avec un chiffre en haut et un en bas).
Parfois, c'est une action (diviser quelque chose).

Les auteurs disent : « Arrêtons de chercher une définition unique et parfaite pour "fraction". C'est impossible ! » Au lieu de cela, ils proposent de dire que « fraction » n'est pas un concept unique, mais une famille (ou une « catégorie ») de plusieurs concepts différents qui se ressemblent.

2. La Solution : Créer de nouveaux mots pour clarifier 🏷️

Pour arrêter la confusion, les auteurs inventent quatre nouveaux mots (des « balises ») pour distinguer les différentes facettes de la fraction. Imaginez que vous avez une boîte à outils, et que vous étiquetez chaque outil différemment :

Le Fracterm (L'expression) : C'est la recette ou la formule écrite sur le papier.
- Analogie : C'est comme écrire « 2/4 » sur un bout de papier. C'est juste des symboles. On peut voir que le chiffre du bas est pair, mais on ne peut pas dire que le nombre 2/4 est pair (car 2/4 = 0,5, qui n'est pas un entier).
Le Fracvalue (La valeur) : C'est le résultat réel, le nombre derrière les symboles.
- Analogie : C'est le goût du gâteau. Que vous écriviez « 2/4 » ou « 1/2 », le goût (la valeur) est exactement le même. C'est le nombre rationnel lui-même.
Le Fracsign (Le signe) : C'est le symbole visuel lui-même.
- Analogie : C'est l'encre sur le papier, la forme du trait de division, la couleur du chiffre. C'est l'objet physique ou numérique que l'on voit.
Le Fraxion (Le mélange) : C'est un mot fourre-tout qui signifie « n'importe lequel des trois ci-dessus ».
- Analogie : C'est comme dire « Passe-moi le truc ». Selon le contexte, vous comprendrez si on parle du papier, du nombre ou du symbole.

3. Pourquoi est-ce important ? Le piège du « 1 = 2 » ⚠️

Pourquoi se casser la tête avec ces mots compliqués ? Parce que si on mélange les sens, on peut prouver des choses absurdes, comme « 1 = 2 ».

Voici le piège classique :

On dit que « 1/2 » a un numérateur de 1.
On dit que « 2/4 » a un numérateur de 2.
On dit que « 1/2 » est égal à « 2/4 » (car c'est la même valeur).
Conclusion fausse : Donc, le numérateur de « 1/2 » (qui est 1) est égal au numérateur de « 2/4 » (qui est 2). Donc 1 = 2.

L'erreur ? On a mélangé la recette (le fracterm) et le résultat (le fracvalue).

La recette « 1/2 » a bien un 1 en haut.
La recette « 2/4 » a bien un 2 en haut.
Mais le résultat (le nombre) est le même.
En séparant clairement la recette du résultat, le paradoxe disparaît. On ne peut plus comparer le chiffre écrit en haut de deux recettes différentes pour dire qu'elles sont égales.

4. Les Nombres : Des étiquettes et des formes 🏷️📦

Les auteurs vont encore plus loin. Ils disent que même le mot « Nombre » est flou.

L'étiquette (Label) : C'est le nom de la catégorie, comme « Nombre Naturel » ou « Nombre Rationnel ».
La forme (Shape) : C'est la façon dont on écrit ou on construit ce nombre.
- Exemple : Le nombre « 7 ».
- Forme 1 : Le chiffre « 7 » (décimal).
- Forme 2 : Un tas de 7 bâtonnets.
- Forme 3 : Une suite de 7 en informatique (binaire).

Toutes ces formes sont des « 7 », mais elles ne sont pas identiques. Les auteurs suggèrent qu'en mathématiques, on ne devrait pas essayer de trouver le nombre 7 parfait, mais accepter qu'il existe sous plusieurs formes (ou « shapes ») selon le contexte.

5. Conclusion : L'ambiguïté est utile 🌟

Le message final de l'article est surprenant : L'ambiguïté n'est pas toujours mauvaise.

Dans la vie de tous les jours et même à l'école, le mot « fraction » est utile parce qu'il est flou. Il nous permet de parler de la recette, du résultat et du symbole sans avoir à préciser à chaque fois : « Je parle du symbole écrit, pas de la valeur ».

Les auteurs nous disent :

« Ne cherchez pas à définir "fraction" comme un concept unique et rigide. Acceptez-le comme une famille de concepts. Utilisez des mots précis (fracterm, fracvalue) quand vous avez besoin de rigueur (comme en informatique ou en logique), mais gardez le mot "fraction" pour la conversation de tous les jours. »

En résumé :
Ce papier nous apprend à ne pas avoir peur des mots flous. Au lieu de les interdire, il faut les décomposer. Comme un chef qui sait exactement quelle épice il utilise, même si le client ne voit qu'un plat unique. En mathématiques, distinguer la recette (fracterm) du plat (fracvalue) évite les catastrophes culinaires (et les erreurs de calcul) ! 🍽️🧮

1. Le Problème : L'ambiguïté du terme « Fraction »

L'article part du constat que le terme « fraction » (fraction) dans l'arithmétique élémentaire et la littérature mathématique est fondamentalement ambigu et mal défini. Contrairement à l'idée reçue selon laquelle les concepts mathématiques sont précis, « fraction » désigne une pluralité d'interprétations qui varient selon le contexte :

Syntaxique : Une expression structurée avec un opérateur de division (ex: $\frac{1}{2}$ , $\frac{4}{8}$ , $\frac{1}{0}$ ).
Sémantique : Un nombre (souvent un nombre rationnel) représentant la valeur de l'expression.
Textuel : La notation elle-même sur le papier ou l'écran.

Cette ambiguïté pose des problèmes logiques, notamment dans la résolution de paradoxes (ex: la confusion entre la propriété d'avoir un numérateur pair et la valeur numérique). Les auteurs soutiennent que « fraction » ne qualifie pas un concept mathématique unique, mais fonctionne comme une catégorie regroupant plusieurs concepts distincts.

2. Méthodologie : La méthode de résolution de l'ambiguïté

Les auteurs proposent une méthode formelle pour traiter l'ambiguïté lexicale dans le discours mathématique, inspirée par l'analyse sociologique des catégories (Brubaker) et l'analyse conceptuelle (Plan de Canberra).

La démarche en trois étapes :

Identification des « Landmarks » (Repères) : Au lieu de chercher une définition unique impossible, on identifie des notions « voisines » clairement définies qui capturent les différentes interprétations possibles du terme ambigu.
Création d'une terminologie nouvelle : On introduit des termes précis pour désigner ces repères, séparant ainsi la syntaxe, la sémantique et la textualité.
Analyse des effets (Fractalk) : On examine comment l'utilisation de ces termes précis transforme le discours arithmétique, éliminant les paradoxes et clarifiant les règles de calcul.

3. Contributions Clés : Les nouveaux concepts

Pour désambiguïser « fraction », les auteurs introduisent quatre notions fondamentales (les « landmarks ») et un concept synthétique :

A. Les quatre notions de base

Fracterm (Terme fractionnaire) :
- C'est une notion syntaxique.
- Définition : Une expression algébrique dont l'opérateur principal est la division.
- Exemple : $\frac{1}{2}$ , $\frac{4}{8}$ , $\frac{1}{0}$ , $\frac{x}{y}$ .
- Caractéristique : Permet de discuter de la structure (numérateur, dénominateur, simplification) sans se soucier de la valeur numérique. Un fracterm peut être non défini (ex: $\frac{1}{0}$ ).
Fracvalue (Valeur fractionnaire) :
- C'est une notion sémantique.
- Définition : La valeur numérique désignée par un fracterm.
- Portée : Inclut les nombres rationnels classiques, mais aussi des éléments périphériques comme $\bot$ (erreur/indéfini), $\infty$ , ou NaN (Not a Number), selon le système algébrique (ex: les « meadows » communs).
- Distinction : La valeur de $\frac{4}{8}$ et de $\frac{1}{2}$ est la même (1/2), même si les fracterms sont différents.
Fracsign (Signe fractionnaire) :
- C'est une notion textuelle/abstraite.
- Définition : L'abstraction du symbole écrit (ex: le symbole « / » ou la barre de fraction) indépendamment de son occurrence spécifique.
Fracsign occurrence (Occurrence de signe fractionnaire) :
- C'est le niveau le plus bas d'abstraction.
- Définition : L'instance concrète du signe dans un texte (avec sa typographie, sa taille, sa couleur, son contexte immédiat). C'est l'élément qui permet de déterminer le niveau d'interprétation (syntaxe ou sémantique) dans un énoncé donné.

B. Le concept synthétique : Fraxion

Définition : Un Fraxion est l'union disjointe des quatre notions ci-dessus ( $\text{fraxion} = \text{fracvalue} \oplus \text{fracterm} \oplus \text{fracsign} \oplus \text{fracsign occurrence}$ ).
Rôle : C'est un concept disjonctif précis qui permet de gérer l'ambiguïté de « fraction » sans la nier. Dans un contexte donné, un fraxion doit être interprété comme l'un des composants (généralement avec une hiérarchie de préférence : valeur > terme > signe).

4. Résultats et Applications Techniques

Résolution des paradoxes

Les auteurs démontrent que des paradoxes apparents (comme la déduction fausse $1=2$ ) proviennent de la confusion des niveaux d'abstraction.

Exemple : Dire que « $\frac{1}{2}$ a un numérateur 1 » est vrai pour le fracterm. Dire que « $\frac{1}{2} = \frac{2}{4}$ » est vrai pour les fracvalues. Mélanger les deux (affirmer que les numérateurs doivent être égaux car les valeurs sont égales) est une erreur de catégorie. La distinction fracterm/fracvalue résout ce paradoxe.

Hiérarchie d'abstraction et règles de référence

L'article établit une hiérarchie :
Occurrence de signe $\to$ Signe $\to$ Fracterm $\to$ Fracvalue.
Une règle de « chaînage par défaut » est proposée : dans l'arithmétique élémentaire, une occurrence de signe fait référence à la fracvalue (le résultat), sauf si le contexte impose explicitement une analyse syntaxique (ex: « le fracterm $\frac{4}{6}$ est simplifiable »).

Division par zéro et Arithmétique scolaire

L'analyse permet de traiter formellement la division par zéro :

Dans l'arithmétique scolaire, on utilise souvent une « division rétrospective » (on suppose que le diviseur est non nul).
En informatique et dans les « meadows communs », on adopte l'approche « prospective » où $\frac{1}{0} = \bot$ (un élément périphérique qui se propage).
Les auteurs soutiennent que l'enseignement de l'arithmétique est essentiellement l'enseignement de la manipulation de formes (shapes) et de règles de transformation, et non d'entités abstraites immuables.

5. Extension : Labels et Shapes pour les Nombres

L'analyse des fractions mène à une réflexion plus large sur la nature des nombres.

Label (Étiquette) : Identifie le type de nombre (naturel, entier, rationnel, réel).
Shape (Forme) : Définit la construction concrète et la représentation des nombres pour une étiquette donnée (ex: les entiers naturels peuvent être représentés par la forme décimale, la forme de von Neumann, la forme de Zermelo, etc.).
Notion transversale (Cross-cutting notion) : Le « nombre » (ex: le nombre 7) est une notion transversale qui traverse différentes formes. Il n'existe pas de définition unique du nombre 7, mais une collection d'instances dans différentes formes.
Les auteurs proposent une forme de « structuralisme naïf » : pour l'arithmétique élémentaire, il est préférable de travailler avec une forme spécifique (ex: décimale) plutôt que de chercher une abstraction philosophique totale qui rendrait l'enseignement impossible.

6. Signification et Conclusion

Statut épistémologique : « Fraction » n'est pas un concept mathématique défini, mais une catégorie productive. Son ambiguïté est utile car elle permet de passer fluidement entre la syntaxe (calcul) et la sémantique (valeur) selon les besoins.
Impact pédagogique : L'article suggère que l'enseignement des fractions devrait expliciter ces niveaux (terme vs valeur) pour éviter les confusions logiques chez les élèves, notamment concernant la simplification et la division par zéro.
Impact théorique : La méthodologie proposée (identifier les landmarks, créer des termes précis, analyser les effets) offre un cadre robuste pour traiter d'autres ambiguïtés mathématiques (comme « nombre » ou « probabilité »).
Conclusion : L'ambiguïté n'est pas un défaut à éliminer par une définition unique, mais une caractéristique structurelle du discours mathématique qui peut être gérée par une terminologie fine et une compréhension claire des niveaux d'abstraction.

En résumé, ce papier fournit une ingénierie conceptuelle rigoureuse pour décomposer le terme « fraction », transformant un problème de définition floue en un système formel clair de termes syntaxiques, sémantiques et textuels, avec des implications directes pour la logique, l'informatique et la pédagogie.