Lokales korrektes Update kann dennoch versagen, als Gesetz zu fungieren. Ein argumentatives System kann gut aktualisieren, sofortige Inkohärenz vermeiden und dennoch Stabilität verlieren, wenn seine Regeln erklärt, wiederverwendet, veröffentlicht und dazu aufgefordert werden, sich selbst zu regieren. Das hier behandelte Problem ist daher nicht, welche Aktualisierungsregel korrekt ist, sondern was eine Welt dazu befähigt, Rechtsähnliche rationale Praktiken überhaupt zu tragen. Das Argument ist transzendental geformt: Es fragt nach den strukturellen Bedingungen, unter denen eine solche Praxis möglich ist. Wir schlagen vor, dass Rationalität nicht durch eine bloße Regel, sondern durch ein Paket mit einem öffentlichen Gesicht, einer Beobachtungsstruktur und einem gefiederten Raum umsetzbarer Gesetze zusammen mit Operationen der Publizität, kanonischen Vollständigkeit und kohärenten Rückkehr modelliert wird. Bayes wird damit als exakte Grenzregel auf der öffentlichen Seite eines solchen Pakets neu positioniert, anstatt als die Grundlage der Rationalität. Die Bedingungen der Möglichkeit werden nur dann als echt betrachtet, wenn sie ihre eigene höherordentliche Anwendung überstehen, sodass die Rechtsähnlichkeit auf Paketebene als Stabilität unter Sichtbarkeit, zulässiger Reparatur und rekursiver Wiederverwendung formuliert wird. Der erste Theoreme-Anker ist das endliche Baumdiagramm, das bereits die vertrauten endlichen Horizont-Ereignisbaum-Einstellungen abdeckt, in denen viele diachrone Niederländische Buch- und dynamische Kohärenzprobleme aufgeworfen werden. Dort wird die Rechteckierung zum Reflektor, und die algebraische Struktur auf Paketebene ist durch kohärente Rückkehr aus dem herabgestiegenen öffentlichen Schatten gekennzeichnet. Der zweite Anker ist ambient und punktuell. In einem internen Diagramm-Setting wird kanonische Governance zu freier Vollständigkeit in rechtsähnliche Objekte, und in einem Walker-kompatiblen Subkategorie-öffentlichen Vergleich werden Gesamtvollständigkeit, angehobene Vollständigkeit und verallgemeinerte Rückkehr bewiesen, anstatt lediglich vorherzusagen. Der völlig arbiträre fibrational Fall bleibt offen, aber die zentrale philosophische Behauptung hat bereits substanzielle mathematische Unterstützung: Rationalität wird am besten als die Schließgeometrie von Welten verstanden, die ihre Gesetze öffentlich machen, sie kanonisch reparieren und stabil unter Rückkehr bleiben können.
Lorand Bruhacs (Mon,) untersuchte diese Frage.