Participatory Relational Logic and Origin-Tag Logic: A First-Order Framework for Identity

Introduction

The essay below develops origin identity logic that was first presented here:

Origin Tag Identity Theory

Identity across time and change, in ships, persons, artifacts, digital tokens, and even in how we speak of divine Persons, poses persistent puzzles. Classical approaches either treat the identity symbol “=” as a primitive left unanalyzed in first-order logic or resort to second-order quantification over all properties. Participatory Relational Logic (PRL) and its core, Origin-Tag Logic (OTL), offer a purely first-order alternative for creatures: provenance, recorded by an indelible origin-tag function τ on created substances, becomes the criterion of numerical identity in the creaturely domain. For theological discourse ad intra (within God), PRL/OTL 2.0-lite replaces naive “=” with typed copulas—predication is∈ and guarded aspect-identity is◇—so “The Father is God” and “The Son is God” are true without collapsing Father into Son.

Below is the full formal argument drawn from the PRL/OTL 2.0-lite framework:

1  Premise…Origin-Tag Axiom (creaturely scope).

Every created substance x receives, at the moment it first exists, a unique, indelible root tag τ(x). Numerical identity for created substances is given by the single biconditional:

x = y \quad \text{iff} \quad τ(x) = τ(y).

Thus “coming from the same origin” is the sole criterion of numerical identity for creatures.

2  Premise…Univocal Predication of Essence (no τ in God).

Trinitarian unity is expressed not by tags but by typed copulas: for each divine Person P,

P \ \text{is}∈ \ E \quad \text{and} \quad P \ \text{is}◇ \ E,

where E is the one divine essence. These operators do not license substitution into “=” and do not introduce composition or a “fourth thing.”

3  Premise…Relation of Origin (personal distinction).

A primitive relation RelOfOrigin(p,q) records subsistent relations of origin among the divine Persons (e.g., Father→Son; Father & Son→Spirit). These relations distinguish Persons without multiplying the essence.

4  Premise…Trinitarian Application (typed safety).

• Simplicity: Father, Son, and Holy Spirit each satisfy \text{is}∈ E and \text{is}◇ E, securing undivided essence without identity collapse.

• Personhood: RelOfOrigin (and the oppositions it encodes) secures real personal distinction; pairwise ≠ holds in the Person sort.

Therefore (Conclusion).

Personal distinction is grounded in relations of origin, while unity is grounded in predication/aspect-identity to the one essence. Numerical identity for creatures is tracked by τ; no creaturely identifier (τ or otherwise) applies within God. Thus we avoid illicit substitution, prevent modal collapse, and keep divine simplicity intact without erasing personal distinction.

¹ Note on “participation.” In PRL/OTL 2.0-lite, “participation” is a formal way of speaking realized by typed copulas rather than a new metaphysical operator.

– Univocal (ad intra): P \ \text{is}∈ E and P \ \text{is}◇ E express consubstantiality/simplicity without parts or dependence.

– δ-mode (analogical, ad extra): Creaturely predicates relate to God by likeness, preserving the Creator–creature distinction.

– Aseity firewall: No τ, no creaturely tags, and no composition enter God ad intra.

Having established the formal core, this essay will:

Section 1. Unpack the ledger-based Origin-Tag Axiom (creaturely)

Section 2. Introduce typed copulas and the relation-of-origin (theological)

Section 3. Apply OTL to the Ship of Theseus and classic identity puzzles

Section 4. Weigh the metaphysical cost of tags (and what they don’t touch)

Section 5. Reflect on broader applications—from sacramental ontology to digital provenance—under one first-order theory

Section 1: The Origin-Tag Axiom Unpacked (creaturely domain)

The Origin-Tag Axiom replaces rival creaturely criteria of identity—shared matter, continuity of form, property bundles, psychological continuity—with a single ledger rule. When a created substance first comes to be (birth, creation, manufacture, etc.), it is assigned a root tag τ(x). That tag is permanent; subsequent changes append history but do not alter the root.

Key features.

1. Numerical Identity. For created substances:
   x = y \quad \Leftrightarrow \quad τ(x)=τ(y).
   This biconditional suffices for diachronic identity.
2. Change and Transformation. Replacement of parts, alteration of properties, even dramatic state changes leave τ untouched. Identity is preserved so long as the same τ persists. Fission/fusion/copying are handled by policy rules that respect one-to-one τ.
3. First-Order Simplicity. τ is a unary function symbol; “=” is standard sorted identity. No higher-order quantification is required.
4. Scope. The τ-ledger governs creatures (artifacts, organisms, persons as created substances, data structures). It is not used ad intra in God. For divine discourse we use typed copulas and relations of origin.

Supervaluation handles vague origins by quantifying over admissible τ-assignments: identity is super-true only if it holds on every sharpening; otherwise the theory withholds a verdict.

Section 2: Participation (typed), and Relation of Origin

2.1 Typed Copulas in PRL/OTL 2.0-lite

• is₌: numerical identity, per sort (substitutive only within that sort).
• is∈: predication/membership to an essence or nature (non-substitutive into =).
• is◇: guarded aspect-identity (e.g., Person–Essence in divine simplicity), not promotable to = and not compositional.

These typed links let us say “The Father is God” as Father \ \text{is}∈ E (and \text{is}◇ E for simplicity) without ever forming the ill-typed or illicit Father = E.

2.2 Relation of Origin (personal distinctions)

RelOfOrigin(p,q) encodes subsistent relations: begetting (Father→Son) and spiration (Father & Son→Spirit). These relations, together with pairwise ≠ in the Person sort, ground real distinctions while preserving unity of essence via \text{is}∈ / \text{is}◇.

Section 3: The Ship of Theseus and Other Puzzles

3.1 The Classical Puzzle

A ship has its planks replaced over time; old planks are reassembled into a second vessel. Which is the original?

3.2 OTL’s Resolution (creaturely)

1. At t_0, the ship receives τ_S.
2. Replacements append history; τ_S remains at the head.
3. At t_n, the maintained hull still bears τ_S ⇒ same ship.
4. The reassembled “old-plank” vessel receives a fresh τ_{S’} ⇒ numerically distinct.

No appeal to matter or sortals is needed—just τ.

3.3 Fission, Fusion, Copying/Teleportation

• Fission: At most one branch inherits the original τ, or neither (original retires; two new τs). Identity cannot bifurcate.
• Fusion: Either one predecessor’s τ persists in the merger, or both retire and a new τ is issued. Identity cannot be many-to-one without retiring extras.
• Copying/Teletransportation: Duplicates always get new τs. Destructive teleportation (source annihilated, duplicate assembled) issues a new τ; only continuous relocation without destruction preserves the original τ.

3.4 Resurrection and Digital Provenance

• Resurrection (theological, ad extra): A special policy can model God’s re-instatement of the same τ to the risen created person, preserving numerical identity beyond death.
• Digital tokens: Ledgers that conserve a single provenance line mirror τ: authentic tokens carry the same root entry across transfers; counterfeits do not.

Section 4: Metaphysical Cost and Significance

Gains.

– First-order clarity: One biconditional covers creaturely identity.

– Explicit commitments: Haecceity for creatures is made explicit (τ), not hidden in “=”.

– Unified treatment: One ledger principle solves ships, persons, data—while typed copulas solve Trinitarian form.

Costs.

– Primitives: Accept τ as an irreducible individuator for creatures.

– Discipline: Maintain the Creator–creature firewall (no τ, no composition, no fourth thing in God).

– Analogical openness: Predicates spanning Creator–creature are analogical (δ-mode).

The “cost” is transparent and buys uniformity without second-order machinery or illicit substitution.

Section 5: Broader Applications

5.1 Sacramental Ontology (Eucharist).

At consecration, substance swap occurs: the bread’s substance (and its τ) ceases to be present; Christ’s Body (a created substance with its own τ from the Incarnation) becomes present. The accidents of bread remain as species sine subiecto—they taste/appear as bread without inhering in a created subject. Thus:

• “This is My Body” = the present substance is Christ’s Body (true).
• “It tastes like bread” = truth via species (accidents sustained), not via consubstantiation.

5.2 Theological Persons.

– Unity: F, S, H \ \text{is}∈ E and \text{is}◇ E (no τ, no composition).

– Distinction: RelOfOrigin and pairwise ≠ in Person.

– Inseparable operations: External acts are one act of the one essence; appropriation is linguistic, not a multiplication of actions.

5.3 Digital Tokens & AI Provenance.

Provenance-preserving ledgers implement the τ-idea directly, securing authenticity across transformations without ambiguity.

In this framework, τ (tau) names the “origin-tag function” for created substances. Concretely:

• τ(x) denotes the unique, indelible root tag assigned when a creature x first comes to be.

• That tag individuates x: no two distinct creatures share a τ-value.

• Whenever you see τ(x) = τ(y) in OTL, read “x and y trace back to the very same created origin”—which is the definition of creaturely numerical identity.

• Divine Persons have no τ. Their unity/distinction are handled by is∈, is◇, RelOfOrigin within the Creator–creature firewall.

Bonus. “Plain text” version (for listening), revised for 2.0-lite

People have always wondered how something can stay itself while it changes. The question shows up in every age and culture. Ancient storytellers asked about the Ship of Theseus. Biologists ponder metamorphosis. Lawyers argue over whether a company that restructures is still the same corporation. Digital artists worry about copies and tokens. Theologians ask how one God is three Persons without contradiction. We keep circling the same riddle: what makes X the very same X from day one to day two?

Classical answers often treat identity as a magic symbol or push us into heavy second-order math. PRL/OTL 2.0-lite offers a clean first-order answer where it applies—the creaturely world. What makes a creature itself is its origin. That origin is recorded in an “origin tag,” τ, assigned the moment the creature comes to be. Think of τ as the first line in a ledger: “Origin tag ABC-123.” Every later change adds lines underneath, but line one never moves. If two stages point back to the same τ, they’re numerically the same creature. If not, they aren’t. That’s it.

This simple rule has real power. As workers swap the planks on Theseus’ ship one by one, the vessel keeps the same τ. When all the work is done, the ship’s ledger still starts with the same line—so it’s the same ship. If someone rebuilds a second hull from the discarded planks, that new hull gets a new τ, so it’s a different ship. Two ships, two tags—no paradox.

The same clarity resolves sci-fi puzzles. If a teleporter duplicates you, the copy gets a new τ; no one identity branches into two. If you simply move without being annihilated, you keep your τ. If you’re destroyed and later reassembled, the reassembled creature has a new τ; the original ceased. τ makes the verdicts crisp.

Now, what about God? Here PRL/OTL changes gear. τ belongs to creatures only. When we speak of the Trinity, we switch to typed copulas. “The Father is God” means the Father is∈ the one divine essence, and in divine simplicity the Father is◇ that essence (in a guarded, aspectual way). The Son and the Spirit likewise. None of these statements turns into a raw “=” that would collapse Father into Son. Distinction comes from relations of origin—the Father begets the Son; the Father and the Son spirate the Spirit—while unity remains in the single essence. No parts, no composition, and absolutely no “fourth thing.”

The Eucharist? PRL/OTL 2.0-lite models the classic teaching cleanly. At consecration there is a substance swap: the bread’s substance (and so its τ) is no longer present; instead, Christ’s Body is present. The accidents of bread remain by miracle as species without a subject, so it still looks and tastes like bread. Thus “This is My Body” is true (the present substance really is Christ’s Body), and “it tastes like bread” is also true (by the remaining species), with no consubstantiation. Identity at the substance level changed; the appearances did not.

What’s the cost? We make τ a primitive for creatures and we guard divine language with types. That price is honest and small compared to the clarity we gain. Courts, museums, and blockchains already act as if τ-like provenance is what matters. PRL/OTL simply makes the rule explicit and first-order.

If origins are vague, we don’t fake precision: we use supervaluation. Identity claims are true only if they hold across every admissible sharpening of the origin; otherwise we withhold a verdict. Classical logic stays intact; we just refuse to pretend a blurry line is sharp.

In short: for creatures, one origin tag secures numerical identity through change. For God, typed predication and relations of origin secure unity and distinction without collapse or composition. One ledger rule, one typed firewall, many puzzles solved.

To close, think of identity not as a statue but as a river. A river is itself because of its source and course, not because every drop remains. τ names that source for creatures. The typed copulas name that source for how we speak of God. With those in place, identity stops being a riddle and becomes a clear, singable line that carries through every variation.