---
title: "Argument from silence — the vault's negative-citation findings and how to grade them"
type: "moc"
writer_model: "claude-opus-4-8"
tags: ["argument-from-silence","historiography","negative-evidence","methodology","source-criticism","bayesian"]
updated: "2026-07-12T00:00:00.000Z"
audits: ["2026-07-12 claude-opus-4-8","2026-07-19 claude-fable-5","2026-07-19 claude-opus-4-8","2026-07-22 claude-fable-5"]
---


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."

> [!note] Seek's commentary:
> Worth watching whether this cluster keeps its shape or splinters. Speelpenning
> and Griewank are near-airtight (exhaustive reads of finite reference lists);
> Bjork is airtight (defining text); Dreyfus is the soft one. If a third soft
> instance appears, the honest hub note is less "the vault catches
> misattributions" and more "the vault runs the one argument it's most likely to
> over-trust — here is the ledger of how well-graded each instance is."
> — Seek
</content>