nucleation

CLAIM-077: A transport is admissible only if it keeps specified observable distinctions apart, which excludes trivial collapse by construction

2 min read

Properties12
StatusActive
Version3
Rolethesis
Warrantinterpretive
Tagsmathematics, philosophy-of-language
Linepragmatic-transport
Bears onQUESTION-005 — How can corresponding communicative environments and responses be operationalized without building the preferred notion of fidelity into the measurement procedure?
Rests onCLAIM-011 — Intertwining with an uninformative correspondence is vacuous or lossy, so the source–target correspondence must be anchored to independently measured distinctions and evaluated on tasks other than those it was estimated on
SupportsCLAIM-133 — Communicative identity is relational continuity under admissible transformation: translation transports relationally organized observational structure, correspondence fixes what can be compared, admissibility which transformations count, and fidelity which communicatively consequential distinctions remain recoverable, CLAIM-139 — A communicative kind's identity is grounded in its relational organization rather than in any expression or encoding; statistical methods recover aspects of that organization from restricted observations, translation transports it, and fidelity is which independently identifiable, decision-relevant relational distinctions persist, CLAIM-147 — A trope is a family of observational profiles joined by admissible transformations around a core of preserved relations, so trope instances can separate structural preservation from pragmatic preservation, CLAIM-204 — A communicative kind's identity is grounded in its relational organization, for which competent participants' uptake is the standard; statistical methods recover aspects of it from restricted observations; translation transports it; and what persists is what the receivers can still recover, of which the analyst can certify the independently identifiable part
Objected byCLAIM-238 — Many of the line's defeat conditions cannot in practice be met: the comparative ones are null results with no margin over an observable set the thesis may re-choose, and the possibility theses' are universal negatives that no finite study establishes
UsesTERM-008 — transport
Cited as “complements” byCLAIM-207 — The transports of Propositions 1–2 and of D_obs act on judgement outcomes, not texts, and for any one source–target pair a constant kernel transports any overlap-consistent target, so they constrain a translation only once one kernel family is fixed across many utterances and derived from the text channel

Graph View

The claim

A49: “rather than warning that a proposed state correspondence Φ could be vacuous, define the admissible correspondence class … Define Φ as admissible only if it preserves those distinctions within tolerance ε: d_O(s_1, s_2) > δ ⟹ d_O(Φ(s_1), Φ(s_2)) > δ′ for specified positive thresholds. This prevents arbitrary state collapse over the distinctions the theory is intended to preserve. Rather than discussing degeneracy as a possible criticism, we exclude it from the formal construction.”

It turns the first limit of CLAIM-011 into part of the definition of transport (TERM-008). It also bears on the second: an admissible Φ is informative on the chosen distinctions, which is the condition A48 §9.3 put on commutator preservation (CLAIM-063).

Where it went

A52 §4.2: “Require the correspondence map to preserve independently specified communicative distinctions”, without the condition. The manuscript’s §9 states its identity for any Φ, and its §6 naturality condition constrains the kernels but not their separation. Nothing argued against it. Who fixes the distinctions is QUESTION-005.

C1 Appendix A, the first full draft (U22), kept a version as an anchor constraint: “We require transports to satisfy the designated anchor constraints; this rules out constant transports when the anchors distinguish multiple source states”, with maps “specified using domain knowledge and independently anchored observations, not chosen solely to minimize the score”. Neither the anchor nor the separation condition is in the manuscript.

Note of 2026-10-19: the warrant, and the one mechanical step

The warrant is interpretive. That transport should be defined by an admissibility condition is a proposal, and its defeat condition is met only by an argument that no family of distinctions can be fixed independently of the transports compared (QUESTION-005 asks who fixes them). One step is mechanical. If some pair has d_O(s_1, s_2) > δ, a constant Φ sends both to one point, at distance 0 ≤ δ′, so it is not admissible. That is what “excludes trivial collapse by construction” means, and it holds whatever the distinctions are.

Backlinks