Une manière complète et maximale dont les choses auraient pu être — une spécification exhaustive d'entités, de propriétés et de relations sur un domaine — employée comme dispositif ontologique ou représentationnel pour évaluer des jugements modaux (possibilité, nécessité, contrefactuels).

Principe

Les jugements modaux peuvent s'analyser en termes d'existence, de vérité ou d'accessibilité à travers des mondes possibles : une proposition est possible si elle est vraie dans au moins un tel monde, nécessaire si elle est vraie dans tous les mondes accessibles, et les contrefactuels s'évaluent par comparaison entre mondes proches.

Démonstration

Situation : On évalue « Il est possible qu'il y ait des licornes. » Reconnaissance : Dans un cadre mondes‑possibles, on demande s'il existe une spécification complète (un monde possible) où des créatures répondant à 'licorne' existent. Action : Si une telle spécification existe (ou est cohérente dans le cadre adopté), on classe l'énoncé modal comme vrai. Conséquence : Le dispositif des mondes possibles fournit des évaluations systématiques de possibilité et de nécessité, mais l'interprétation dépend de l'optique selon laquelle les mondes sont concrets, abstraits ou simplement représentationnels.

Mauvaise application

Réifier les mondes possibles en univers spatio‑temporels littéraux (réalisme modal) alors qu'on entend un instrument représentationnel ou heuristique (ersatzisme, fictionnalisme modal) confond les rôles méthodologiques et engendre des engagements ontologiques injustifiés.

Conséquence

Recourir aux mondes possibles offre une sémantique uniforme pour le discours modal et le raisonnement contrefactuel et peut clarifier les conséquences et la modalité, mais les lectures ontologiques différentes (réalisme concret, ersatzisme, conceptualisme, actualisme) entraînent des engagements et coûts métaphysiques distincts.

Inversion

Des théories modales alternatives (actualisme, théorie des contraparties, fictionnalisme modal ou anti‑réalisme modal) rejettent l'idée de mondes maximaux littéraux ou les réinterprètent ; sous ces comptes la réduction de la vérité modale à la vérité dans des mondes possibles maximaux doit être qualifiée ou remplacée.

Limite

Clairement inclus : une spécification maximale de type leibnizien couvrant tous les faits possibles d'une manière d'être. Cas limite : scénarios partiels ou 'mondes' modèle‑théoriques qui fixent seulement des variables pertinentes pour un jugement modal. Claire­ment exclu : hypothèses banales, images mentales ou descriptions non maximales dépourvues de complétude et de maximalité.

Tension sémantique

Réalisme modal ↔ Comptes ersatz/actualistes — la question de savoir si les mondes possibles sont des entités concrètes ou des constructions représentationnelles conditionne analyses sémantiques et engagements ontologiques.

Synthèse

« Monde possible » se lit mieux comme un outil analytique souple : il offre une sémantique puissante et uniforme pour la modalité mais doit être interprété à la lumière de la position ontologique retenue ; son utilité tient à la cohérence formelle, non à une unique image métaphysique engagée.