Modalität

Das Lesen, das du gerade tust, ist eine Trajektorie von vielen, die offen waren, als du dieses Buch zur Hand nahmst. Du hättest es schließen können. Vorblättern. Es für eine Woche weglegen.

Die Trajektorien, die du nicht genommen hast, sind nicht nichts. Sie geschehen auch nicht. Real als Trajektorienraum — die strukturelle Bedingung, unter der du sie hättest nehmen können. Nicht real als Eintragsgeschichte, denn der Eintrag an deiner Stelle ist der, den du eingetragen hast.

Das Lesen, das du gerade tust, ist das Aktuale. Die anderen waren das Mögliche. Dass du, ein Körper mit Augen und einem Gehirn, in diesem Moment etwas tun musst, ist das Notwendige auf der Auflösungsstufe der Biologie.

Drei Kategorien. Eine Situation.

Die Philosophie des späten siebzehnten Jahrhunderts fragte, was zwei plus zwei gleich vier notwendig macht und der Himmel ist blau bloß kontingent. Bis zur Mitte des zwanzigsten Jahrhunderts war daraus die Modallogik geworden — formale Systeme für notwendig und möglich, die Theoreme hervorbrachten, ohne zu sagen, was die Wörter bedeuteten.

1959 wurde Notwendigkeit als Wahrheit in allen möglichen Welten gelesen, Möglichkeit als Wahrheit in einigen. Die Semantik war sauber. Die Frage wurde nun, was die Welten waren.

1986 die kühnste Antwort. Die Welten sind real — vollständige Universen, jedes so real wie unseres, kausal isoliert, bevölkert. Aktual ist ein Indexikal, wie hier. Modaler Realismus. Teuer.

Niemand hat die Mögliche-Welten-Semantik als formales Instrument verdrängt, und der größte Teil des Fachs ist über konkrete Welten hinausgegangen. Ersatzismus: Welten sind maximal konsistente Mengen von Sätzen. Fiktionalismus: Welten-Rede ist nützliches So-tun-als-ob. Primitivismus: modale Tatsachen sind grundlegend. Kombinatorialismus: Welten sind Rekombinationen aktualer Elemente. Jeder behält die Semantik und zahlt weniger. Die Metaphysik bleibt umstritten.

Eine Präzisierung. Dieses Kapitel verwirft den Formalismus nicht. Mögliche-Welten-Modelle sind mächtige Mathematik, und die meisten, die sie benutzen, glauben nicht an konkrete Welten. Das Ziel ist die Aufblähung — von nützlichen Modellpunkten zu realen Mannigfaltigkeiten.

Der Realist sah etwas Wahres. Der nicht gegangene Weg ist nicht nichts. Eine Welt, in der du das andere getan hast, steht zur Verfügung, um auf sie Bezug zu nehmen.

Der Fehler ist, die Verfügbarkeit eines Bezugs in die Existenz einer vollständigen zweiten Welt umzuwandeln. Nichts erzwingt das.

Ein Axiom läuft. Ein Jetzt. Keine zweite Aktualisierung, keine parallele Mannigfaltigkeit. Die Bedingungen, unter denen die Dinge anders hätten verlaufen können, sind real — sie sind Trajektorienraum, die offenen Pfade an jeder Kopplungsstelle. Aber Trajektorienraum ist keine Mannigfaltigkeit vollendeter Welten. Er ist das, was offen ist, bevor die Festlegung die Pfade schließt, die sich nicht festgelegt haben.

Ein Gebäude mit Korridoren. An jeder Kreuzung stehen mehrere zur Verfügung. Du gehst in einen hinein.

Gab es die anderen, bevor du gegangen bist? Ja. Gibt es sie danach? Ja, im selben Sinn — Korridore dieses Gebäudes, verfügbar für jeden, der diese Kreuzung erreicht. Sie sind keine anderen Gebäude mit eigenen Bewohnern. Und der Korridor, den du nicht gegangen bist, ist nicht mehr offen als deine Trajektorie. Er bleibt wirklich als ein Pfad des Gebäudes und als kontrafaktischer Trajektorienraum an dieser Kreuzung.

Der Realist sah die Wirklichkeit des Weges und schloss, er müsse in irgendeiner anderen Mannigfaltigkeit gegangen werden. Er ist wirklich als Trajektorienraum. Nicht als ein anderer aktualisierter Pfad.

Möglichkeit ist wirklich. Die Mannigfaltigkeit ist es nicht.

Schließen ist nicht die Vernichtung einer Parallelwelt. Schließen ist, was Nicht-Auswahl ist.

Der Ersatzismus hat recht, dass keine konkreten Welten nötig sind, und kann nicht sagen, was seine Mengen konsistent macht, ohne modale Tatsachen, die er nicht begründen kann. Der Fiktionalismus hat recht, dass die Rede von Welten niemanden auf Welten festlegt, und kann nicht sagen, warum die Fiktion funktioniert — sie folgt etwas Wirklichem. Der Primitivismus hat recht, dass Modalität wirklich ist, und lässt das Primitive schweben. Der Kombinatorialismus hat recht, dass Möglichkeit im Aktualen gründet, und kann nicht sagen, welche Rekombinationen erlaubt sind. Trajektorienraum an aktualen Orten liefert, wonach jeder von ihnen griff.

Ein Grund für das, wonach jeder von ihnen griff.

Das Aktuale ist das Jetzt, rückwärts gelesen entlang R. Was geschrieben und behalten wurde.

Das Mögliche ist das Jetzt, vorwärts gelesen entlang des Trajektorienraums. Was vor der Festlegung noch offen ist.

Das Notwendige ist das Jetzt, quer über die vier Bedingungen selbst gelesen. Was sie erzwingen, welcher Pfad sich auch festlegt. Zwei plus zwei ist vier, weil der binäre Bruch und die Zusammensetzung von Einträgen keinen Raum für ein anderes Ergebnis lassen. Kein Eintrag wird ohne Kosten gelöscht, weil R ist, was es ist. Die Gesetze, weil sie das sind, was die Bedingungen auf der Auflösung der Phänomene hervorbringen.

Eine Struktur. Drei Richtungen. Kein Bereich, in dem das Mögliche leben könnte. Wo leben die möglichen Welten, ist falsch gestellt. Das Mögliche besteht als Trajektorienraum an der Schreibkante.

Wärst du zwanzig Minuten früher losgegangen, hättest du den Zug erwischt.

Die Behauptung fragt: War im Trajektorienraum, im Moment der Wahl heute Morgen, früheres Losgehen ein offener Pfad — und erlaubte der Rest des Raums, den Zug zu erwischen? Wenn ja, wahr. Sie bezieht sich auf den Trajektorienraum im aktualen Moment, nicht auf eine Parallelwelt, in der du es getan hast.

Das ist der Grund, den Fünf für die Kausalität gelegt hat. Die Modalität erbt ihn.

Aber Offenheit genügt nicht. Ein Kontrafaktum schreibt nicht die ganze Welt um. Es macht einen minimalen Eingriff beim Antezedens — ändere den Eintrag der Abfahrtszeit — und hält den Hintergrund fest, so weit der Eingriff es erlaubt — den Fahrplan, die Strecke, den Verkehr. Dann liest es, was folgt.

Das ist der strukturelle Ersatz für das, was die Tradition Nähe zwischen Welten nannte. Kein Abstand über Mannigfaltigkeiten hinweg. Eine Disziplin darüber, welche Einträge festgehalten werden.

Drei Klassen. Manche Kontrafakta sind falsch, weil das Konsequens unter dem minimalen Eingriff nicht erreichbar ist. Manche brauchen sorgfältige Analyse, weil der nachgelagerte Raum komplex ist. Und Kontrapossibilia — unmögliche Antezedenzien — sind der offenste Fall. Die Welten-Theorie nennt sie leer wahr. Hier sind sie eine Untersuchung dessen, was die strukturellen Bedingungen selbst erlauben würden, wenn sie anders wären. In diesem Kapitel nicht geschlossen.

Logische Notwendigkeit ist, was festgelegte Unterscheidung auf der Ebene der Aussagen erzwingt. Wenn P als P festgelegt ist, ist nicht-P nicht derselbe Eintrag. Widerspruchsfreiheit und gültiges Schließen sind Lesarten davon. Kein logisches Reich getrennt von der Welt.

Mathematische Notwendigkeit ist derselbe Grund auf der Auflösung, die Zwei gelegt hat. Zwei binäre Brüche, zusammengesetzt mit zwei weiteren unter der Zählvorschrift, ergeben vier, ohne einen Freiheitsgrad. Die Winkel eines euklidischen Dreiecks summieren sich zu zwei rechten Winkeln, weil die Struktur, gegeben diese Axiome, keinen Raum für ein anderes Ergebnis lässt. Nicht wahr in allen Welten. Was die Bedingungen hervorbringen, wenn Einträge sich auf dieser Auflösung auf Einträge beziehen.

Begriffliche Notwendigkeit — alle Junggesellen sind unverheiratet — ist, was Spracheinträge auf der Auflösung der Bedeutung erzwingen. Kein vierter Bereich. Ein späteres Kapitel.

Metaphysische Notwendigkeit ist, was die Bedingungen auf der Auflösung von Identität und Arten erzwingen. Hesperus und Phosphorus benennen eine Eintragslinie. Empirisch entdeckt, und einmal entdeckt, festgeschrieben — eine Linie kann nicht zwei sein und dabei sie selbst bleiben. Das ist Sieben. Wasser ist notwendig H₂O auf der Auflösung der chemischen Art. Auf der Auflösung der Alltagssprache verschiebt sich der Referent, wie beim Schiff, und die Notwendigkeit haftet anders an.

Nomische Notwendigkeit — dass die Gesetze nicht anders hätten sein können — ist die umstrittenste, und die Position hier ist vorsichtig.

Die Gesetze sind die vier Bedingungen, auf einer Auflösung gelesen. Dieselben Bedingungen, dieselbe Auflösung, dieselben Gesetze. Andere Gesetze bräuchten andere Bedingungen. Eine Welt mit denselben Bedingungen kann keine anderen Gesetze haben.

Die Behauptung ist begrenzt. Sie besagt nicht, dass jede Konstante in geschlossener Form hergeleitet worden ist — Vier hat die Schulden benannt. Sie besagt, dass Gesetzhaftigkeit selbst, und jedes aus den vier Bedingungen herleitbare Gesetz, notwendig ist durch Herleitung, nicht durch Festsetzung. Wo ein Parameter noch nicht hergeleitet ist, ist sein modaler Status offen.

Notwendigkeit am strukturellen Boden. Der Boden sind die vier Bedingungen. Was sie erzwingen, ist notwendig. Was aus ihnen folgt, folgt notwendig. Warum sie der Boden sind, ist die eigene Frage des Werks und wird hier nicht geschlossen.

Jede Wahl, die du getroffen hast, hatte im Moment des Wählens offenen Trajektorienraum. Nach der Festlegung sind die anderen Pfade für deinen Eintrag geschlossen. Sie geschehen nirgendwo in deiner Geschichte. Sie waren vorher wirklich, als Trajektorienraum.

Der schärfste Anker ist die Quantenmechanik.

Ein Silberatom, entlang einer Achse im Spin-up-Zustand präpariert, wird durch ein Feld geschickt, das an einer anderen ausgerichtet ist. Es wird an einer von zwei Positionen registriert, jede mit Wahrscheinlichkeit genau ein halb. Lass es viele Male laufen, und die Aufteilung nähert sich mit hoher Präzision ein halb. Lass es einmal laufen, und ein Ergebnis wird registriert.

Vor der Messung ein strukturierter Raum möglicher Ergebnisse mit exakten Gewichten. Danach ein bestimmter Eintrag. Was aus dem nicht ausgewählten Term wird, ist, wo die Interpretationen auseinandergehen — Kollaps, Verzweigung, verborgene Variablen, aktualisierte Information — und dieses Kapitel wählt nicht. Es legt sich nur auf die operative Tatsache fest, die jede Interpretation respektiert. Ein strukturierter Raum davor. Ein bestimmter Eintrag danach. Das nicht ausgewählte Ergebnis ist kein zusätzlicher gewöhnlicher Eintrag in der Geschichte des Beobachters, es sei denn, eine Interpretation liefert einen.

Das ist die physikseitige Instanz des Trajektorienraums, exakt und getestet seit den 1920er-Jahren.

Der gelebte Fall hat dieselbe Form. Vor einer Entscheidung zeigt die neuronale Aktivität konkurrierende Handlungsoptionen; eine stabilisiert sich, die anderen zerfallen. Die Phänomenologie der Wahl ist ein weiter Trajektorienraum, dann ein verengter. Kein Beweis. Eine Konvergenz.

Der Realist sah, dass der nicht genommene Weg nicht nichts ist, dass Kontrafaktuale nicht leer sind, dass Möglichkeit strukturell real ist und dass Fiktionen und Konstruktionen zu schwach sind, um sie zu begründen. Alles richtig.

Was er falsch verstand, war die Kategorie. Möglichkeit muss nicht anderswo aktualisiert sein, um real zu sein. Sie ist real als die Offenheit der Pfade im Moment der Wahl.

Keine Zurückweisung. Eine Neuverortung.

Was weit bei hoher Auflösung bedeutet — das nächste Kapitel und die formalen Arbeiten. Modalität und Zeit — der Trajektorienraum blickt von der Kante nach vorn, R blickt zurück, und ihr Zusammenspiel ist, was das Jetzt ist; offen. Deontische Notwendigkeit ist, was das Override verfügbar macht; epistemische Möglichkeit ist, was der Eintrag der Stelle angesichts der Belege zulässt. Welche Quanteninterpretation richtig ist — offen, und empirisch.