Derives identity regimes that preserve stable reference when neutral substrates are transformed under persistent disagreement.
This project derives a lower-bound identity constraint for neutral accountability records. When stable reference must be preserved across admissible frameworks, and causal or normative interpretation remains outside the substrate layer, reference kinds alone are insufficient. The substrate must also preserve the identity basis under which each referent remains the same through ordinary transformations.
The paper shows that six required reference kinds supply the carriers: obligation-bearers, rules, occurrences, scopes, records, and plain referents. Three of those kinds underdetermine identity. Plain referents may be locus-fixed or object-fixed. Scopes may be extension-fixed or structure-fixed. Rules may be content-fixed or structure-fixed. This transformation analysis forces at least nine identity regimes.
| Regime | Carrier | Identity basis | Forced by |
|---|---|---|---|
OBL |
Obligation-bearer | Responsibility-bearing identity | Required carrier in the accountability inventory |
OCC |
Occurrence | Realization-and-provenance identity | Required carrier in the accountability inventory |
REC |
Record | Descriptive-record identity | Required carrier in the accountability inventory |
LOC |
Plain referent | Locus-fixed identity | Branch/fork separates locus identity from object identity |
OBJ |
Plain referent | Object-fixed identity | Branch/fork separates object identity from locus identity |
SCOPE-E |
Scope | Extension-fixed identity | Aggregation/decomposition separates coverage from structure |
SCOPE-S |
Scope | Structure-fixed identity | Aggregation/decomposition separates structure from coverage |
RULE-C |
Rule | Content-fixed identity | Refinement separates rule content from rule structure |
RULE-S |
Rule | Structure-fixed identity | Refinement separates rule structure from rule content |
| Paper | Description |
|---|---|
| Neutral Substrates | Defines the neutrality constraint. A neutral substrate preserves shared reference and attribution without adopting contested causal or normative interpretations as substrate-level commitments. |
| Referential Regimes | Derives the identity cost of the neutrality constraint. Shows stable reference under persistent disagreement requires transformation-invariant identity regimes and derives a nine-regime lower-bound core. |
| Accountable Records | Develops the conformance layer for deployed record systems. Studies how basis declarations, transformation logs, and schema checks can make neutral-substrate identity commitments inspectable in practice. |
Requires a LaTeX distribution with latexmk (MiKTeX, TeX Live, or MacTeX):
latexmk -pdf se200_referential_regimes.tex -f
texcount -inc -sum -total se200_referential_regimes.texWindows:
.\tools\build\build.ps1
.\size.ps1
texcount -merge -sub=section -inc -sum se200_referential_regimes.tex# delete tags only as needed
git tag -d v0.3.0
git push origin :refs/tags/v0.3.0
.\tools\build\clean.ps1
.\tools\build\build.ps1
git tag v0.3.0 -m "0.3.0"
git push origin v0.3.0See CITATION.cff.
Validate with:
uvx se-manifest-schema validate-manifest --path SE_MANIFEST.toml --strict-
Arp, R., Smith, B., and Spear, A. D. (2015). Building Ontologies with Basic Formal Ontology. MIT Press.
-
Bowker, G. C., and Star, S. L. (1999). Sorting Things Out: Classification and Its Consequences. MIT Press, Cambridge, MA.
-
Case, D. M. (2026). Neutral Substrates: A Design Constraint for Shared Records Under Persistent Interpretive Disagreement. arXiv:2601.14271. https://arxiv.org/abs/2601.14271
-
Edwards, P. N. (2010). A Vast Machine: Computer Models, Climate Data, and the Politics of Global Warming. MIT Press.
-
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., and Schneider, L. (2002). "Sweetening ontologies with DOLCE." In Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web (EKAW 2002), volume 2473 of Lecture Notes in Computer Science, pages 166–181. Springer.
-
Grieves, M., and Vickers, J. (2017). "Digital twin: Mitigating unpredictable, undesirable emergent behavior in complex systems." In Transdisciplinary Perspectives on Complex Systems, pages 85–113. Springer.
-
Guarino, N. (1999). "The role of identity conditions in ontology design." In C. Freksa and D. M. Mark (Eds.), Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science (COSIT ’99), volume 1661 of Lecture Notes in Computer Science, pages 221–234. Springer.
-
Guarino, N., and Welty, C. A. (2002). "Evaluating ontological decisions with OntoClean." Communications of the ACM, 45(2):61–65.
-
Guizzardi, G. (2005). Ontological Foundations for Structural Conceptual Models. PhD thesis, University of Twente.
-
Haslanger, S. (2012). Resisting Reality: Social Construction and Social Critique. Oxford University Press.
-
Hodges, W. (1997). A Shorter Model Theory. Cambridge University Press.
-
ISO/IEC. (2018). Information Technology — Common Logic (CL): A Framework for a Family of Logic-Based Languages. ISO/IEC 24707:2018.
-
Kutz, O., Mossakowski, T., and Lücke, D. (2010). "Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design." Logica Universalis, 4(2):255–333.
-
Longino, H. E. (1990). Science as Social Knowledge: Values and Objectivity in Scientific Inquiry. Princeton University Press.
-
Masolo, C., Borgo, S., Gangemi, A., Guarino, N., and Oltramari, A. (2003). WonderWeb Deliverable D18: Ontology Library. IST Project 2001-33052 WonderWeb.
-
Moreau, L., and Missier, P., editors. (2013). PROV-DM: The PROV Data Model. W3C Recommendation, 30 April 2013.
-
Pearl, J. (2009). Causality: Models, Reasoning, and Inference. Second edition. Cambridge University Press.
-
Smith, B., et al. (2015). Basic Formal Ontology 2.0: Specification and User’s Guide. Technical specification, 26 June 2015.
-
Wilkinson, M. D., et al. (2016). "The FAIR Guiding Principles for scientific data management and stewardship." Scientific Data, 3:160018.
Selected papers from the Harvard's SciX similar-papers search for Referential Regimes.
- A Category Theory Account of AI Identity
- What does a system modify when it modifies itself?
- On the referential capacity of language models: An internalist rejoinder to Mandelkern & Linzen
- Semantic Non-Fungibility and Violations of the Law of One Price in Prediction Markets
- Beyond Single Ground Truth: Reference Monism as Epistemic Injustice in ASR Evaluation
- Explanation Multiplicity in SHAP: Characterization and Assessment