Classical Logic without Bivalance

Questo articolo applica la semantica di Sandqvist alla logica classica senza bivalenza per affrontare questioni metamatematiche fondamentali, offrendo una prova di consistenza elementare per l'aritmetica di Peano basata esclusivamente sull'induzione ordinaria e senza ricorrere a verità trascendenti la riconoscibilità.

L'essenziale

Ecco una spiegazione semplice e creativa del paper "Aritmetica Classica senza Bivalenza" di Alexander V. Gheorghiu, pensata per un pubblico generale.

Il Problema: La Matematica ha bisogno di "Oltre" la realtà?

Immagina che la matematica sia come un enorme gioco di costruzione (tipo LEGO).
Per secoli, i filosofi e i matematici hanno litigato su due modi di guardare questo gioco:

1. I Formalisti (Le Regole del Gioco): Per loro, i numeri sono solo pezzi di plastica. Non importa cosa rappresentano, importa solo che le regole per incastrarli siano corrette. Il problema? A volte le regole dicono "puoi costruire una torre alta 100 pezzi" e "puoi costruire una torre alta 1000 pezzi", ma non riescono a dirti se puoi costruire una torre infinita. È come se il manuale di istruzioni avesse un buco: sai come fare ogni singolo passo, ma non sai se l'edificio reggerà per sempre.
2. I Denotazionalisti (Il Mondo Reale): Per loro, i pezzi LEGO rappresentano oggetti reali che esistono da qualche parte nel cosmo, indipendentemente da noi. Se dici "esiste un numero", significa che c'è un "numero fantasma" che galleggia nell'universo. Il problema? Questo richiede di credere in cose che non possiamo toccare né vedere (un realismo metafisico forte).

La domanda di Dummett: Come possiamo usare la logica classica (quella che usiamo tutti i giorni) senza dover credere in questi "numeri fantasma" o senza accettare che le regole del gioco abbiano buchi misteriosi?

La Soluzione: Il Gioco è la Realtà

Gheorghiu, basandosi sul lavoro di Sandqvist, propone una terza via: l'Inferenzialismo.

Immagina che il significato di una parola (come "numero") non sia un oggetto nascosto, ma il modo in cui la usiamo.

• Se dico "2", non sto indicando un oggetto magico. Sto dicendo: "Questo è il pezzo che ottengo dopo aver aggiunto un pezzo a '1'".
• In questo gioco, l'esistenza è definita dalle regole. Se il gioco delle regole (l'aritmetica) dice che i numeri sono solo i pezzi che possiamo costruire partendo dallo zero, allora non esistono altri numeri. Non ci sono "numeri nascosti" sotto il tappeto.

Il Trucco Magico: La Chiave per la Coerenza

Il punto di svolta del paper è la coerenza.
In matematica, "coerente" significa che il gioco non crolla su se stesso (non puoi dimostrare che 1 = 0, altrimenti tutto il castello di carte crolla).

Fino ad oggi, per dimostrare che l'aritmetica non crolla, i matematici dovevano usare strumenti "magici" e complessi (come gli ordini transfiniti, che sono come scale infinite che salgono oltre l'infinito). Era come usare un razzo per dimostrare che un sasso non cade.

Cosa fa Gheorghiu?
Dimostra che l'aritmetica è coerente usando solo l'induzione ordinaria.

• Analogia: Immagina di dover dimostrare che una fila di tessere del domino non cadrà mai tutte insieme.
  • Il metodo vecchio diceva: "Guarda questa fila infinita di domini che si estende fino allo spazio esterno...".
  • Il metodo di Gheorghiu dice: "Basta guardare come sono fatte le tessere. Se la prima è stabile e ogni tessera sostiene quella dopo, allora la fila è stabile. Non serve guardare lo spazio esterno".

Come funziona la sua "Base" (Il Campo da Gioco)

Gheorghiu costruisce un "campo da gioco" (chiamato Base) dove:

1. Ogni numero è un nome per un pezzo specifico.
2. Assegna a ogni pezzo un "peso" (come se ogni pezzo avesse un numero di mattoncini che lo compongono).
3. Dimostra che, seguendo le regole del gioco, non puoi mai far coincidere due pezzi con pesi diversi (non puoi mai dire che un pezzo da 100 pesa come un pezzo da 0).

Poiché il "peso" è calcolato con regole semplici e ordinarie (senza magia), e poiché le regole del gioco rispettano sempre questi pesi, il gioco non può mai produrre una contraddizione (come dire che 1 = 0).

Perché è importante?

1. Niente "Oltre" la realtà: Non serve credere in un mondo di numeri magici. I numeri sono ciò che facciamo quando li usiamo nelle nostre regole.
2. Niente buchi (ω-incompletezza): Nel vecchio modo di vedere le cose, potevi dimostrare che "tutti i numeri specifici funzionano" ma non potevi dire "tutti i numeri funzionano". Qui, se il gioco definisce i numeri solo come quelli che puoi costruire, allora non ci sono "altri numeri" nascosti. Il problema sparisce.
3. Una prova semplice: Dimostra che la matematica di base è sicura usando solo ragionamenti semplici, senza bisogno di teorie complicate che vanno oltre la nostra comprensione immediata.

In sintesi

Immagina che la logica sia come un linguaggio di istruzioni.
Gheorghiu ci dice: "Non preoccupatevi se le istruzioni sembrano descrivere cose che non esistono nel mondo fisico. Finché le istruzioni sono chiare, coerenti e ci permettono di costruire tutto ciò di cui abbiamo bisogno senza cadere in contraddizioni, allora il gioco funziona perfettamente".

Ha dimostrato che possiamo avere un'aritmetica classica, solida e sicura, senza dover credere in "fantasmi matematici" o usare strumenti troppo complessi per capire le nostre stesse regole. È come dire che per sapere che un ponte è sicuro, non serve costruire un ponte più grande sopra di esso; basta capire bene come sono stati assemblati i suoi pilastri.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Classical Arithmetic Without Bivalence" di Alexander V. Gheorghiu, strutturata secondo le sezioni richieste.

1. Il Problema

Il paper affronta le sfide fondazionali poste dall'anti-realismo di Michael Dummett riguardo alla logica classica e all'aritmetica. Tradizionalmente, la metamatematica si è basata su due approcci:

• Formalismo: tratta le teorie come sistemi di manipolazione di simboli non interpretati. Questo approccio fatica a spiegare fenomeni come l'$\omega$-incompletezza (dove una teoria prova $\varphi(n)$ per ogni numerale $n$, ma non $\forall x \varphi(x)$) senza accettare tali limiti come "fatti bruti".
• Denotazionalismo (Realismo): tratta il vocabolario matematico come riferito a strutture indipendenti dalla mente. Sebbene spieghi l'incompletezza, presuppone una metafisica realista e una teoria del significato basata sulle condizioni di verità, che l'anti-realismo rifiuta.

L'obiettivo è fornire un account anti-realistico della ragionamento classico e dimostrare la consistenza dell'Aritmetica di Peano (PA) senza ricorrere a ontologie indipendenti dalla mente o a ordinali transfiniti, utilizzando invece la semantica inferenziale.

2. Metodologia

L'autore applica la semantica di Sandqvist (2009) per la logica classica senza bivalenza, un quadro inferenzialista in cui il significato è determinato dal ruolo inferenziale e dall'assertibilità giustificata.

• Semantica di Base (Base Semantics):

  • Si fissa un linguaggio del primo ordine. Le regole atomiche (inference figures) definiscono una "base" $B$, che rappresenta gli impegni inferenziali materiali di un agente.
  • Il giudizio di supporto $\Vdash_B A$ è definito induttivamente (Figura 1 del paper). La clausola per la negazione e l'implicazione non si basa su valori di verità, ma sulla relazione tra basi e derivabilità.
  • La quantificazione universale è vincolata alla sintassi: $\Vdash_B \forall x \varphi$ se e solo se $\Vdash_B \varphi[x \mapsto t]$ per ogni termine chiuso $t$.

• Definizione di Teoria Numericamente Definita:

  • Una teoria $\Gamma$ è "numericamente definita" se per ogni termine chiuso $t$, esiste un numerale $\bar{n}$ tale che $\Gamma \Vdash (t = \bar{n})$.
  • In questo quadro, l'ontologia è fissata dalla teoria stessa: ciò che esiste è determinato dai ruoli inferenziali dei termini.

• Strumento di Dimostrazione:

  • Per dimostrare la consistenza, l'autore costruisce una base specifica $A$ (l'"Arithmetic Base") che supporta gli assiomi di PA.
  • Viene introdotta una funzione di peso $w(t)$ definita per ricorsione primitiva sui termini chiusi ($0, S, +, \cdot$) per dimostrare che la base$A$non può derivare identità numeriche false (es.$1=0$).

3. Contributi Chiave

Il paper apporta tre contributi fondamentali alla metamatematica inferenzialista:

1. Risoluzione dell'$\omega$-incompletezza:
   Dimostra che in una semantica inferenzialista, se una teoria è numericamente definita, essa è automaticamente $\omega$-completa. Se $\Gamma \Vdash \varphi(\bar{n})$ per ogni numerale, allora $\Gamma \Vdash \forall x \varphi(x)$. Questo elimina il divario tra Robinson Arithmetic ($Q$) e PA a livello semantico, poiché la teoria stessa fissa l'ontologia sui numerali, rendendo inutile l'ipotesi di entità "non nominate" al di fuori della sintassi.

2. L'Induzione come Costituente di Significato:
   L'induzione non è presentata come un'ipotesi sostanziale su un dominio preesistente, ma come una regola costitutiva della comprensione dei numeri naturali. Se una teoria è numericamente definita, l'induzione segue logicamente dalla struttura dei termini e dalla sostituzione di uguali con uguali.

3. Dimostrazione Elementare di Consistenza:
   Fornisce una prova di consistenza per l'Aritmetica di Peano (PA) che:

   • Utilizza solo l'induzione ordinaria sui numeri naturali (nel metalinguaggio).
   • Non fa ricorso a ordinali transfiniti (necessari nel formalismo hilbertiano per superare i limiti di PA).
   • Non presuppone un'ontologia realista indipendente.

4. Risultati Principali

• Teorema 9 (Consistenza di PA): L'Aritmetica di Peano è consistente ($PA \nVdash \bot$).

  • Dimostrazione: Si costruisce una base $A$ (Figura 2) che include le regole per gli assiomi di uguaglianza e gli assiomi di PA. Si definisce una funzione di peso $w(t)$ tale che se $t_1 = t_2$ è derivabile in $A$, allora $w(t_1) = w(t_2)$. Poiché $w(1) \neq w(0)$, l'identità $1=0$non è derivabile, e quindi$\bot$ non è supportato.
  • La prova è valida perché la definizione del rapporto di supporto e il ragionamento su di esso sono legittimati dall'inferenzialismo (circolarità pragmatica, non viziosa), permettendo l'uso dell'induzione nel metalinguaggio.

• Validità e Completezza:

  • Viene mostrato che la derivabilità classica ($\vdash$) è corretta rispetto alla semantica di supporto ($\Vdash$).
  • Anche in un'estensione del linguaggio con una riserva infinita di costanti (per garantire la completezza $\Vdash \iff \vdash$), l'argomento di consistenza rimane valido e elementare, trattando le costanti aggiuntive come semplici nomi alternativi per lo zero.

5. Significato e Implicazioni

Il lavoro di Gheorghiu ha un'importanza filosofica e tecnica significativa:

• Superamento del Circolo Vizioso: Risponde all'obiezione che dimostrare la consistenza di PA richieda una teoria più forte di PA stessa. Nel quadro inferenzialista, l'uso dell'induzione nel metalinguaggio non è un'ipotesi ontologica aggiuntiva, ma fa parte della stessa pratica che dà significato ai numeri naturali.
• Alternativa al Formalismo e al Realismo: Offre una via di mezzo che mantiene la logica classica (e quindi la potenza deduttiva della PA) senza accettare il realismo metafisico o i limiti del formalismo puro.
• Ontologia Flessibile: Sposta il focus dall'esistenza di oggetti matematici "là fuori" alla coerenza delle pratiche inferenziali. Il fatto che la teoria definisca la propria ontologia (i numerali) risolve immediatamente problemi di incompletezza che affliggono altre prospettive.
• Impatto sulla Metamatematica: Dimostra che è possibile condurre argomenti metamatematici complessi (come la consistenza) all'interno di un quadro anti-realista, utilizzando solo risorse matematiche ordinarie e induttive, senza bisogno di "verità trascendenti" o strutture transfinitie.

In sintesi, il paper stabilisce che l'aritmetica classica può essere fondata su una semantica inferenzialista coerente, dove la consistenza è una proprietà emergente della struttura dei termini e delle regole di inferenza, piuttosto che una verità da scoprire in un universo matematico esterno.