Two Dogmas of Empiricism

what this limits: the applicability of the analytic/synthetic distinction to real cases: I DO NOT KNOW WHETHER THE STATEMENT 'EVERYTHING GREEN IS EXTENDED' IS ANALYTIC

what this limits: the proposed formulation of cognitive synonymy: CERTAIN TECHNICAL QUESTIONS ARISE ... OVER CASES OF AMBIGUITY OR HOMONYMY; LET US NOT PAUSE FOR THEM - set aside, not resolved

what this limits: the completeness of the survey of rival accounts: NOT ALL THE EXPLANATIONS OF ANALYTICITY KNOWN TO CARNAP AND HIS READERS HAVE BEEN COVERED EXPLICITLY

what this limits: the argument's central term: JUST WHAT THIS IS CANNOT BE SAID WITHOUT SUCCESSFULLY FINISHING THE PRESENT STUDY - cognitive synonymy is left uncharacterised inside the paper that turns on it

what this limits: the strength of the paper's own conclusion: A BOUNDARY BETWEEN ANALYTIC AND SYNTHETIC STATEMENT SIMPLY HAS NOT BEEN DRAWN - has not, not cannot, and it is cited for the stronger claim

what this limits: the notion of germaneness: I ENVISAGE NOTHING MORE THAN A LOOSE ASSOCIATION REFLECTING THE RELATIVE LIKELIHOOD, IN PRACTICE - a loose association, not a defined relation

what this limits: the positive account of theory revision: CONSERVATISM FIGURES IN SUCH CHOICES, AND SO DOES THE QUEST FOR SIMPLICITY - named, not specified

what this limits: what the classification failure is evidence about: THE TROUBLE IS NOT WITH 'GREEN' OR 'EXTENDED,' BUT WITH 'ANALYTIC' - the fault is the category, not the case

EVIDENCE CORRECTED: PARAPHRASE CORRECTED - THE KUMAR2016 HALF OF THIS ROW WAS A MISREADING, AND IT IS THE PROJECT'S OWN FAULT COMMITTED BY ME. The row paired quine1951 with Kumar2016 as two papers asserting THESE TWO CANNOT RELIABLY BE TOLD APART. The Quine half stands. The Kumar2016 half does not: I quoted 'the regressors for the maintenance and encoding phases may be correlated' and 'may thus be contaminated' and called it a concession. READING THE WHOLE SPAN, THOSE CLAUSES ARE THE SET-UP FOR A CONTROL THE AUTHORS THEN PASS: 'In our study, because the maintenance duration was much longer than the encoding phase, THE CORRELATION COEFFICIENT between the encoding and maintenance regressors in the design matrix WAS VERY SMALL (0.04).' They name a generic risk in order to show it does not apply to their design. So Kumar2016 asserts SEPARABILITY, with a number - and 'encoding --distinct-from--> maintenance' is SOUND, not a workaround for a missing negative type. Every quote in the original was verbatim and the interpretation was still wrong, which is the fault this project exists to expose: THE CONCERN QUOTED AND THE RESOLUTION DROPPED. Found by reading the full span for the sameness-no-contrast queue. — THE BOUNDARY BETWEEN THESE TWO IS NOT DRAWABLE - the NEGATION of 'distinct-from', and no type we have can express it. All eight types assert that a relation HOLDS; not one can say a relation FAILS, so a paper whose contribution is that a distinction cannot be drawn has no home, and the nearest available move records the distinction as holding. That is exactly what the retracted row of this record did: the paper's DENIAL of the boundary quoted as evidence FOR the boundary. SECOND ATTESTATION, in another field and with no shared vocabulary: Kumar2016 concedes in an fMRI methods paragraph that 'the regressors for the maintenance and encoding phases may be correlated' and 'the activity observed in the maintenance phase may thus be contaminated' - the authors warning they may not reliably tell the two apart, recorded in our corpus as 'encoding --distinct-from--> maintenance'. Strip the subject matter and the two papers assert the same relation: THESE TWO CANNOT RELIABLY BE TOLD APART, one argued in philosophy in 1951 and one conceded in a methods note. Neither cites the other and they share no words. Kumar2016 is fenced and is cited here, not touched. Two attestations START A COUNT, they do not license a ninth type.

THE BOUNDARY BETWEEN THESE TWO IS NOT DRAWABLE - the NEGATION of 'distinct-from', and no type we have can express it. All eight types assert that a relation HOLDS; not one can say a relation FAILS, so a paper whose contribution is that a distinction CANNOT BE DRAWN has no home, and the nearest available move records the distinction as holding. That is exactly what the retracted row of this record did: the paper's DENIAL of the boundary quoted as evidence FOR the boundary. REPLACES unhoused_relations[0], WHICH WAS RETRACTED FOR A CLAIM I ADDED AND GOT WRONG. That row paired this with Kumar2016 as a cross-field attestation - two papers, no shared vocabulary, both asserting that two things cannot reliably be told apart. THE KUMAR2016 HALF WAS A MISREADING: I quoted 'the regressors ... may be correlated' and 'may thus be contaminated' as a concession, when reading the full span shows those clauses SET UP A CONTROL THE AUTHORS THEN PASS - 'the correlation coefficient ... was very small (0.04)'. Kumar2016 asserts SEPARABILITY, with a number. The Quine claim here is unaffected and stands on its own span; only the cross-reference was wrong, and it is not repeated here.

a second reading reaching the same value. Recorded: critique — note: a second reading reaching the same value from a different sentence. Not applied - a person decides.

a second reading reaching the same value. Recorded: conceptual-analysis — note: a second reading reaching the same value from a different sentence. Not applied - a person decides.

differs in: the UNIT of confirmation: Quotation withheld - reductionism assigns a range of confirming experience to each statement singly

differs in: an assumption BOTH parties name: CARNAP HAS RECOGNIZED THAT HE IS ABLE TO PRESERVE A DOUBLE STANDARD FOR ONTOLOGICAL QUESTIONS AND SCIENTIFIC HYPOTHESES ONLY BY ASSUMING AN ABSOLUTE DISTINCTION BETWEEN THE ANALYTIC AND THE SYNTHETIC; AND I NEED NOT SAY AGAIN THAT THIS IS A DISTINCTION WHICH I REJECT

differs in: which notion the criterion captures: THE CRITERION IN TERMS OF STATE-DESCRIPTIONS IS A RECONSTRUCTION AT BEST OF LOGICAL TRUTH - it succeeds for logical truth and is being asked to do the work of analyticity

differs in: the SCOPE of the formulation and the status of its key term: IT LIMITS ITSELF TO STATEMENTS OF SUBJECT-PREDICATE FORM, AND IT APPEALS TO A NOTION OF CONTAINMENT WHICH IS LEFT AT A METAPHORICAL LEVEL

differs in: term-by-term against holistic: THE DOCTRINE IS UNNECESSARILY AND INTOLERABLY RESTRICTIVE IN THE TERM-BY-TERM CRITIQUE WHICH IT IMPOSES

strength of the relation: 1

strength of the relation: 1

differs in: MEANING. The sentence asserts sameness of ENTITY and denies sameness of MEANING in one breath - which is the distinction the whole paper turns on. 'same-as' unqualified reads as identity of sense, and Quine's point is that identity of reference does not give it. · strength of the relation: 1

differs in: THE AXIS IS STATED IN THE SENTENCE, AND IT IS THE WHOLE POINT OF THE EXAMPLE. 'The general terms creature with a heart and creature with a kidney, e.g., are perhaps alike in extension but unlike in meaning.' The two terms are not distinct simpliciter - they are IDENTICAL on one dimension and different on another, and a bare 'distinct-from' records only the second half. Note also that 'extension' and 'intension' differ by one character, which is why these must never be de-duplicated by edit distance. · strength of the relation: 1

strength of the relation: 1

strength of the relation: 1 Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but the span calls connotation a 'variant vocabulary', not another field's name; renamed-across-fields is loose.

strength of the relation: 1 Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but the span calls denotation a 'variant vocabulary', not another field's name; renamed-across-fields is loose.

EVIDENCE CORRECTED: RE-GROUNDED. The old span named only one endpoint. This sentence names both and states the contrast in the field's own words - to OPPOSE intension to extension. — strength of the relation: 1

strength of the relation: 1 Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but 'reductionism' occurs only inside 'radical reductionism'; is-a rests on the name.

EVIDENCE CORRECTED: RE-GROUNDED. The old span listed analytic statements without naming logical truth. This sentence names both IN APPOSITION - 'the first class of analytic statements, THE LOGICAL TRUTHS' - which states the containment as directly as Quine states anything. — strength of the relation: 1 Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but the span writes 'logically true' for the first class of analytic statements; endpoint variant.

EVIDENCE CORRECTED: RE-GROUNDED. The old span - 'a natural suggestion, deserving close examination…' - states the relation but names NEITHER endpoint as the edge writes them. This span names both and states the same operationalisation. — status: A SUGGESTION UNDER EXAMINATION, NOT A DEFINITION THE ESSAY ENDORSES. Quine offers interchangeability salva veritate as a 'natural suggestion, deserving close examination' and the rest of the paper is the examination that finds it wanting. Without this field the corpus reads as if Two Dogmas defined synonymy this way. · strength of the relation: 0.4 — the record marks this weak Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but the span offers this as 'a natural suggestion, deserving close examination', which the paper goes on to reject; hedged.

strength of the relation: 0.4 — the record marks this weak Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but attributed: the span reports how Carnap tends to explain analyticity.

EVIDENCE CORRECTED: RE-GROUNDED. The old span named only one endpoint. This sentence names both and gives the operationalisation directly. — strength of the relation: 0.5 — the record marks this weak Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but attributed: the span says statement synonymy 'is said to be' likeness of confirmation method.

strength of the relation: 0.8 Audit 2026-09-28: DOUBTFUL - read against its span and kept, but the span is cut before it states how reductionism relates to the analytic-synthetic distinction; same-as may overstate it.

strength of the relation: 0.6 — the record marks this weak

RETRACTED: A NEAR-DUPLICATE OF [17] THAT THE FOLD CANNOT SEE. Same record, same type, same span to the byte - '…objects and the gods differ…' - and the only difference is the endpoint name: 'the gods' here, 'the gods of Homer' at [17]. The fold keys on (from, to, type, evidence), so a looser spelling of one endpoint produces a second edge asserting the identical thing. Keeping [17], which uses the paper's own fuller phrase. NOTE ALSO, and left standing on [17]: the span scopes its own difference - 'ONLY IN DEGREE…' - and 'distinct-from' has no slot for that, so the edge reads as a difference in kind, which is what the sentence denies. — the relation itself is separately evidenced · strength of the relation: 0.15 — the record marks this weak · note: RE-GROUNDS another row of this record: the span stated the relation, the endpoint names did not match its words. · the relation stated: the two kinds of posit differ in DEGREE, not in KIND - both are posits Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but the span says the two differ 'only in degree and not in kind'; distinct-from is loose.

about this quote: QUOTE RECOVERED FROM THE PAPER'S OWN CHARACTERS. The recorded quote was LETTERS-ONLY IDENTICAL to this stretch of the staged text but not an exact substring of it - spaces, hyphens, ligature glyphs or mathematical operators differed, so it could never anchor. This is the file's own text between the same two letters: not produced by a rule about the damage, copied out of the file. Round-trip checked (the recovered span is letters-only equal to the original) and length-checked. The text as originally recorded is kept in evidence as extracted.