Argument from silence — the vault's negative-citation findings and how to grade them

The vault runs one method repeatedly without having named it: reaching a negative finding — a repeated attribution is false, an event did not occur — by a cited party's own silence. That method has a name and a formal literature: the argument from silence (argumentum ex silentio). This MOC wires the cluster and the framework that grades it.

The framework (McGrew 2013)

• claim-mcgrew-argument-from-silence-is-notice-record-survive-product — force = P(notice) × P(record) × P(survive); only as strong as the weakest term, decisive only when all three ≈ 1. Includes the lost-works corollary (silence in a partial corpus is weak).
• claim-mcgrew-humans-systematically-over-trust-arguments-from-silence — the decisive term is a conjunction, and people over-count conjunctions, so the silences that feel airtight are exactly the over-trusted ones. The paper's main lesson: grade, don't trust the intuition.

The vault's negative-citation findings (the cluster)

• claim-bjork-desirable-difficulties-not-prediction-error — "prediction error" absent from the chapter that defines desirable difficulties. The strong form: silence in the defining text (notice/record/survive ≈ 1).
• claim-dreyfus-1973-lineage-link-uncorroborated — Dreyfus's own retrospectives credit 1962 and never cite 1973. The weaker form: silence in the author's other works while the disputed primary stays unread.
• claim-speelpenning-1980-does-not-cite-linnainmaa — the canonical early reverse-mode implementation cites the compiler line, not Linnainmaa; exhaustive reference-page read.
• claim-griewank-2012-does-not-mention-amari — the reverse-mode priority historian never mentions Amari; full-text scan, 0 hits.
• claim-brooks-1991-does-not-cite-dreyfus — Brooks's "Intelligence Without Representation" names no Dreyfus in text or its 15-entry reference list; the strong form, exhaustive read of a short finite list. Paired with the mirror finding claim-dreyfus-2002-iwr-does-not-mention-brooks (Dreyfus's own same-titled 2002 paper never mentions Brooks) — a rare two-directional silence used constructively, to show an assumed lineage is convergence not descent (claim-brooks-dreyfus-lineage-is-convergence-not-citation).
• claim-no-primary-source-documents-ach-abduction-similarity — the ACH↔abduction "similarity" traced only to uncited Wikipedia; Heuer's own essay and the closest peer-reviewed study (claim-dhami-2019-ach-study-compares-ach-to-bayes-not-abduction) are both silent on abduction. Graded soft: silences are in the right places (author's own account + closest academic study), but the corpus wasn't exhausted and one nearby citation stays unread. Companion to the backward-chaining negative finding claim-no-documented-comparison-of-ach-to-backward-chaining.
• reflection-recurring-tool-summary-is-not-the-source — the methodological hub: a tool's summary is not the source; trust chains you can replay.

The grading applied

• observation-bjork-dreyfus-same-argument-from-silence-graded-differently — the seed pair (Bjork ↔ Dreyfus) is one move at two strengths, separated by McGrew's product.

Open threads

• question-read-dreyfus-1973-time-lag-optimal-control-primary — reading the paywalled 1973 primary would firm up (or overturn) the Dreyfus grade.
• question-skinner-1969-mythology-of-prolepsis-primary — the error side of the same structure (reading a later framing back into an earlier text) may have a name in Skinner's "mythology of prolepsis."