A taxonomy for controlling (in)consistency

Titolo: Una tassonomia per il controllo dell'inconsistenza

Autori: Marcelo E. Coniglio e Rafael Ongaratto
Contesto: Logiche di Inconsistenza Formale (LFI), Logiche Paraconsistenti, Semantica Non-Deterministica.

---

1. Il Problema

Le Logiche di Inconsistenza Formale (LFI) sono una famiglia di logiche paraconsistenti che introducono un operatore di consistenza unario ($\circ$) per recuperare il principio di esplosione (ex contradictione quodlibet) solo quando la consistenza è garantita.
Il problema centrale affrontato dagli autori è la mancanza di una gerarchia strutturata di LFI che permetta di rappresentare diversi gradi di impegno paraconsistente (o "commitment").

• Nelle logiche esistenti come $mbC$ (la LFI minima), la consistenza può essere contraddittoria a qualsiasi livello meta-logico.
• In sistemi più forti come $mbCci$, la consistenza è richiesta essere essa stessa consistente (ogni giudizio di consistenza deve essere coerente), il che rappresenta un'estremizzazione dogmatica.
• Manca un sistema intermedio che permetta di controllare fino a quale livello di iterazione dell'operatore di consistenza ($\circ^n$) si può ammettere l'inconsistenza, permettendo di modellare contesti filosofici che variano dallo scetticismo radicale al dogmatismo, passando per posizioni pragmatiche.

2. Metodologia

Gli autori sviluppano una gerarchia bidimensionale di logiche chiamate Logiche di Consistenza Controllata (LCC), denotate come $L^k_n$.

• Dimensione $n$ (Livello di controllo della consistenza): Determina fino a quale iterazione dell'operatore $\circ$ l'inconsistenza è permessa. Si parte da $mbCciw$ (dove la consistenza può essere contraddittoria all'infinito) e si aggiungono gli assiomi $(cc_n): \circ^{n+2}\alpha$ per garantire che la consistenza diventi essa stessa consistente dopo $n$ iterazioni.
• Dimensione $k$ (Forza della negazione): Determina quanto la negazione $\neg$ è deterministica. Aumentando $k$, si aggiungono assiomi che rafforzano la negazione (es. doppia negazione, proprietà di interdefinibilità tra negazione e consistenza).

Strumenti Semantici Utilizzati:

1. Swap Structures (Strutture di Scambio): Utilizzate per fornire una semantica non-deterministica (Nmatrices) per i livelli base della gerarchia. Gli stati (snapshot) sono tuple che rappresentano i valori di verità di $\alpha$, $\neg\alpha$ e $\neg\circ\alpha$.
2. Twist Structures: Utilizzate per definire la logica a 5 valori LFI3, un'estensione di $L^2_1$. Qui le operazioni diventano deterministiche, permettendo di passare da Nmatrices non-deterministiche a matrici logiche classiche.
3. RNmatrices (Restricted Nmatrices): Utilizzate per fornire una semantica uniforme e generale per l'intera famiglia $L^k_n$. Questo approccio permette di imporre restrizioni sui valutatori (valuations) per validare gli assiomi di consistenza controllata senza dover espandere esponenzialmente il numero di valori di verità.

3. Contributi Chiave

A. La Gerarchia $L^k_n$

Gli autori definiscono formalmente la gerarchia $L^k_n$:

• $L^0_n = mbCciw + (\circ^{n+2}\alpha)$.
• $L^1_n = L^0_n + (\neg\neg\alpha \leftrightarrow \alpha)$ (doppia negazione).
• $L^k_n = L^0_n + (\neg\neg\alpha \leftrightarrow \alpha) + \text{assiomi di interdefinibilità per la negazione e la consistenza}$.
  Questa struttura unifica logiche note come $mbCci$, $Cbr$, $Cie$ e ne introduce di nuove, permettendo di modellare posizioni filosofiche diverse:
• Scetticismo: $mbCciw$ (nessun limite all'iterazione della consistenza contraddittoria).
• Dogmatismo: $L^0_0$ (la consistenza è sempre consistente, nessun dubbio sul criterio di verità).
• Pragmatismo: Livelli intermedi dove il controllo della consistenza si ferma a un livello $n$ specifico in base al contesto (es. un gioco di detective dove si può mentire sulla posizione ma non sulla veridicità della propria posizione).

B. La Logica LFI3 (5 valori)

Viene introdotta LFI3, una logica a 5 valori che estende $L^2_1$.

• È un sottologico di LFI1 (la logica J3 storica).
• Dimostra che è possibile costruire LFI con più di 3 valori mantenendo un comportamento intuitivo.
• Viene fornita un'assiomatizzazione Hilbertiana completa e una semantica basata su Twist Structures.
• Viene dimostrata la massimalità di LFI3 rispetto a LFI1: aggiungere qualsiasi teorema di LFI1 a LFI3 (che non è già in LFI3) collassa il sistema in LFI1.

C. Semantica Unificata con RNmatrices

Gli autori risolvono il problema della complessità semantica crescente (il numero di valori di verità cresce rapidamente con $n$ e $k$) introducendo le RNmatrices.

• Invece di definire matrici con $2^n$ o più valori, definiscono una matrice base (spesso a 3 valori) e un insieme di valutazioni ammissibili ($F$) che rispettano vincoli specifici (es. "se $\circ^n\alpha$ è vero o falso, allora $\circ^{n+1}\alpha$ deve essere vero").
• Questo permette di fornire una dimostrazione di correttezza e completezza uniforme per l'intera famiglia $L^k_n$.

4. Risultati Principali

1. Teoremi di Correttezza e Completezza: Dimostrati per $L^0_1$, $L^1_1$, $L^2_1$, e generalizzati per tutta la famiglia $L^k_n$ tramite RNmatrices.
2. Relazione tra Logiche:
   • $LFI3$ è un sottologico di $LFI1$ e di $CPL$ (Logica Proposizionale Classica).
   • $LFI1$ può essere recuperata all'interno di $LFI3$ tramite un operatore di consistenza specifico ($\circ^\#$).
   • La logica classica può essere recuperata all'interno di $LFI3$ tramite un altro operatore ($\circ^*$).
3. Punto Fisso della Gerarchia: Dimostrato che $L^{n+1}_n = L^m_n$ per ogni $m \geq n+2$. Questo significa che una volta raggiunto un certo livello di forza della negazione ($k=n+1$), aumentare ulteriormente la forza della negazione non cambia la logica se il livello di controllo della consistenza è già fissato.
4. Analisi Filosofica: La gerarchia fornisce un quadro logico formale per distinguere tra:
   • L'inconsistenza di un fatto ($\alpha \land \neg\alpha$).
   • L'inconsistenza del giudizio sulla consistenza ($\neg\circ\alpha$).
   • L'inconsistenza del giudizio sulla consistenza del giudizio, ecc.

5. Significato e Impatto

• Unificazione Teorica: Il lavoro unifica diverse linee di ricerca sulle LFI (da Costa, da C. Carnielli, ecc.) in un unico quadro tassonomico coerente.
• Flessibilità Pragmatica: Offre agli studiosi e ai filosofi uno strumento per modellare contesti reali in cui il grado di dubbio sulla consistenza delle informazioni varia (es. sistemi giuridici, intelligenza artificiale, gestione della conoscenza).
• Avanzamento Semantico: L'uso combinato di Swap Structures, Twist Structures e RNmatrices apre nuove direzioni per la semantica delle logiche non-classiche, permettendo di gestire logiche con molti valori in modo efficiente e intuitivo.
• Storia della Logica: La reintroduzione e l'espansione di concetti legati a LFI1/J3 e la creazione di LFI3 collegano la ricerca moderna sulle LFI con le sfide storiche poste da Jaśkowski e da Costa, dimostrando come la logica paraconsistente possa evolvere per gestire la complessità della conoscenza umana.

In sintesi, il paper presenta una tassonomia rigorosa che trasforma la "consistenza" da un concetto binario o statico in una risorsa dinamica e controllabile, adattabile a diverse esigenze filosofiche e computazionali.