Topics — What a work is about. Nucleation holds whatever reading the owner files here, whether or not an Anthology of the SOTA topic could also hold it; instruction for ML practice belongs to the anthology (ADR-048). The words are seeded from the clusters the reading-time triage of 2026-09-25 found, and grow by decision.
Philosophy of science — what science is and what its theories say about the world — realism and structural realism, explanation, causation and evidence, the interpretation of physical theories (group: philosophy).
16 of 52 ARG documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| 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-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-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-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-025 | Matched ordinary behaviour and differing responses to intervention show that organizational perspectives explain what the record explained by self | CLAIM-414 and the lab’s runs show organizations with the same ordinary behaviour that respond differently to specified interventions. That is offered as evidence for CLAIM-417, that organizational perspectives explain what the record explained by self. CLAIM-417’s defeater is that established accounts explain the same transitions as well with fewer assumptions, and only a model that out-predicts them at matched complexity bears on that. No premise does yet. It becomes Rejected if the owner accepts the grading. | Proposed |
| 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-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-036 | The lab’s restricted models, whose predictions could have failed, support the shared-organization thesis | The lab’s later models give the shared organization restrictions that can fail, and yield predictions inside a model that could have come out wrong. Proposed, on A7 §14’s own standing objection: a framework flexible enough to redescribe any dynamical process explains none of them until it forbids some outcome, and the matched comparators so far find that the organizational vocabulary “adds no constraint that the conventional model lacks”. | Proposed |
| 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-041 | From the effective-information bound and its ties to proportionality: a gain that depends on the intervention distribution is not a property of the system, the coarse-grainings that lose nothing are, and the coarsest of them is where the causes are | How the record went from THEORY-787, Hoel, Albantakis and Tononi’s causal emergence, to CLAIM-497, proportionality. Two results the record derived on 2026-10-29 are applied to the question of where a system’s causes are. One is the bound (THEORY-1167). The other is its ties, which are causal feature learning’s partitions (THEORY-1169). One further premise is interpretive: that the coarsest lossless description is the causal one. Proposed for that premise. | Proposed |
| ARG-045 | Simondon’s account of individuation as crystallization from a metastable state, propagating from kin to kin, supports the thesis that an argument’s later structure can evolve only on structure that persists | From the connections pass of 2026-10-31 (CLAIM-185’s note of that date). Simondon makes the growth of a crystal in a metastable solution the model of all individuation, which is the shape of CLAIM-185’s anchoring thesis. Rejected as support: the same structure, not shown to be the same mechanism; Simondon generalizes by analogy as CLAIM-185 does, and his book is unread here. | Rejected |
| ARG-050 | An intervention that disables a production pathway inside a declared boundary, or interrupts an outside controller, locates the producer of a maintained organization, because the pathway causes the capacities with a delay and can be intervened on surgically, so the fat-handedness of interventions on wholes does not reach the inference | Filed on reading the fat-handedness debate after Craver (Baumgartner & Gebharter 2016, Baumgartner & Casini 2017, Baumgartner, Casini & Krickel 2020). The doubt: since every intervention on a whole also acts on its parts along another path, intervention data cannot show what a whole consists in, so they might not show where maintenance is realized either. Answered: CLAIM-522’s interventions act on diachronic causes, not on a whole and its parts at a time, so the inference holds. Its weakest step is the boundary, which the inference takes as declared and no intervention supplies. | Active |