CI Uniqueness
The uniqueness of the Categorical Imperative — is Kant's CI the only possible universal moral law? The τ-framework proves CI uniqueness via Knaster-Tarski fixed…
Metaphysics
High impact frontier problem
ETHICS
Book VII
Public
Manuscript
Lean · Formalized
In plain language
The uniqueness of the Categorical Imperative — is Kant's CI the only possible universal moral law? The τ-framework proves CI uniqueness via Knaster-Tarski fixed…
Overview
The uniqueness of the Categorical Imperative — is Kant’s CI the only possible universal moral law? The τ-framework proves CI uniqueness via Knaster-Tarski fixed-point theorem: CI is the unique j-closed fixed point.
Result Statement
CI uniqueness proved via Knaster-Tarski: CI is the unique j-closed fixed point of the τ-digestion operator. Lean-verified. Status: Internally addressed.
Cross-references
Glossary terms
Metaphysics: Universal (structural position)