Guises and Perspectives: An Intentional and Hyperintensional Sketch

Sintesi Tecnica: Sembianze e Prospettive: Un Abbozzo Intenzionale e Iperintensionale

Enunciazione del Problema
Il lavoro affronta le sfide logiche e metafisiche della modellazione del riferimento intenzionale, degli atteggiamenti de se e della quasi-indiczialità (ad esempio, "egli stesso"), dove i principi standard di sostituzione estensionale falliscono. Esso mira a sintetizzare due tradizioni storiche: la teoria delle sembianze di Héctor-Neri Castañeda (fasci di proprietà presentati sotto specifici profili concettuali) e la dottrina delle relazioni interne e della contenenza del predicato di Gottfried Wilhelm Leibniz. Il problema centrale consiste nel costruire un sistema formale che tratti le relazioni non come collegamenti causali esterni, ma come strutture interne codificate all'interno dei profili concettuali (sembianze) di agenti e oggetti, preservando così le distinzioni iperintensionali necessarie per modellare il significato cognitivo, mantenendo al contempo una spina dorsale semantica rigorosa.

Metodologia
L'autore sviluppa GL (Logica delle Sembianze), un linguaggio intensionale a molti tipi, e la sua estensione GL⁺, un sistema di dimostrazione in stile Hilbert. La metodologia procede attraverso i seguenti passaggi:

1. Sintassi e Ontologia: Il linguaggio distingue tra segni (proprietà), sembianze (fasci di segni), proposizioni (insiemi di segni) e mondi. Introduce un operatore intenzionale binario $\mathcal{I}(g, \phi)$ ("la sembianza $g$ intende la proposizione $\phi$") e un operatore di relazione interna $R(g, h)$.
2. Teoria dei Modelli: La semantica è definita su strutture $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$.
   • Le Sembianze sono insiemi di segni (proprietà).
   • Chiusura ($\kappa$): Un operatore di conseguenza tarskiano indotto da una teoria di fondo $T$ modella "concetti completi" (contenenza leibniziana).
   • Mondi: Insiemi massimali $T$-consistenti di segni.
   • Intenzione ($\mathcal{I}$): Una mappatura che assegna famiglie di proposizioni intese a ciascuna sembianza.
   • Condizioni di Verità: La predicazione singolare è fondata sulla contenenza ($P \in \kappa(g)$); le relazioni interne sono definite dall'esistenza di una proposizione intesa contenuta nella sembianza target.
3. Assiomatizzazione: Il sistema include assiomi per la Verità di Contenenza, la Contenenza Leibniziana e la Connessione Intenzionale. Crucialmente, incorpora principi per l'Allineamento Intenzione-Chiusura (chiusura di conseguenza, invarianza estensionale e commutazione) e assiomi relazionali (riflessività, monotonia, transitività condizionata).
4. Analisi Metateorica: Il lavoro abbozza dimostrazioni di correttezza e completezza del modello canonico. Analizza il comportamento del sistema riguardo all'iperintensionalità, specificamente su come gestisce i fallimenti di sostituzione nei contesti intenzionali.
5. Varianti del Sistema: L'autore sviluppa tre istanziazioni specifiche (Sistemi A, B e C), che vanno da un sistema canonico di chiusura-intenzione a modelli finiti espliciti e a template ristretti, per dimostrare decidibilità e trattabilità.

Contributi Chiave

• Sintesi Formale: Il lavoro fornisce la prima formalizzazione rigorosa che integra la teoria delle sembianze di Castañeda con la semantica della contenenza di Leibniz. Dimostra che le verità relazionali possono essere derivate dalla contenenza concettuale e dalla struttura intenzionale piuttosto che da legami esterni.
• Semantica Iperintensionale: Il sistema modella esplicitamente fenomeni iperintensionali in cui sembianze coreferenziali (che condividono lo stesso concetto completo $\kappa(g) = \kappa(h)$) possono avere insiemi di intenzione distinti ($\mathcal{I}(g) \neq \mathcal{I}(h)$). Ciò permette il fallimento della sostituzione nei contesti intenzionali, catturando il significato cognitivo del pensiero de se e delle quasi-indicizziali.
• Relazioni Interne come Prospettive: Il quadro ridefinisce le relazioni come "denominazioni interne". Una relazione $R(g, h)$ vale se $g$ intende una proposizione che è contenuta in $h$. Ciò si allinea alla visione leibniziana secondo cui le monadi rappresentano l'universo dal proprio punto di vista senza finestre esterne.
• Architettura Modale: Possibilità e necessità sono modellate attraverso la consistenza e l'inclusione tra mondi massimali $T$-chiusi, creando efficacemente un livello di "ragionamento leibniziano" all'interno della logica delle sembianze.

Risultati

• Correttezza e Completezza: Il lavoro stabilisce la correttezza mediante ispezione delle clausole dei modelli e abbozza una dimostrazione di completezza del modello canonico. La completezza è mostrata valida per la classe intesa di modelli che soddisfano i principi di allineamento intenzione-chiusura (CI1–CI3).
• Decidibilità: Per specifici frammenti — in particolare quelli che utilizzano teorie di Horn ($T$) e insiemi finiti di template ($\Theta$) — il sistema possiede la proprietà del modello finito. Il frammento proposizionale è mostrato come decidibile (al massimo PSPACE, spesso PTIME tramite catenamento in avanti).
• Gestione degli Atteggiamenti De Se: Il sistema formalizza con successo gli atteggiamenti de se tramite un operatore di auto-attribuzione ($Self(g, \phi)$), definito come $Int(g, \phi) \land \phi \subseteq g$, recuperando la riflessività del riferimento a se stessi senza postulare oggetti esotici.
• Modalità di Fallimento e Riparazioni: Il lavoro identifica casi specifici di fallimento (ad esempio, non commutazione di chiusura e intenzione, relazioni non transitive) e propone riparazioni assiomatiche o restrizioni contestuali (ad esempio, distinguere agenti leibniziani ideali da varianti cognitive) per gestirli.

Significato e Affermazioni
Il lavoro afferma di offrire un "quadro formale autosufficiente" che è sia "metafisicamente generoso verso Leibniz" sia "tecnicamente adeguato per la logica contemporanea". Il suo significato primario risiede nel dimostrare che:

1. Le relazioni non sono collegamenti causali esterni ma strutture interne intenzionali codificate nelle sembianze (prospettive).
2. Una logica delle sembianze può preservare le necessarie distinzioni intensionali (iperintensionalità) ancorando al contempo la verità alla contenenza estensionale dove sicuro.
3. Il sogno di Leibniz di un "calcolo dei concetti" trova una rinnovata vita in questa architettura, dove inclusione, intenzione e necessità funzionano come parti di un unico sistema intenzionale.

L'autore posiziona questo lavoro come un avanzamento metodologico, mostrando che una logica delle sembianze può risolvere gli enigmi degli indicizziali e delle ascrizioni di atteggiamenti identificati da Castañeda senza abbandonare le fondamenta semantiche rigorose della logica dei predicati. Il lavoro non afferma di risolvere tutti i problemi dell'intenzionalità, ma fornisce un insieme specifico e formalizzabile di parametri per modellare prospettive e relazioni interne.