Logic Guaranteed grew from a practical reasoning problem into a sustained research program: could one rigorous logical architecture represent the full complexity of real-world reasoning across different forms of inference?
Defeasible Class-Inclusion Transitivity (DCIT) proposes a single structurally constrained form, expressible in natural language, that can represent diverse forms of practical inference while preserving real-world complexity.
One architecture. Different forms of inference. Real-world complexity intact.
The foundational paper proposes DCIT as a generalizable structure for complex evidentiary reasoning.
Read the Paper ↗The subsequent research tests whether one logical form remains sufficient as reasoning grows more varied, layered, and complex.
Read the Paper ↗The universality claim is meant to be tested, not merely accepted.
Diverse inferences without switching architectures.
Connections constructed rather than asserted.
Assumptions, objections, uncertainty, and networks.
Logical rigor without specialized notation.
We welcome serious scholarly critique, proposed counterexamples, empirical research collaborations, and inquiries from institutions interested in testing the architecture in new settings.
Start a Research Conversation ↗