This release presents The Is: An Ontological Framework — A Type-Theoretic Reconstruction of Ontological Differentiation. The paper develops a type-theoretic reconstruction of ontological differentiation grounded in a five-stage axiomatic sequence: I (Isness) → D (Difference) → S (Structure) → A (Appearance) → F (Feedback). The central thesis is that Difference is not an object or entity among entities, but a generative act of type formation, reconstructed as the operation T: G ⇒ U mapping a pre-formal ground to a universe of distinguishable types. From this reconstruction, the emergence of types, relational structure, structured identity, judgment, revision, and falsifiability is developed in a coherent sequence. The framework draws interpretive inspiration from dependent type theory and Homotopy Type Theory (HoTT). Identity is reconstructed as a structured relation represented by identity types, appearance is reconstructed as judgment (Γ ⊢ φ: Prop), and feedback is reconstructed as revision (α: φ ⇒ ψ). Three falsifiability criteria (C1–C3) are introduced to secure rational accountability and scientific scrutiny. The release includes the complete manuscript, ten figures, and a Python demonstration script that reproduces all figures used in the paper. This reconstruction is proposed as a conceptual type-theoretic interpretation and does not claim formal identity or equivalence with any specific type-theoretic system. The framework is intended as a philosophical and methodological research program rather than a formal proof-theoretic system. Contents Full manuscript (PDF) README documentation Figures 1–10 theᵢsₐpplicationₐₜypeformationdemo. py The framework remains open to tests, open to revision, and open to further refinement.
Koji Okino (Fri,) studied this question.