Juza Minamikata, Kasei-Theory I.Consistency: Consistency Without Logical Closure
philarchive.org
This paper rewires what "consistency" means in formal logic — arguing it doesn't require full logical closure, which could reshape the foundations of mathematical reasoning.
Consistency TheoryFormal LogicNon-Classical LogicFoundations of Mathematics
Theory Briefing
- Kasei-Theory's first system defines consistency as a 'non-modal readability maintainability architecture,' decoupling it from classical closure conditions.
- The paper challenges the standard assumption that a consistent system must be closed under logical consequence, opening new foundational possibilities.
- By separating consistency from completeness pressures, Kasei-Theory I offers a novel framework for building formal systems that resist paradox without full closure.