Conceptio › Archive › PhilArchive
PhilArchive open access

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics

Alpay, Faruk
PhilArchive · Papers
Open Source ↗
philosophy
We introduce the Ordinal Folding Index (OFI), a computable, countable ordinal assigned to every well-formed formula of a reflective language by a monotone-with-delay evaluation operator. This operator is (i) continuous on countable chains, (ii) layer-aware for probabilistic truth values, and (iii) parameterized by a tunable evidence functor capturing empirical updates. The OFI of a formula is defined as the first stage at which the fold-back of the operator into a syntactic normal form becomes idempotent (i.e. further unfolding yields no new information). Intuitively, OFI measures the "depth" of self-reference needed before a sentence's truth value stabilizes. We show that OFI strictly refines classical closure ordinals from fixed-point logics while remaining recursively enumerable, admits polynomial-time approximations on finite models, and coincides with the length of the shortest parity-fold winning strategy in the associated evaluation game. This furnishes a single transfinite scale that unifies transfinite fixed-point depth, ordinal game values, and practical convergence diagnostics for large language models. We situate OFI in relation to the modal????-calculus alternation hierarchy, coalgebraic modal logic ranks, and proof-theoretic ordinals from formal arithmetic. An empirical section demonstrates how OFI can be estimated for transformer-based language models by iteratively feeding model outputs back into the model (a form of self-consistency probing), with the measured stabilization ordinals correlating with model perplexity and chain-of-thought complexity. Finally, we catalog five open problems in this new area-ranging from the completeness of the spectrum of OFI (can every computable ordinal arise as an OFI?) to the design of a self-bounding reflective operator-and we outline possible research pathways toward their resolution.
Conceptio Open Archive

Analyze & explore related research in Conceptio

Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.

This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗

Related documents

Record · ID 697209
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive