REF Primitive Basis: A Crosswalk to the Foundational-Ontology and Metaphysics Literature

Purpose: to locate the REF program's independently-derived positions within existing scholarship — so that, if the ontology itself is ever pursued as a contribution, it engages the literature it must, and so that its genuinely-recombinant moves are separated from its re-derivations. This is a positioning document, not an endorsement of REF's claims.

Citation caveat. Attributions below are given from established knowledge of canonical works. Verify each against the primary source before using in a submission; do not cite page numbers from this document.

---

The one-paragraph situation

REF independently converges on a relation/difference/process-first structural ontology: it takes Difference, Relation, Transformation, Constraint as primitive and derives Entity, Identity, State, Boundary, Persistence, Emergence as later, contextual constructions. This is a respectable, actively-defended position in the contemporary metaphysics of science — but it is not new, and REF cites none of the traditions that already occupy this ground. The work's defensible novelty, if any, is not the primitive choice; it is the method (deterministic generation + governance + explicit unresolved-dependency accounting — see the companion methodology note). The crosswalk below is what a reviewer in formal ontology or metaphysics of science would expect the work to engage.

---

Concept-by-concept mapping

Difference as ontological primitive; Distinction as its epistemic recognition. REF's sharpest move — separating ontological non-equivalence (Difference) from the observer's act of Distinction — is the founding gesture of George Spencer-Brown's Laws of Form (1969), where "draw a distinction" is the primitive operation. It also runs through Gregory Bateson's "a difference that makes a difference" (information as difference) and, in a different register, Gilles Deleuze's Difference and Repetition (1968), which argues difference is prior to identity. REF's insistence that recognition must never be "smuggled into what exists" is precisely the ontological/epistemic cut these authors thematize. Gap to close: REF must position against Spencer-Brown at minimum; the "Difference before Distinction" claim is his.

Relation as primitive; Entity as derived. "Structure/relations are fundamental, objects are derivative" is ontic structural realism — James Ladyman ("What is Structural Realism?", 1998) and Ladyman & Ross, Every Thing Must Go: Metaphysics Naturalized (2007), with Steven French (The Structure of the World, 2014). The mathematical form of "objects as positions in a structure" is category-theoretic structuralism (F. W. Lawvere's categorical foundations; Steve Awodey on structuralism). Ernst Cassirer's Substance and Function (1910) is the classical ancestor (from thing-concepts to relation-concepts). REF's "Entity := Compose(Boundary, Persistence, Identity, Scope)" is a structural-realist derivation in all but name. Gap: this is the single largest omitted literature; REF's relation-first claim lives or dies against OSR.

Transformation as primitive; process over substance. Taking change/becoming as fundamental rather than derivative is process philosophy — A. N. Whitehead, Process and Reality (1929), and Nicholas Rescher's Process Metaphysics (1996). Gilbert Simondon's individuation (entities as metastable stabilizations of a process) is almost exactly REF's "entity as stabilized relational pattern." Mark Bickhard's process ontology and the autopoiesis of Maturana & Varela (organisms as self-producing processes) are the systems-theoretic cousins. Gap: REF's "Transformation is primitive, Entity is a stabilized pattern" is a process-ontology thesis and should be argued as one.

Constraint as primitive / modal / organizing. REF treats Constraint as carrying irreducible modal content (permitted/required/forbidden) — connecting to modal metaphysics and to dispositional/powers accounts (Mumford & Anjum). More pointedly, "constraint as the thing that selects which transformations persist and thereby enables organization" is the closure-of-constraints program in theoretical biology — Montévil & Mossio (2015) on biological organization as a closure of constraints, building on Kauffman, Rosen, and Moreno & Mossio (Biological Autonomy, 2015). This is the most specific live literature REF's Constraint primitive touches, and the most citable. Gap: engage constraint-closure; it is REF's strongest real-science anchor.

Identity as invariance under constrained transformation. "Identity = what is preserved (an invariant) under admissible transformation within a scope" is the standard mathematical-physical account: equivalence relations and quotients; Noether's theorem (1918) tying continuous symmetry to conserved invariants; the group-theoretic view of identity/objectivity (Weyl, and again Cassirer). It contrasts with Leibniz's identity of indiscernibles and with substance theories of identity. REF's Identity is here re-deriving a well-formalized idea. Gap: cite the invariance tradition; it makes the claim rigorous rather than novel.

Boundary as derived (Difference + Relation + Constraint + Scope). The formal theory of boundaries is mereotopology — Casati & Varzi, Parts and Places (1999) — and specifically the fiat-vs-bona-fide boundary distinction of Smith & Varzi (2000). Systems-theoretic boundary (system/environment) traces to von Bertalanffy and Luhmann. REF's "boundary is not primitive but a scoped, constrained relational distinction" is a defensible mereotopological stance. Gap: mereotopology already formalizes this; REF should build on it, not reinvent it.

Emergence and Recursion. REF's derived Emergence/Recursion sit in a vast, contested literature: weak vs. strong emergence (Mark Bedau; David Chalmers), Timothy O'Connor on emergent properties, the levels-of-organization and downward-causation debates (Jaegwon Kim's exclusion argument is the standard challenge REF must answer). REF's "capability/explanatory-necessity" criterion for a new level is close to the epistemic/weak-emergence camp. Gap: emergence is the most philosophically loaded term REF uses; it cannot be adopted without engaging Kim and the weak/strong distinction.

The enterprise itself: foundational/upper ontology and its evaluation. REF is, in field terms, an upper (foundational) ontology, and there are established ones it must be compared to: BFO (Basic Formal Ontology; Barry Smith and colleagues), DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering; Masolo, Borgo, Gangemi, Guarino, Oltramari, from the WonderWeb project), UFO (Unified Foundational Ontology; Giancarlo Guizzardi), plus SUMO and Cyc. Crucially, REF's "competency questions + critical gates" evaluation method closely resembles two existing methodologies: competency questions for ontology scoping (Grüninger & Fox, 1995) and OntoClean (Nicola Guarino & Christopher Welty, ~2002), which evaluates taxonomic decisions using formal meta-properties — rigidity, identity, unity, dependence — that map almost one-to-one onto REF's derivation concerns. Gap: this is mandatory. An upper ontology that doesn't position against BFO/DOLCE/UFO and doesn't cite OntoClean will be desk-rejected.

---

Summary table

REF concept / move	Nearest existing tradition	Key references (verify)	REF's status
Difference primitive; Distinction epistemic	Distinction-as-primitive; difference metaphysics	Spencer-Brown 1969; Bateson 1972; Deleuze 1968	Re-derivation
Relation primitive; Entity derived	Ontic structural realism; categorical structuralism	Ladyman 1998; Ladyman & Ross 2007; French 2014; Lawvere; Cassirer 1910	Re-derivation
Transformation primitive; process-first	Process philosophy; individuation; autopoiesis	Whitehead 1929; Rescher 1996; Simondon; Maturana & Varela	Re-derivation
Constraint primitive/modal/organizing	Closure of constraints; powers metaphysics	Montévil & Mossio 2015; Moreno & Mossio 2015; Mumford & Anjum	Re-derivation (strong anchor)
Identity = invariance under transformation	Symmetry/invariance; equivalence	Noether 1918; Weyl; Cassirer	Re-derivation (formalizable)
Boundary derived, scoped	Mereotopology; fiat/bona-fide boundaries	Casati & Varzi 1999; Smith & Varzi 2000	Re-derivation
Emergence/Recursion derived	Weak/strong emergence; downward causation	Bedau; Chalmers; O'Connor; Kim (challenge)	Contested; must engage
Upper ontology + competency scoring	Foundational ontologies; ontology evaluation	BFO (Smith); DOLCE (Masolo et al.); UFO (Guizzardi); OntoClean (Guarino & Welty 2002); Grüninger & Fox 1995	Field REF must join

---

Honest assessment and what it would take

What REF is, positioned honestly: an independent, engineering-flavored re-derivation that converges on a relation/difference/process-first structural ontology — a real, defended position in the metaphysics of science — organized with unusually disciplined governance and reproducibility machinery. The reasoning is competent and the positions are defensible. What is missing for it to be a contribution as ontology is not more derivation; it is scholarship and a thesis.

To make it publishable as ontology, in order:

1. Position against the field. Add explicit comparison to BFO, DOLCE, and UFO, and adopt (or explicitly critique) OntoClean's meta-property method, which your competency questions already resemble.
2. Engage the four load-bearing traditions. Spencer-Brown (Difference), ontic structural realism (Relation), process philosophy (Transformation), and constraint-closure (Constraint). Each is the prior owner of one of your four primitives.
3. Answer the standard challenge to Emergence. Address Kim's exclusion argument and the weak/strong distinction, or restrict your Emergence claim to the epistemic/weak reading.
4. Resolve or formally characterize the open circularities. Difference↔Relation and Transformation↔State are, by your own generator's report, unresolved. Either close them or present them as a formal co-foundation result (a genuine contribution if done rigorously).
5. State a novel, defensible thesis. The strongest candidate is not "these are the right primitives" (contested, un-new) but: "a governed, deterministically-generated foundational ontology with explicit, machine-checkable unresolved-dependency accounting." There the novelty is real — the method (see the companion methodology note), not the metaphysics. A paper whose thesis is the governance-and-generation apparatus applied to foundational ontology, using REF as its worked example, is publishable in a way that "here is the true primitive basis" is not.

The recommendation that runs through this whole line of work applies once more: the credible contribution lives in the disciplined method, and the totalizing theory-of-everything framing should be kept well away from it.

Gergely Vámossy (2026). Literature Crosswalk — Foundational Ontology Worked Example. https://vamossy.com/research/ref-literature-crosswalk