The objection
The owner’s thesis (CLAIM-136) keeps relata and denies them any identity beyond relational differentiation (U54: “only in so far as they are differentiated by their relata”). The record already holds the objection to exactly that position. Chakravartty (LIT-196, read in NOTE-149) argues that one “cannot deny eliminativism and a role for the intrinsic in the analysis of identity” (p. 200). An object with no intrinsic features “is not an object at all” (p. 197), so a view that strips every intrinsic feature away is eliminativism under another name. THEORY-034 reads the dilemma as well aimed only at structural realisms that keep relata but deny them every intrinsic identity-fixing feature, and finds two among the record’s readings: Floridi’s, and Esfeld and Lam’s moderate structural realism (THEORY-453), which grants primitive numerical diversity much as A194 and A198 grant plurality. The owner’s thesis would be the third.
The exchange placed the thesis next to the very view the dilemma names. A194: “close to the non-eliminative OSR developed by Esfeld and Lam” (LIT-895). NOTE-149 records that Chakravartty’s fn. 9 lists Esfeld and Esfeld & Lam among the no-priority views, and that §10.6 applies the same “what is the what?” question to Esfeld & Lam’s spacetime points: “an object as such is nothing but what bears the relations”. None of A191, A194, A198, A203 or A218 mentions Chakravartty.
The partial reply the owner’s move supplies
NOTE-149’s C6 notes a gap in the dilemma. Chakravartty asserts that mass and charge are intrinsic and fix identity, and “the chapter does not engage group-theoretic readings of them”. The owner’s character move is such a reading. Kind-properties become invariants of a symmetry’s representations, as in Wigner’s classification of particles by irreducible representations of the Poincaré group, which NOTE-149’s limitations section names. That removes intrinsic properties from the analysis of kind.
It does not reach identity. Chakravartty’s own line is that citing quantum non-individuation for OSR “conflate[s] individuation with identity” (p. 204), and characters do not individuate: isomorphic copies of a representation share one character and differ only by embedding (CLAIM-132). So the character move protects the kind claim (CLAIM-137) and leaves this one exposed.
What it forces
A choice between the two versions of the thesis.
The exchange’s examples are the easy case. A194 §5 uses “A symmetric graph … two distinct vertices exchanged by an automorphism”, and A203 §2 two vertices “connected by an undirected edge”. A198 §3’s two-person interaction is the same: in the mutual configuration {a→b, b→a}, a and b are weakly discernible by an irreflexive symmetric relation. The hard case is Leitgeb and Ladyman’s edgeless two-node graph G′ (LIT-154, read in NOTE-133). Its two nodes are not even weakly discernible, yet graph theory counts two. Two singletons in Set are the categorical version (THEORY-032).
- The strict thesis says G′ has one node, or none. That is against mathematical practice.
- The weak thesis says the plurality is primitive while qualitative identity is relational. This is where the assistant went. A194 §5: “Their numerical plurality is real; their distinction is not grounded in independent intrinsic identities.” A198 §3: “a perfectly symmetric two-person interaction can have two participants … A non-eliminative structural realism can accept the first without requiring the second in every case.” That splits identity into a numerical part that relations do not fix and a qualitative part that they do. U54 allowed no such split. A primitive fact of numerical distinctness is a non-relational ground of identity, which is the concession the dilemma demands, in a thin form.
Leitgeb and Ladyman take the weak option for mathematical places only. NOTE-133: “It does not support the corresponding claim for physics: the authors explicitly withhold it.” Nothing in the record extends it to persons or utterances.
What it does not say
- That the dilemma is sound. Its regress step is one the author admits may look question-begging (p. 201; THEORY-034, NOTE-149 C3).
- That the owner must take the intrinsic horn. The weak thesis is a coherent position. The objection is that it is a different one from U54’s, and that A194 and A198 moved to it without saying so.
- That communicative cases contain relata no relation discerns. Whether two act tokens can be relationally undifferentiated is open.
- Anything against the kind claim, whose identity criteria are qualitative by construction.
Note of 2026-10-10: Esfeld & Lam read
Esfeld & Lam (LIT-895) were read in full on 2026-10-10 (NOTE-695). The reading confirms that their position is the one the dilemma targets. They deny basic objects any fundamental intrinsic property, and they reject primitive thisness for space-time points by the hole argument (pp. 28, 33). It also changes this objection’s footing in two ways.
- The weak option has a physics precedent. “Leitgeb and Ladyman take the weak option for mathematical places only” is still true of Leitgeb and Ladyman. But Esfeld & Lam take it for entangled quantum systems and for points of symmetric space-times: “one can simply accept a numerical distinction (diversity) … as primitive” (p. 33). “Nothing in the record extends it to persons or utterances” stays true.
- The concession step now meets a held reply. This entry says “A primitive fact of numerical distinctness is a non-relational ground of identity”. Esfeld & Lam deny that it is a ground of identity at all. “A numerical distinction is not a primitive thisness, for it does not establish an identity in time—or any other sort of an identity” (p. 33). They add that the situation it answers “is independent of structural realism. Any position in the metaphysics of science has to come to terms with” it. Whether that reply works is open. The record’s reading of Chakravartty (NOTE-149) does not record him engaging it.
The objection’s other step stands: U54 allowed no split between numerical and qualitative identity, and A194 and A198 introduced one without saying so.
Note of 2026-10-29: what holds it back
Its concession step, that granting numerical plurality without relational differentiation concedes a non-relational ground of identity, meets Esfeld and Lam’s reply (LIT-895, p. 33; THEORY-453) that primitive numerical diversity establishes no identity at all, and nothing in the record answers it. Its target, CLAIM-136, is the owner’s thesis, and the choice between the strict and weak versions it forces is the owner’s to make.