Back to Research

Derivation

DOI: 10.5281/zenodo.21156830

Descartes was right about the method and wrong about the starting point. Submit everything to radical doubt and what survives is not I think but what the cogito already presupposes: there is. Beginning there, this paper derives — not postulates — a non-perspectival ground. Recognition is shown to carry an irreducible duality of apprehending and apprehended; the mutual determination of unity and multiplicity is established as necessity; self-reference with return forces the threshold of universal computation; the metric completion of its configuration space, with the requirement that consequence chains can close, forces a carrier compact, simply connected, and without boundary — uniquely S² in the minimal dimension. Each step is found, not invented, and the chain admits machine-checked verification: a warrant whose validity conditions hold independent of the state in which the derivation was found. What it grounds is a depth ordering that is non-perspectival without being a view from nowhere; what it cannot close is the adequacy of the formalization to the insight — checkable, yet not surveyable — which is where the derivation meets, and expresses, the non-closure it describes.

Formal EpistemologyMetaphysicsNon-Perspectival GroundUniversal ComputationAlgebraic TopologyFormal VerificationLean 4