Better Understanding, Understanding Better

Sintesi Tecnica: "Comprendere Meglio, Comprendere Meglio"

Problematica
L'epistemologia e la filosofia della scienza contemporanee distinguono la comprensione dalla conoscenza, sottolineando in particolare che la comprensione ammette dei gradi (si può comprendere qualcosa "meglio" o "più profondamente" rispetto a un'altra cosa) ed è intrinsecamente comparativa. Sebbene la logica epistemica abbia sviluppato strumenti ricchi per la conoscenza e la credenza, ha prestato relativamente poca attenzione alla modellazione di queste specifiche caratteristiche della comprensione. Gli approcci formali esistenti, come la logica del sapere perché [35] e la sua estensione al comprendere perché tramite la spiegazione di ordine superiore [31], catturano la necessità del supporto esplicativo ma mancano degli strumenti per rappresentare una gerarchia di profondità esplicativa o per confrontare esplicitamente i livelli di comprensione di diversi agenti riguardo alla stessa proposizione. Inoltre, le standard logiche della giustificazione spesso omettono l'operatore di somma ($+$) o mancano di strutture graduate necessarie per modellare la transizione dalla comprensione minima a quella ideale.

Metodologia
Il saggio propone una Logica Epistemica Comparativa della Comprensione (CELU) che integra tre componenti fondamentali:

1. Modalità Graduate: Una famiglia di operatori $U^\tau_i \phi$ dove $\tau \in \mathbb{N}^+ \cup \{\omega\}$ rappresenta il livello di comprensione. Gli indici finiti ($1, 2, \dots$) corrispondono a standard esplicativi crescenti (dalla comprensione minima alla tipica comprensione scientifica), mentre $\omega$ rappresenta la comprensione ideale.
2. Connettivo Comparativo: Un operatore binario primitivo $(i \succ j)\phi$ che significa "l'agente $i$ comprende il perché di $\phi$ meglio dell'agente $j$".
3. Semantica Graduata Indicizzata per Agente: La semantica arricchisce i modelli epistemici multi-agente con:
   • Un insieme di termini esplicativi $E$ chiuso sotto operazioni ($\cdot, +, !$) e contenente una costante $c$.
   • Una mappa di grado $gr: E \to \mathbb{N}$ che assegna una "forza" a ciascun termine. Crucialmente, l'operazione di somma ($+$) è strettamente declassante rispetto al grado (se gli input sono positivi, la somma ha un grado inferiore), riflettendo la perdita di specificità quando si combinano le spiegazioni.
   • Funzioni di spiegazione ammissibili indicizzate per agente $E_i(t, \phi)$, che indicano in quali mondi l'agente $i$ possiede il termine $t$ come spiegazione per $\phi$.

La condizione di verità per $U^n_i \phi$ richiede l'esistenza di un singolo termine esplicativo $t$ con grado $\ge n$ che sia disponibile per l'agente $i$ in tutti i mondi accessibili. L'operatore comparativo $(i \succ j)\phi$ è definito semanticamente come: (1) il grado della comprensione di $i$ di $\phi$ (il supremo dei livelli $n$ in cui vale $U^n_i \phi$) è strettamente maggiore di quello di $j$, e (2) $j$ conosce $\phi$.

Contributi Chiave
Il saggio presenta quattro contributi tecnici primari:

1. Framework Unificato: Fornisce un singolo framework logico capace di rappresentare la comprensione minima, ordinaria, esigente e ideale, insieme a giudizi comparativi tra agenti.
2. Calcolo Finito Limitato ($SCU_\kappa$): Per ogni livello finito $\kappa$ fissato, gli autori definiscono un sistema di stile Hilbert finitario. Essi stabiliscono la correttezza (soundness) e la completezza forte per questo sistema. Inoltre, dimostrano che i problemi di soddisfacibilità e validità per i frammenti a livello finito fissato sono decidibili, a condizione che l'insieme delle tautologie autoevidenti $\Lambda$ sia efficacemente controllabile.
3. Sistema del Linguaggio Completo Infinitario ($SCU$): Per catturare la comprensione ideale ($\omega$), gli autori introducono un'estensione infinitaria del calcolo. Questo sistema include una regola di introduzione $\omega$ che permette la derivazione di $U^\omega_i \phi$ dall'insieme infinito di premesse $\{U^n_i \phi \mid n \in \mathbb{N}^+\}$. Essi dimostrano la correttezza e la completezza forte per questo sistema utilizzando una costruzione di modello canonico basata su insiemi massimali consistenti chiusi sotto la regola infinitaria.
4. Analisi del Confine: Il saggio isola il confine logico tra i linguaggi limitati e quelli completi. Dimostra che nel linguaggio completo il connettivo comparativo $(i \succ j)\phi$ non è eliminabile tramite formule prive di comparazione, mentre lo è nel linguaggio limitato. Inoltre, viene dimostrato che il linguaggio completo è non compatto (un insieme di formule può essere finitamente soddisfacibile ma non soddisfacibile come insieme totale), implicando che nessun sistema di prova finitario corretto può essere fortemente completo per il linguaggio completo.

Risultati

• Completezza: Il saggio stabilisce la completezza forte sia per il sistema finitario limitato $SCU_\kappa$ che per il sistema infinitario $SCU$.
• Decidibilità: Soddisfacibilità e validità sono decidibili per qualsiasi frammento a livello finito fissato $CELU_\kappa$.
• Non Compattatezza: Il linguaggio completo $CELU$ è non compatto, come dimostrato da un insieme di formule che richiedono che un agente abbia comprensione a ogni livello finito mentre un altro agente ha la comprensione ideale, il che crea una contraddizione nel limite.
• Proprietà del Confronto: Il sistema deriva le proprietà standard per l'operatore comparativo, inclusi irriflessività, transitività e asimmetria, derivate dall'interazione tra il connettivo comparativo e gli operatori di comprensione indicizzati per livello.

Significatività
Il saggio sostiene di recuperare la "comprensione" come una nozione formalmente disciplinata all'interno della logica epistemica contemporanea, colmando il divario tra distinzioni filosofiche (conoscenza vs. comprensione, gradi di comprensione) e strumenti logici formali. Superando l'operatore "sapere perché" verso un setting graduato e comparativo, il framework offre una meta-teoria unificata per analizzare la profondità esplicativa. Gli autori pongono questo lavoro come una sintesi di idee epistemiche, comparative e di tipo giustificativo, fornendo una base per il lavoro futuro sui cambiamenti dinamici nella comprensione (ad esempio, tramite comunicazione o apprendimento) e ulteriori confronti con altri resoconti formali della spiegazione. L'opera è presentata come un recupero tecnico di un concetto storicamente trattato nella logica medievale ma ampiamente assente dalla moderna epistemologia formale fino a tempi recenti.