Lines of inquiry — A named line of the record’s own argument, so that a line can be set aside as a whole and what depends on it can be found. Retracting a line is a status change on its members, never a deletion (ADR-032).
Contextual pragmatic information transport — what survives when an utterance is translated, retold or rendered in another medium — communicative identity as relationally organized observables, and fidelity as directed, task-relative transport between observational systems.
28 of 52 ARG documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| ARG-002 | Interpretive framings change a reader’s state as non-commuting measurements do, so the frame participates in determining which meaning becomes actual | U10: “feels like our conversation is headed towards quantum cognition”. A21 read framings as projectors on an interpretive state and concluded that translation actualizes latent meaning. Undercut at A24, A27 and A30: context sensitivity and order effects have classical models. | Rejected |
| ARG-004 | Relativistic frames vary descriptions systematically under constrained transformations with invariants, so variations in translation are transformations between pragmatic frames preserving selected invariants | U9 asked to connect the frame idea with “the precision of ‘relativistic frame’ qua physics”. A18 built the analogy and undercut it in the same reply: translation operations are not invertible and do not compose. Only its research-programme respect survived. | Rejected |
| ARG-006 v3 | If the transport intertwines each framing operation exactly, it intertwines their commutator, so a translation that preserves the framing operations preserves their noncommutativity | A34 §4: from ΦA_o = A_tΦ and ΦB_o = B_tΦ, Φ[A_o,B_o] = [A_t,B_t]Φ follows algebraically. The algebra holds; the conclusion holds only of Φ’s image unless Φ is informative (A40 §6.4). | Active |
| ARG-008 v2 | A language model’s response to its context is functionally a parameterized frame, so context-conditioned models give a controlled setting in which to test the theory | The owner’s U17 analogy, which A43 enlarged into “the primary formal example”. Undercut by the assistant in its own outlines: a prompt is not a social situation, model behaviour need not match human inference, and judging with the generating model measures only its preferences. | Active |
| ARG-010 | Causality paradoxes in relativity show that locally consistent descriptions can lack a global realization, so local interpretations need not be fragments of one global interpretation | The owner’s inference, made twice and declined twice: at U46 from the paradoxes of closed timelike curves, at U47 from “who crossed the meeting point first?”. A161 and A164 refused it. Filed because two claims undercut it, and because the relativity analogy has now returned, through the owner, after ARG-004. | Rejected |
| ARG-011 | On the crossed topic-and-act design, judgement factorizations that recover the act where a topic-only factorization fails would show that a factorization recovers only the structure in the relations it is fitted to | The planned evidence for the October thesis, CLAIM-129, is CASE-040, which crosses topic with act. Rejected for that design as filed: the act is fixed by whoever writes the items and the topic-only baseline is built to fail on the critical cells, so “a pass shows that the items were built as intended”. The record conceded the point on 2026-10-10 and repaired the thesis’s defeat condition. | Rejected |
| ARG-012 | An attributed-speaker factorial study shows which relations constitute a communicative act | CASE-021’s factorial study varies the attributed speaker, and a change in act classifications under it would be read as evidence that an act is partly constituted by its relation to the speaker. Telling readers who spoke is a do(I), not a do(S), so such an effect is evidence about interpretation under instruction. CLAIM-130 states the distinction and undercuts the inference. | Rejected |
| ARG-013 | The invented renderings of one sentence by four speakers show that a translation can reach pragmatic equivalence by compensation | CLAIM-091 lists the fictional CASE-018 in its grounds, which ADR-032 makes evidence. Rejected: the case’s own body says “Invented, so it shows a possibility”, and the thesis needs more than the possibility. The documented case CASE-066 attests the mechanism but supplies no reader evidence either. | Rejected |
| ARG-014 | Agreement with TV Tropes labels validates the structural account of tropes | A155 presents TV Tropes as “the clearest large-scale empirical setting” for the structural account of tropes (CLAIM-147). Trope descriptions are written from their examples, and examples are added that fit the descriptions, so a measure that predicts the labels predicts editorial agreement. Rejected for labels used as the test. A178’s Study B control would answer it; A218 drops the control. | Rejected |
| ARG-017 v2 | A constant kernel fits any one source–target pair, so one pair does not identify the procedure-level fidelity score | The derivation behind CLAIM-228: for one source–target pair a constant kernel makes the per-item term zero, so one pair does not identify the procedure-level score. It holds for CLAIM-228’s version 2 title. As an inference to version 1’s title, that observational fidelity “is not defined” for a single rendering, it failed, and CLAIM-200 granted that. | Proposed |
| ARG-019 v2 | Blackwell’s order on rendering procedures grounds the thesis that what survives translation is what a receiver can reconstruct | CLAIM-115 rests on CLAIM-050, so the manuscript’s thesis about what a receiver can reconstruct takes Blackwell’s order as its formal ground. That order describes a decision-maker free to use any rule, and the thesis and its tests are about bounded receivers. Since CLAIM-199 and CLAIM-050’s version 4 the order is the ceiling on what a rendering makes possible, so the inference is narrowed, not defeated. CLAIM-225 undercuts it. | Proposed |
| ARG-020 v2 | The compensation hypothesis gives the mechanism by which a rendering keeps the act while changing the proposition | CLAIM-053 credited A24’s compensation hypothesis with the mechanism for the necessity half: a rendering can keep the act while changing the proposition. Rejected on CLAIM-229’s reply. The hypothesis says that lexical infidelity can be required for pragmatic fidelity, which is about words, and a change of wording can keep the proposition. | Rejected |
| ARG-021 | The manuscript’s renderings, which keep the words and change the act, show that keeping the proposition is not necessary for keeping the act | The manuscript §1 reads its own renderings as showing that preserving the proposition is “neither necessary nor sufficient”. Rejected: the renderings keep the words and change the act, which is a case of the proposition kept without the act. That refutes sufficiency only. Necessity needs the act kept while the proposition changes, and neither case is one. | Rejected |
| ARG-022 v2 | The 2016 Contextuality-by-Default paper grounds the criterion the manuscript’s general observational covers need | The manuscript cites Dzhafarov and Kujala 2016 for its contextuality criterion. The 2016 criterion was being replaced by multimaximal couplings as it appeared, and the change matters for observables in more than two contexts, which the manuscript’s general observational covers allow. Proposed, by the owner’s ruling of 2026-10-27: the record holds that the change can bite, not that it does. | Rejected — Rejected on the condition its own body names, “a worked system that is noncontextual under CbD 1.0 and contextual under 2.0”: THEORY-168’s note of 2026-10-29 gives one, binary, with a content in four contexts. |
| ARG-023 | The Yoneda lemma shows that relations constitute what a communicative act is | The Yoneda lemma fixes an object up to isomorphism from its whole hom-functor, and it is read as the formal version of “an object is determined by its relations”. It fixes the object only among objects the category already has, so it presupposes the relata. It cannot establish constitution, and it gives elimination of the relata no support. CLAIM-150 undercuts it. | Rejected |
| ARG-024 | The invented renderings of one sentence by four speakers show that participant roles partly constitute the act | CLAIM-151 lists the fictional CASE-018 in its grounds, and its first defeat condition asked a rival to predict the case’s variation. Rejected: the variation is four imagined speakers described by the assistant, “not an observation, so there is nothing yet for a rival to predict”. | Rejected |
| ARG-026 | Judged pragmatic observables that predict human judgements of fidelity or shared kind better than text similarity support the central theses of the pragmatic-transport line | The four thesis-level defeat conditions of the line share one test, CASE-184, and a pass on it was to support the theses. Rejected: two critical questions fail. Every rival account the record names also predicts a pass, so “surviving them would not tell the thesis from the functional and relevance-theoretic accounts”; and predictor and criterion share a method the baseline does not, so “the theory’s measures can win by shared method variance alone”. CASE-055 is the repair. | Rejected |
| ARG-027 | The record’s iterated-learning readings show that pragmatic stances and footing are stabilized by transmission | CLAIM-068 extends iterated learning “to speaker footing and communicative conventions”. Rejected: the record’s readings bear on lexical, structural and functional transmission, and none measures an interpersonal stance, a footing or a speech-act function along a chain. For evaluative stance CASE-068 is chain evidence, a separate line not filed here; for footing there is still no study. | Rejected |
| ARG-029 | The operational account, kept as a rule of method, supports a realist kind that can outrun observation as the bearer of communicative identity | Between A203 and A218 the bearer of communicative identity moved from an equivalence class defined on observed responses to a structural kind that may be “real while remaining indistinguishable” under the probes. CLAIM-142 names the step in one sentence, method kept and object changed. Proposed: no turn argues for the kind, and the exchange itself concedes that a traditional ontology “might reproduce the same statistical predictions”. | Proposed |
| ARG-031 v2 | In the discriminating study, transport measures that beat the static pragmatic profile would show what the line adds to functional and relevance-theoretic accounts | CLAIM-202 says what the line adds is measured structure beyond a static pragmatic profile, and CASE-055 is the study that would test it. The open question is whether beating the static profile tells the thesis apart from its rivals: functional and relevance-theoretic accounts need not fix one context, so “an empirical victory may establish that context matters without establishing that the transport formalism makes a distinctive contribution”. Rejected on 2026-10-30: its undercutter CLAIM-205 is held. | Rejected |
| ARG-032 | The parity triangle shows that translation changes the global structure of meaning | The one instance of CLAIM-105’s headline in the record is built from CASE-037, the parity triangle, which is stipulated. A constructed model shows what it was built to show, so it is no evidence for what documented reconstruction chains commonly do. CLAIM-219’s dilemma undercuts the inference. | Rejected |
| ARG-033 v2 | Saussure’s value, as the record reads it, supports transport of relational identity across languages | CLAIM-115’s transport rests on CLAIM-082’s structuralist premise, which draws on Saussure. CLAIM-072 said the premise survives the record’s correction to value. CLAIM-254 objected that value is fixed inside one language state, so what crosses is signification, the aspect the premise demotes, and that value is a fact of the language system while the line’s observables are facts of use. CLAIM-242 replied with a use-level counterpart of value. Open. | Proposed |
| ARG-034 v2 | Saussure’s account of value grounds the premise that significance is fixed by contrasts rather than by correspondence to a referent | The manuscript §2 cites Saussure for a sign’s “significance” depending on contrasts within a system “rather than on intrinsic correspondence to a referent”. Rejected as an inference to CLAIM-082 as titled. Saussure says purely differential only of signifier and signified taken apart, distinguishes value from signification, and brackets the referent: the fix is to say value rather than significance and drop the referent contrast. | Rejected |
| ARG-035 | Griffiths and Kalish’s convergence theorem and Kirby, Cornish and Smith’s chains show that serial transmission is filtered by the transmitters’ inductive biases | The manuscript’s §8 cites Griffiths and Kalish and Kirby, Cornish and Smith together as showing that transmission is filtered by inductive biases. They show different things. Kirby et al. measured no prior, and their structure appeared only under the experimenter’s homonym filter; Griffiths and Kalish’s convergence to the prior holds only for sampling learners. Proposed: the stable endpoint far from the ancestor survives for sampling learners, and whether people learn that way is QUESTION-137. | Proposed |
| ARG-037 | The signalling counts read off Wang et al.’s appendix show that signalling is typical of language data | CLAIM-125’s version 1 read LIT-851’s appendix, “69 of the 90 systems signal”, as showing that signalling is the typical case for language data and that an extension to signalling data is not optional. The counts are plug-in estimates from one or a few occurrences per context, which signal in expectation even when the true marginals agree. CLAIM-235 undercuts the inference; CLAIM-125’s version 2 already re-grounded the point. | Rejected |
| ARG-038 | A character’s classificatory sufficiency shows that relations constitute what a communicative act is | The owner’s character analogy: a communicative kind is identified by an invariant, as a group character identifies a representation (CLAIM-137). At its strongest that gives classificatory priority, not constitution. A198 §VI: “It would be a mistake to infer the third automatically from the first two.” CLAIM-150 undercuts it. | Rejected |
| ARG-039 | The authored reconstruction chains show that lexical similarity cannot tell kept footing from a changed act | The assistant-authored chains, in which one text keeps the friend’s complicity while dropping its words, were filed as grounds for CLAIM-084. Rejected: “the retention of complicity is the author’s reading, not a measurement”. CLAIM-084 now says so itself and lists the chains only as illustrations. | Rejected |
| ARG-040 v2 | In use, an utterance is interpreted by its contrast with the alternatives its speaker could have used, so what a translation must let a receiver reconstruct is those contrasts, not the wording or the proposition | A second line to CLAIM-115, independent of Saussure, filed at the owner’s direction from ARG-033’s note that CLAIM-242 “could be the premise of a second line”. It starts from contrast in use, the rational-speech-act premise (THEORY-172) and Bergen, Goodman and Levy’s finding (LIT-809), not from value in the language system. Proposed: the reference games and the alternatives they model are much narrower than translation. | Proposed |