🔢 mathematics

Guises and Perspectives: An Intentional and Hyperintensional Sketch

Cet article présente une logique formelle des guises ancrée dans la philosophie internaliste et leibnizienne de Castañeda, établissant une syntaxe, une théorie des modèles et une théorie de la preuve où les relations sont traitées comme des perspectives intentionnelles encodées au sein de faisceaux de propriétés plutôt que comme des liens causaux externes, répondant ainsi aux phénomènes hyperintensionnels et offrant une alternative distincte aux sémantiques intensionnelles et situationnelles classiques.

Auteurs originaux : Juan J. Colomina-Alminana

Publié 2026-05-15

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Juan J. Colomina-Alminana

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

La Grande Idée : Voir le Monde à Travers Différentes Lentilles

Imaginez que vous regardez une statue. Pour un sculpteur, c'est un « paquet d'argile et d'outils ». Pour un historien, c'est un « symbole d'un empire ». Pour un enfant, c'est « un jouet géant ».

Dans le monde réel, c'est la même statue. Mais dans votre esprit, ce sont trois choses complètement différentes selon la manière dont vous la regardez.

Ce document soutient que tout dans notre esprit fonctionne ainsi. Nous ne pensons pas simplement à des « objets » ; nous pensons à des guises. Une « guise » est un paquet spécifique de propriétés qu'un objet possède sous une perspective spécifique.

L'auteur, Juan J. Colomina-Alminana, tente d'établir un « manuel de règles » mathématique (une logique) pour expliquer comment ces perspectives fonctionnent. Il combine deux idées anciennes :

Le « Concept Complet » de Leibniz : L'idée que chaque objet contient toutes les vérités le concernant à l'intérieur de sa propre « esprit ».
La « Théorie des Guises » de Castañeda : L'idée que nous ne pouvons pas échanger un nom contre un autre (comme « Superman » pour « Clark Kent ») si la perspective change, même s'il s'agit de la même personne.

Les Concepts Clés (Le « Comment Ça Marche »)

1. Les Guises sont des « Paquets de Propriétés »

Imaginez une guise comme un sac à dos.

Un sac à dos n'a pas besoin d'être une personne ; c'est simplement une collection d'objets.
Un sac à dos pourrait contenir : Rouge, Grand, Brave, Kryptonien.
Un autre sac à dos pourrait contenir : Lunettes, Doux, Journaliste, Clark.
Même si les deux sacs appartiennent à la même personne (Superman/Clark), ce sont des « guises » différentes car les objets à l'intérieur sont différents.

2. L'Intention : Le Doigt qui « Pointe »

Le document introduit un outil spécial appelé Intention.

Imaginez que votre esprit est une lampe torche. Lorsque vous éclairez un sac à dos, vous l'« intendez ».
Le document affirme que les relations (la façon dont les choses se connectent) ne ressemblent pas à des cordes physiques reliant deux objets. Au lieu de cela, les relations sont comme du pointage.
Si la Guise A (le sac « Rouge/Brave ») pointe vers la Guise B (le sac « Doux/Journaliste »), elles sont liées intérieurement en raison de la façon dont la première regarde la seconde. Elles ne sont pas liées par une corde externe ; elles sont connectées par l'acte de regarder.

3. Le Débat « Interne » vs « Externe »

Ancienne Vision (Externe) : Deux choses sont liées parce qu'il existe une ligne physique les connectant (comme un fil téléphonique).
Vision de ce Document (Interne) : Deux choses sont liées parce que l'une « contient » l'idée de l'autre.
- Analogie : Imaginez un miroir. Le miroir n'a pas besoin d'un fil vers l'objet qu'il reflète. La réflexion est à l'intérieur de la surface du miroir. Le document soutient que nos pensées fonctionnent comme des miroirs : l'univers entier est réfléchi à l'intérieur de notre « guise » ou perspective spécifique.

L'Énigme Logique : Pourquoi « Superman » n'est pas toujours « Clark Kent »

Le document résout un célèbre problème logique : Pourquoi ne pouvons-nous pas toujours échanger les noms ?

Scénario : Lois Lane aime Superman. Lois Lane ne sait pas que Clark Kent est Superman.
L'Erreur : Si vous dites « Lois aime Clark Kent », vous avez tort, même si Superman = Clark Kent.
La Solution du Document : Dans cette logique, « Superman » et « Clark Kent » sont deux guises différentes (deux sacs à dos différents).
- L'esprit de Lois possède un « Sac Superman » (Rouge, Brave, Volant).
- Elle ne possède pas un « Sac Clark Kent » (Lunettes, Journaliste) de la même manière.
- Parce que les sacs sont différents, vous ne pouvez pas les échanger dans son esprit. La logique respecte la perspective.

Les Trois « Systèmes » (Les Plans)

L'auteur construit trois versions différentes de cette logique pour montrer sa flexibilité :

Système A (L'Idéaliste) : C'est la version « parfaite ». Chaque chose unique que vous pourriez penser à propos d'une personne, vous la faites penser à son sujet. C'est comme un miroir parfait qui reflète tout instantanément. C'est excellent pour les mathématiques, mais peut-être trop parfait pour les humains réels.
Système B (Le Modèle) : C'est plus réaliste. Imaginez que vous avez un ensemble limité de « timbres » ou de « modèles » (comme « Héros », « Méchant », « Ami »). Vous ne pouvez voir les gens qu'à travers ces timbres spécifiques. Cela rend la logique plus facile à calculer et plus proche de la façon dont les humains pensent réellement (nous avons des catégories mentales limitées).
Système C (Le Laboratoire) : C'est un exemple concret et réduit utilisant seulement quatre lettres (a, b, c, d) pour prouver que les mathématiques fonctionnent. C'est comme une cuisine d'essai où l'auteur prépare un petit repas pour montrer que la recette fonctionne avant de servir un banquet.

Pourquoi Cela Compte (Selon le Document)

Le document prétend prouver que les relations ne sont pas des liens externes, mais des perspectives internes.

Métaphore : Imaginez une danse. Deux danseurs ne sont pas connectés par une chaîne physique. Ils sont connectés parce qu'ils regardent tous les deux le même rythme et bougent en réponse aux pas internes de l'autre.
Le Résultat : Le document crée un langage formel (un nouveau type de mathématiques) qui nous permet de parler de « soi », de « croyance » et d'« identité » sans enfreindre les règles de la logique. Il gère les parties désordonnées de la pensée humaine (comme « Je crois que je suis moi, mais je ne sais pas que mon ami est moi ») en les traitant comme des guises différentes plutôt que comme une logique brisée.

Résumé en Une Phrase

Ce document construit un système mathématique où les « choses » ne sont que des paquets de propriétés vus à travers des lentilles spécifiques, prouvant que nos connexions au monde sont créées par la façon dont nous regardons les choses (nos perspectives internes), et non par des chaînes physiques nous liant ensemble.

Résumé technique : Guises et perspectives : une esquisse intentionnelle et hyperintensionnelle

Énoncé du problème
L'article aborde les défis logiques et métaphysiques liés à la modélisation de la référence intentionnelle, des attitudes de se et de la quasi-indexicalité (par exemple, « lui-même »), là où les principes standard de substitution extensionnelle échouent. Il vise à synthétiser deux traditions historiques : la théorie des guises de Héctor-Neri Castañeda (ensembles de propriétés présentés sous des profils conceptuels spécifiques) et la doctrine de Gottfried Wilhelm Leibniz sur les relations internes et la containment des prédicats. Le problème central consiste à construire un système formel traitant les relations non comme des liens causaux externes, mais comme des structures internes encodées dans les profils conceptuels (guises) des agents et des objets, préservant ainsi les distinctions hyperintensionnelles nécessaires à la modélisation de la signification cognitive tout en maintenant une ossature sémantique rigoureuse.

Méthodologie
L'auteur développe GL (Logique des Guises), un langage intensionnel à plusieurs trios, et son extension GL⁺, un système de preuve de style Hilbert. La méthodologie procède selon les étapes suivantes :

Syntaxe et ontologie : Le langage distingue les marques (propriétés), les guises (ensembles de marques), les propositions (ensembles de marques) et les mondes. Il introduit un opérateur binaire intentionnel $\mathcal{I}(g, \phi)$ (« la guise $g$ intente la proposition $\phi$ ») et un opérateur de relation interne $R(g, h)$ .
Théorie des modèles : La sémantique est définie sur des structures $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$ $M = ⟨ P, G, W, T, κ, I ⟩$ .
- Guises : Ensembles de marques (propriétés).
- Clôture ( $\kappa$ ) : Un opérateur de conséquence tarskien induit par une théorie de fond $T$ modélise les « concepts complets » (containment leibnizien).
- Mondes : Ensembles maximaux $T$ -cohérents de marques.
- Intention ( $\mathcal{I}$ ) : Une application assignant des familles de propositions intentées à chaque guise.
- Conditions de vérité : La prédication singulière est fondée sur la containment ( $P \in \kappa(g)$ ) ; les relations internes sont définies par l'existence d'une proposition intentée contenue dans la guise cible.
Axiomatisation : Le système inclut des axiomes pour la Vérité par Containment, le Containment Leibnizien et la Connexion Intentionnelle. Crucialement, il incorpore des principes pour l'Alignement Intention–Clôture (clôture de conséquence, invariance d'extension et commutation) et des axiomes relationnels (réflexivité, monotonie, transitivité conditionnelle).
Analyse métathéorique : L'article esquisse des preuves de validité et de complétude par modèle canonique. Il analyse le comportement du système concernant l'hyperintensionnalité, spécifiquement la manière dont il gère les échecs de substitution dans les contextes intentionnels.
Variantes du système : L'auteur développe trois instanciations spécifiques (Systèmes A, B et C) allant d'un système canonique de clôture-intention à des modèles finis explicites et restreints par des modèles, afin de démontrer la décidabilité et la tractabilité.

Contributions clés

Synthèse formelle : L'article fournit la première formalisation rigoureuse intégrant la théorie des guises de Castañeda avec la sémantique de containment de Leibniz. Il démontre que les vérités relationnelles peuvent être dérivées du containment conceptuel et de la structure intentionnelle plutôt que de liens externes.
Sémantique hyperintensionnelle : Le système modélise explicitement les phénomènes hyperintensionnels où des guises coreférentielles (partageant le même concept complet $\kappa(g) = \kappa(h)$ ) peuvent avoir des ensembles d'intentions distincts ( $\mathcal{I}(g) \neq \mathcal{I}(h)$ ). Cela permet l'échec de la substitution dans les contextes intentionnels, capturant la signification cognitive de la pensée de se et des quasi-indexicaux.
Relations internes comme perspectives : Le cadre redéfinit les relations comme des « dénominations internes ». Une relation $R(g, h)$ tient si $g$ intente une proposition contenue dans $h$ . Cela s'aligne sur la vision leibnizienne selon laquelle les monades représentent l'univers depuis leur propre point de vue sans fenêtres externes.
Architecture modale : La possibilité et la nécessité sont modélisées via la cohérence et l'inclusion à travers des mondes maximaux $T$ -clôturés, créant efficacement une couche de « ratiocination leibnizienne » au sein de la logique des guises.

Résultats

Validité et complétude : L'article établit la validité par inspection des clauses de modèle et esquisse une preuve de complétude par modèle canonique. La complétude est démontrée pour la classe visée de modèles satisfaisant les principes d'alignement intention-clôture (CI1–CI3).
Décidabilité : Pour des fragments spécifiques — particulièrement ceux utilisant des théories de Horn ( $T$ ) et des ensembles de modèles finis ( $\Theta$ ) — le système possède la propriété du modèle fini. Le fragment propositionnel est démontré décidable (au pire PSPACE, souvent PTIME via chaînage avant).
Gestion des attitudes de se : Le système formalise avec succès les attitudes de se via un opérateur d'auto-attribution ( $Self(g, \phi)$ ), défini comme $Int(g, \phi) \land \phi \subseteq g$ , récupérant la réflexivité de l'auto-référence sans postuler d'objets exotiques.
Modes d'échec et réparations : L'article identifie des cas d'échec spécifiques (par exemple, non-commutation de la clôture et de l'intention, relations non transitives) et propose des réparations axiomatiques ou des restrictions contextuelles (par exemple, distinguer les agents leibniziens idéaux des variantes cognitives) pour les gérer.

Signification et revendications
L'article revendique offrir un « cadre formel autonome » qui est à la fois « métaphysiquement charitable envers Leibniz » et « techniquement adéquat pour la logique contemporaine ». Sa signification principale réside dans la démonstration que :

Les relations ne sont pas des liens causaux externes mais des structures internes intentionnelles encodées dans les guises (perspectives).
Une logique des guises peut préserver les distinctions intensionnelles nécessaires (hyperintensionnalité) tout en ancrant la vérité dans le containment extensionnel là où c'est sûr.
Le rêve de Leibniz d'un « calcul des concepts » trouve une vie renouvelée dans cette architecture, où l'inclusion, l'intention et la nécessité fonctionnent comme des parties d'un système intentionnel unique.

L'auteur positionne ce travail comme une avancée méthodologique, montrant qu'une logique des guises peut résoudre les énigmes des indexicaux et des ascriptions d'attitude identifiées par Castañeda sans abandonner les fondements sémantiques rigoureux de la logique des prédicats. L'article ne prétend pas résoudre tous les problèmes de l'intentionnalité, mais fournit un ensemble de paramètres spécifiques et formalisables pour modéliser les perspectives et les relations internes.