Guises and Perspectives: An Intentional and Hyperintensional Sketch

Technische Samenvatting: Gijzen en Perspectieven: Een Intentionele en Hyperintensionele Schets

Probleemstelling
Het artikel behandelt de logische en metafysische uitdagingen bij het modelleren van intentionele referentie, de se-attitudes en quasi-indexicaliteit (bijvoorbeeld "hijzelf"), waar standaard extensionele substitutieprincipes falen. Het streeft naar een synthese van twee historische tradities: Héctor-Neri Castañeda's theorie van gijzen (eigendomsbundels gepresenteerd onder specifieke conceptuele profielen) en Gottfried Wilhelm Leibniz's leer van interne relaties en predicateninhouding. Het kernprobleem is het construeren van een formeel systeem dat relaties niet behandelt als externe causale verbanden, maar als interne structuren die zijn gecodeerd binnen de conceptuele profielen (gijzen) van agenten en objecten, waardoor hyperintensionele onderscheidingen die noodzakelijk zijn voor het modelleren van cognitieve significantie behouden blijven, terwijl een rigoureuze semantische ruggengraat wordt gehandhaafd.

Methodologie
De auteur ontwikkelt GL (Gijzenlogica), een meervoudig gesorteerde intensionele taal, en zijn extensie GL⁺, een Hilbert-stijl bewijssysteem. De methodologie verloopt via de volgende stappen:

1. Syntaxis en Ontologie: De taal onderscheidt tussen merktekens (eigenschappen), gijzen (bundels van merktekens), proposities (verzamelingen van merktekens) en werelden. Het introduceert een binaire intentionele operator $\mathcal{I}(g, \phi)$ ("gijzel $g$ intendert propositie $\phi$") en een operator voor interne relaties $R(g, h)$.
2. Modeltheorie: De semantiek wordt gedefinieerd op structuren $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$.
   • Gijzen zijn verzamelingen van merktekens (eigenschappen).
   • Sluiting ($\kappa$): Een Tarskiaanse consequentie-operator geïnduceerd door een achtergrondtheorie $T$ modelleert "volledige concepten" (Leibniziaanse inhouding).
   • Werelden: Maximaal $T$-consistente verzamelingen van merktekens.
   • Intentie ($\mathcal{I}$): Een afbeelding die aan elke gijzel families van geïntendeerde proposities toewijst.
   • Waarheidsvoorwaarden: Singular predikatie is geworteld in inhouding ($P \in \kappa(g)$); interne relaties worden gedefinieerd door het bestaan van een geïntendeerde propositie die is opgenomen in de doelgijzel.
3. Axiomatisatie: Het systeem omvat axioma's voor Waarheid door Inhouding, Leibniziaanse Inhouding en Intentionele Connectie. Cruciaal omvat het principes voor Intentie-Sluiting Alignering (consequentiesluiting, extensie-invariantie en commutatie) en relationele axioma's (reflexiviteit, monotonie, conditionele transitiviteit).
4. Metatheoretische Analyse: Het artikel schetst bewijzen voor correctheid en volledigheid van het canonieke model. Het analyseert het gedrag van het systeem met betrekking tot hyperintensionaliteit, specifiek hoe het substitutiefalen in intentionele contexten behandelt.
5. Systeemvarianten: De auteur ontwikkelt drie specifieke instantiaties (Systemen A, B en C), variërend van een canoniek sluiting-intentiesysteem tot sjabloon-beperkte en eindige expliciete modellen, om beslisbaarheid en hanteerbaarheid te demonstreren.

Belangrijkste Bijdragen

• Formele Synthese: Het artikel biedt de eerste rigoureuze formalisering die Castañeda's gijzentheorie integreert met Leibniz's inhoudingssemantiek. Het demonstreert dat relationele waarheden kunnen worden afgeleid uit conceptuele inhouding en intentionele structuur in plaats van externe banden.
• Hyperintensionele Semantiek: Het systeem modelleert expliciet hyperintensionele fenomenen waarbij co-referentiële gijzen (die hetzelfde volledige concept delen $\kappa(g) = \kappa(h)$) verschillende intentieverzamelingen kunnen hebben ($\mathcal{I}(g) \neq \mathcal{I}(h)$). Dit maakt substitutiefalen in intentionele contexten mogelijk en vat de cognitieve significantie van de se-gedachte en quasi-indexicalen.
• Interne Relaties als Perspectieven: Het kader herdefinieert relaties als "interne benamingen". Een relatie $R(g, h)$ geldt als $g$ een propositie intendert die is opgenomen in $h$. Dit sluit aan bij het Leibniziaanse standpunt dat monaden het universum vertegenwoordigen vanuit hun eigen gezichtspunt zonder externe vensters.
• Modale Architectuur: Mogelijkheid en noodzakelijkheid worden gemodelleerd via consistentie en inclusie over maximaal $T$-gesloten werelden, wat effectief een laag van "Leibniziaanse redenering" creëert binnen de gijzenlogica.

Resultaten

• Correctheid en Volledigheid: Het artikel vestigt correctheid door inspectie van modelclausules en schetst een bewijs voor volledigheid van het canonieke model. Volledigheid wordt aangetoond voor de beoogde klasse van modellen die voldoen aan de principes van intentie-sluiting alignering (CI1–CI3).
• Beslisbaarheid: Voor specifieke fragmenten – met name die Horn-theorieën ($T$) en eindige sjabloonverzamelingen ($\Theta$) gebruiken – bezit het systeem de eindige-model-eigenschap. Het propositionele fragment wordt aangetoond beslisbaar te zijn (in het ergste geval PSPACE, vaak PTIME via forward chaining).
• Behandeling van De Se-Attitudes: Het systeem formaliseert de se-attitudes succesvol via een zelf-toeschrijvingsoperator ($Self(g, \phi)$), gedefinieerd als $Int(g, \phi) \land \phi \subseteq g$, waardoor de reflexiviteit van zelfreferentie wordt hersteld zonder exotische objecten te postuleren.
• Falenpatronen en Reparaties: Het artikel identificeert specifieke faalgevallen (bijvoorbeeld niet-commutatie van sluiting en intentie, niet-transitieve relaties) en stelt axiomatische reparaties of contextuele beperkingen voor (bijvoorbeeld het onderscheiden van ideale Leibniziaanse agenten van cognitieve varianten) om deze te behandelen.

Betekenis en Aanspraken
Het artikel claimt een "zelfbevattende formeel kader" te bieden dat zowel "metafysisch genereus is voor Leibniz" als "technisch adequaat voor de hedendaagse logica". De primaire betekenis ligt in het aantonen dat:

1. Relaties geen externe causale verbanden zijn, maar intentionele interne structuren die zijn gecodeerd in gijzen (perspectieven).
2. Een logica van gijzen noodzakelijke intensionele onderscheidingen (hyperintensionaliteit) kan behouden, terwijl het waarheid verankert in extensionele inhouding waar dit veilig is.
3. Leibniz' droom van een "calculus van concepten" nieuw leven vindt in deze architectuur, waar inclusie, intentie en noodzakelijkheid fungeren als onderdelen van één enkel intentioneel systeem.

De auteur positioneert dit werk als een methodologische vooruitgang, waarbij wordt aangetoond dat een logica van gijzen de raadsels van indexicalen en attribuuttoeschrijvingen die door Castañeda zijn geïdentificeerd, kan oplossen zonder de rigoureuze semantische fundamenten van de predicatenlogica op te geven. Het artikel claimt niet alle problemen van intentionaliteit op te lossen, maar biedt een specifieke, formaliseerbare parameterreeks voor het modelleren van perspectieven en interne relaties.