Superseded: Lean 4 formalization of the Ontological Neutrality Theorem
-
Updated
May 31, 2026 - Lean
Superseded: Lean 4 formalization of the Ontological Neutrality Theorem
Paper establishing that for an ontological substrate to remain neutral and stable under allowable frameworks that include persistent disagreement, causal or normative commitments cannot be part of the substrate itself.
Add a description, image, and links to the neutrality-theorem topic page so that developers can more easily learn about it.
To associate your repository with the neutrality-theorem topic, visit your repo's landing page and select "manage topics."