Eine vollständige und maximale Darstellung dessen, wie die Dinge hätten sein können — eine umfassende Spezifikation von Entitäten, Eigenschaften und Relationen über einen Bereich —, die als ontologisches oder repräsentationales Instrument zur Bewertung modaler Aussagen (Möglichkeit, Notwendigkeit, Kontrafaktisches) verwendet wird.

Prinzip

Modale Aussagen lassen sich in Bezug auf Existenz, Wahrheit oder Zugänglichkeit über mögliche Welten analysieren: Eine Proposition ist möglich, wenn sie in mindestens einer solchen Welt wahr ist, notwendig, wenn sie in allen zugänglichen Welten wahr ist; Kontrafaktisches wird durch Vergleich benachbarter Welten bewertet.

Demonstration

Situation: Man bewertet ‚Es ist möglich, dass es Einhörner gibt.‘ Erkennung: Im Rahmen möglicher Welten fragt man, ob es eine vollständige Spezifikation (eine mögliche Welt) gibt, in der Kreaturen, die ‚Einhorn‘ entsprechen, existieren. Handlung: Existiert eine solche Spezifikation (oder ist sie kohärent im gewählten Zugang), klassifizieren wir die modale Aussage als wahr. Konsequenz: Das Werkzeug mögliche Welten liefert systematische Bewertungen von Möglichkeit und Notwendigkeit; die Interpretation hängt jedoch davon ab, ob Welten als konkret, abstrakt oder rein repräsentativ behandelt werden.

Fehlanwendung

Mögliche Welten als buchstäbliche konkrete raum‑zeitliche Universen zu reifizieren (modaler Realismus), wenn man sie nur als repräsentatives oder heuristisches Mittel verwenden will (Ersatzismus, modal‑fiktivistische Ansätze), vermischt methodische Rollen und erzeugt ungerechtfertigte ontologische Verpflichtungen.

Konsequenz

Der Einsatz möglicher Welten bietet eine einheitliche Semantik für modale Rede und kontrafaktisches Schließen und kann Folgerungen und Modalität klären; unterschiedliche ontologische Lesarten (konkreter Realismus, Ersatzismus, Konzeptionalismus, Aktualismus) haben jedoch unterschiedliche metaphysische Implikationen.

Umkehrung

Alternative Modalltheorien (Aktualismus, Konterpartentheorie, modal‑fiktivistische oder modal‑anti‑realistische Ansätze) lehnen buchstäbliche maximale Welten ab oder deuten sie um; unter solchen Konten ist die Reduktion modaler Wahrheit auf Wahrheit in maximalen möglichen Welten zu qualifizieren oder zu ersetzen.

Abgrenzung

Klar innerhalb: eine leibnizsche maximale komplette Spezifikation, die alle Fakten über eine mögliche Art des Seins abdeckt. Grenzfall: partielle Szenarien oder modelltheoretische ‚Welten‘, die nur die für ein modales Urteil relevanten Variablen fixieren. Klar außerhalb: bloße Hypothesen, mentale Bilder oder nicht‑maximale Beschreibungen, denen es an Vollständigkeit und Maximalität fehlt.

Semantische Spannung

Modaler Realismus ↔ Ersatz‑/Aktualisten‑Konzepte — die Frage, ob mögliche Welten konkrete Entitäten oder repräsentationale Konstrukte sind, beeinflusst semantische Analysen und ontologische Verpflichtungen.

Synthese

‚Mögliche Welt‘ ist als flexibles analytisches Werkzeug zu lesen: Es bietet eine kraftvolle einheitliche Semantik für Modalität, muss aber im Lichte der gewählten ontologischen Haltung interpretiert werden; seine Nützlichkeit beruht auf formaler Kohärenz, nicht auf einer einzigen metaphysischen Darstellung.