💬 NLP

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

Il paper analizza l'ambiguità del termine "frazione" nella letteratura aritmetica elementare proponendo una distinzione terminologica tra fracterm, fracvalue e fracsign per chiarire il suo uso e classificandolo come una categoria collettiva piuttosto che come un singolo concetto matematico.

Autori originali: Jan A Bergstra, John V Tucker

Pubblicato 2026-04-07

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Jan A Bergstra, John V Tucker

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

🍕 La Pizza Ambigua: Perché "Frazione" è una parola in crisi

Immagina di essere in una cucina. Qualcuno chiede: "Portami una frazione!".
Cosa fai?

Prendi un foglio di carta e disegni 2/4?
Prendi una fetta di pizza che è esattamente la metà di un'altra fetta (0.5)?
O forse ti limiti a scrivere la parola "frazione" su un foglio?

Secondo gli autori di questo articolo, Jan Bergstra e John Tucker, la parola "frazione" è come un'etichetta appiccicata su un contenitore pieno di cose diverse che non dovrebbero essere mescolate. Nella matematica scolastica e quotidiana, usiamo questa parola per indicare tre cose completamente diverse, e questo crea confusione (ambiguità).

Gli autori dicono: "Non cerchiamo una definizione perfetta di 'frazione', perché non esiste. Invece, smontiamo il contenitore e chiamiamo le cose con i loro nomi veri."

Ecco come lo spiegano, passo dopo passo.

1. Il Problema: La parola "Frazione" è un "Cesto della Spesa"

Immagina che la parola "frazione" sia un cesto della spesa. Dentro ci butti:

Il disegno del numero (es. il simbolo 2/4).
Il valore reale che quel numero rappresenta (es. il numero 0.5).
La parola scritta su un foglio.

Il problema è che a scuola ci insegnano a trattare tutto questo come se fosse la stessa cosa. Ma non lo è!

Se chiedi "Qual è il denominatore di 0.5?", la domanda non ha senso. Il numero 0.5 non ha un denominatore.
Se chiedi "Qual è il denominatore di 2/4?", la risposta è 4.

Mescolare queste cose porta a paradossi assurdi (come dimostrare che 1 = 2). È come dire che "il nome di un cane" e "il cane stesso" sono la stessa cosa: se il cane cambia nome, il cane cambia? No. Se il numero cambia forma, il valore cambia? No.

2. La Soluzione: I Nuovi Nomi (I "Landmark")

Per risolvere il caos, gli autori inventano quattro nuovi termini, come se dessero nomi diversi ai vari livelli di una torta:

Il Segno (Fracsign): È il simbolo che vedi sulla lavagna o sul foglio. È l'inchiostro, il pixel, la forma visiva. È come il disegno di una pizza.
Il Termine (Fracterm): È l'espressione matematica strutturata. È la ricetta: "2 diviso 4". È come la ricetta della pizza che dice "prendi 2 ingredienti e dividili in 4".
Il Valore (Fracvalue): È il numero vero e proprio, il risultato. È il numero 0.5. È la pizza vera e propria che puoi mangiare.
La Frazione (Fraxion): È il "cesto" che contiene tutto quanto. È il concetto generale che usiamo quando non sappiamo esattamente a quale livello stiamo parlando.

L'analogia della Moneta:
Immagina una moneta da 1 euro.

Il Segno è il disegno della moneta (l'immagine di Dante Alighieri).
Il Termine è la descrizione: "una moneta di rame e nichel del 2002".
Il Valore è il potere d'acquisto: "puoi comprare un caffè".
Se dici "Ho una moneta", potresti riferirti al disegno, alla descrizione o al valore. Gli autori dicono: "Smetti di dire 'moneta' in modo vago. Dì 'disegno', 'descrizione' o 'valore'."

3. Perché è importante? (La Pizza e il Divisore Zero)

Cosa succede se proviamo a dividere per zero?

Se parli del Valore (il numero), dividere per zero è impossibile. È un errore.
Se parli del Termine (la ricetta), puoi scrivere 1/0 senza problemi. È solo una stringa di simboli.

Nelle scuole, spesso si insegna che 1/0 è "impossibile" e basta. Ma nei computer, se provi a dividere per zero, il programma si blocca o dà un errore. Gli autori suggeriscono che, per rendere la matematica più robusta (specialmente per i computer), dovremmo trattare 1/0 come un "valore speciale" (chiamato ⊥, come un segnale di errore che si propaga), invece di dire semplicemente "non esiste".

4. I Numeri: Etichette e Forme

Il paper va oltre le frazioni e parla anche dei numeri in generale.
Immagina che ogni numero abbia un'Etichetta (Label) e una Forma (Shape).

Etichetta: "Numero Naturale" (come il nome di una categoria).
Forma: Come lo scrivi?
- Forma Decimale: 7
- Forma Binaria: 111
- Forma Romana: VII
- Forma di Von Neumann (una costruzione logica complessa): { { {∅} } }

Tutte queste forme rappresentano lo stesso "concetto" di 7, ma sono oggetti diversi. Gli autori dicono che non dobbiamo cercare un "Numero 7" magico e perfetto che esiste da qualche parte nel cielo. Il numero 7 è semplicemente ciò che otteniamo quando scegliamo una forma (es. i decimali) e lavoriamo con quella.

5. La Conclusione: L'Arte dell'Ambiguità Produttiva

Il messaggio finale è sorprendente: l'ambiguità non è sempre un male.
La parola "frazione" è ambigua, ma è utile perché ci permette di parlare di cose diverse senza dover usare un linguaggio troppo tecnico ogni volta. È come dire "c'è un'auto": non specifichiamo se è una Fiat o una Ferrari, ma il messaggio passa.

Tuttavia, quando dobbiamo fare calcoli precisi, costruire software o insegnare matematica rigorosa, dobbiamo smettere di usare il "cesto della spesa" e iniziare a usare i nomi precisi:

Non dire "la frazione è un numero".
Dì "il valore della frazione è un numero, ma la forma della frazione è un'operazione".

In sintesi:
Questo paper ci invita a non avere paura delle parole confuse. Invece, quando una parola come "frazione" ci sembra troppo vaga, dobbiamo creare nuovi strumenti (come fracterm e fracvalue) per separare la forma dal contenuto, il disegno dal valore. Solo così possiamo capire davvero come funzionano i numeri, sia sulla lavagna della scuola che nel cervello di un computer.

1. Il Problema: L'Ambiguità del Concetto di "Frazione"

Il paper affronta il problema fondamentale dell'ambiguità lessicale e concettuale del termine "frazione" (fraction) nell'aritmetica elementare e nella letteratura matematica.

Natura del problema: Il termine "frazione" è usato in modo indistinto per riferirsi a entità sintattiche (espressioni con un operatore di divisione), entità semantiche (numeri razionali o valori) e segni grafici.
Conseguenze: Questa ambiguità porta a paradossi logici (es. derivazioni errate come $1=2$ ) e a confusione nella definizione di operazioni aritmetiche, specialmente riguardo alla divisione per zero e alla semplificazione.
Ipotesi di lavoro: Gli autori sostengono che "frazione" non sia un concetto matematico ben definito, ma piuttosto una categoria (nel senso sociologico di Brubaker) che raggruppa diversi concetti distinti ma correlati. A differenza dei concetti, che hanno definizioni precise, le categorie hanno descrizioni illustrative e permettono un'ambiguità "produttiva".

2. Metodologia: Il Metodo di Risoluzione dell'Ambiguità

Gli autori applicano un metodo formale per analizzare e risolvere l'ambiguità, basato su tre fasi principali:

Identificazione delle "Landmark Notions" (Notioni di Riferimento): Invece di cercare una definizione unica per il termine ambiguo, si introducono nuovi termini precisi che catturano le diverse interpretazioni ("ipotesi di significato") del termine originale.
Classificazione dei Livelli di Astrazione: Si distinguono i diversi livelli di astrazione in cui il termine opera (sintassi, semantica, testo).
Analisi degli Effetti (Fractalk): Si esaminano come l'uso di questi nuovi termini precisi trasformi il discorso aritmetico, eliminando paradossi e chiarendo le regole di inferenza.

3. Contributi Chiave: Nuove Terminologie e Concetti

Il contributo principale del paper è l'introduzione di una tassonomia rigorosa per sostituire l'uso vago di "frazione". Vengono definiti quattro concetti fondamentali (le "landmark notions"):

A. Fracterm (Termino Frazionario)

Definizione: Un'espressione sintattica in cui l'operatore di divisione è il simbolo funzionale principale.
Caratteristiche: È un concetto puramente strutturale. Include espressioni come $\frac{1}{2}$ , $\frac{4}{6}$ , ma anche $\frac{1}{0}$ o $\frac{0}{0}$ . Non implica un valore numerico specifico.
Sottocategorie:
- Flat fracterm: Numeratore e denominatore non contengono divisioni.
- Simple fracterm: Numeratore e denominatore sono interi decimali.
- Simplified simple fracterm (SSFT): Una forma canonica che non ammette ulteriore semplificazione.

B. Fracvalue (Valore Frazionario)

Definizione: L'entità semantica denotata da un fracterm.
Caratteristiche: Tipicamente un numero razionale, ma include anche "numeri periferici" come $\bot$ (errore/divisione per zero), $\infty$ , e $NaN$.
Relazione: Un fracterm denota un fracvalue, ma la mappatura non è sempre biunivoca (es. $\frac{2}{4}$ e $\frac{1}{2}$ sono fracterms diversi che denotano lo stesso fracvalue).

C. Fracsign (Segno Frazionario)

Definizione: L'astrazione del segno grafico o testuale (es. la notazione $\frac{a}{b}$ o $a \div b$ ).
Caratteristiche: Rappresenta la forma visiva o testuale, indipendente dal contesto specifico di occorrenza.

D. Fracsign Occurrence (Occorrenza del Segno)

Definizione: L'istanza specifica di un fracsign in un testo (con una specifica tipografia, posizione, ecc.).
Importanza: È il livello più basso di astrazione; è l'occorrenza che viene interpretata nel contesto per determinare se si riferisce a un fracterm o a un fracvalue.

E. Fraxion

Definizione: Un concetto disgiuntivo che unisce i tre livelli precedenti: $Fraxion = Fracvalue \oplus Fracterm \oplus Fracsign$ .
Scopo: Rappresenta la categoria "frazione" in modo non ambiguo ma disgiuntivo, permettendo di specificare quale livello di astrazione è attivo in un dato contesto.

4. Risultati e Applicazioni

Risoluzione dei Paradossi

Gli autori dimostrano come la distinzione tra fracterm e fracvalue risolva paradossi classici.

Esempio: L'argomentazione che porta a $1=2$ $1 = 2$ basata sul fatto che $\frac{1}{2} = \frac{2}{4}$ $\frac{1}{2} = \frac{2}{4}$ ma i numeratori sono diversi ( $1 \neq 2$ $1 \neq = 2$ ) fallisce perché confonde i livelli.
- I fracterms $\frac{1}{2}$ e $\frac{2}{4}$ hanno numeratori diversi (1 e 2).
- I fracvalues denotati sono uguali.
- La contraddizione scompare quando si specifica che l'uguaglianza vale per i valori, non per la struttura sintattica.

Gerarchia di Astrazione e "Fractalk"

Viene proposta una gerarchia di riferimento:
$\text{Fracsign Occurrence} \rightarrow \text{Fracsign} \rightarrow \text{Fracterm} \rightarrow \text{Fracvalue}$
In assenza di informazioni contestuali specifiche, le occorrenze di frazioni tendono a essere interpretate come fracvalue (valore), a meno che il contesto non richieda esplicitamente una manipolazione sintattica (es. "semplifica la frazione").

Numeri come "Etichette" e "Forme" (Labels e Shapes)

Il paper estende l'analisi ai sistemi numerici introducendo:

Label (Etichetta): Indica il tipo di numero (es. naturale, intero, razionale).
Shape (Forma): La specifica costruzione o rappresentazione di quel tipo (es. numeri decimali, numeri di Von Neumann, classi di equivalenza di coppie).
Concetto di "Notione Trasversale" (Cross-cutting notion): Il numero (es. "7") è visto come una nozione che attraversa diverse forme, mentre la frazione è una "nozione trasversale verticale" che attraversa diversi livelli di astrazione (sintassi/semantica).

Divisione per Zero

Il paper discute l'approccio alla divisione per zero ( $1/0$ ).

In contesti scolastici, spesso si evita il problema o si usa un approccio "retrospettivo" (si assume che il divisore sia non nullo).
In informatica e algebra (es. Common Meadows), si adotta l'approccio "prospettico" dove $1/0 = \bot$ (un elemento periferico che propaga l'errore). Questo permette di mantenere la chiusura algebrica delle operazioni senza interruzioni.

5. Significato e Implicazioni

Pedagogia: L'analisi suggerisce che l'insegnamento delle frazioni dovrebbe essere più esplicito sulla distinzione tra la manipolazione sintattica (calcolo con i fracterms) e il significato numerico (fracvalues). Questo chiarirebbe concetti come la semplificazione e l'uguaglianza.
Filosofia della Matematica: Il paper sfida il platonismo matematico rigido, suggerendo che termini come "frazione" e persino "numero" non sono entità uniche e ben definite, ma categorie flessibili o nozioni trasversali che dipendono dal contesto e dalla forma di rappresentazione scelta (shape).
Strutturalismo: Viene proposta una forma di "strutturalismo ingenuo" (o naive structuralism), dove l'attenzione si sposta dall'essenza ontologica del numero alla sua funzione all'interno di una specifica forma di rappresentazione (es. i numeri naturali come sequenze decimali).
Informatica e Logica: Le definizioni precise di fracterm e fracvalue sono essenziali per la formalizzazione dell'aritmetica nei sistemi di calcolo, nei dimostratori di teoremi e nella gestione degli errori (divisione per zero) nei linguaggi di programmazione.

In sintesi, il paper non cerca di eliminare l'ambiguità del termine "frazione" nella lingua comune, ma fornisce un framework tecnico per disambiguarla quando necessario, trasformando un concetto vago in una categoria produttiva composta da concetti precisi e ben definiti.