{ "format_version": 3, "claim_formal": { "subject": "Presenting empirical spreadsheet observations as universal theorems", "property": "violates the hypothetico-deductive method as defined by mainstream philosophy of science", "operator": ">=", "operator_note": "The claim asserts a factual violation: the practice of presenting empirical spreadsheet observations as universal theorems omits steps that the hypothetico-deductive (HD) method requires. We count independent authoritative sources that define HD method requirements (falsifiability, reasoning beyond observation, pre-specified hypotheses) which this practice structurally omits. A threshold of 3 is used to require broad consensus across distinct philosophical and methodological traditions. Entailment note: the cited sources define general requirements of the scientific method / HD method. None specifically names 'spreadsheet observations presented as theorems.' The entailment bridge is: (1) the HD method requires steps X, Y, Z; (2) presenting observations as universal theorems without hypothesis formation, falsifiability testing, or pre-specified analysis omits X, Y, Z; therefore (3) the practice violates the HD method. This inference is logically valid but requires the author-reasoning bridge documented here. Formalization scope: 'universal theorem' is interpreted strictly \u2014 a claim of deductive necessity holding without exception, not a statistical regularity or empirical generalization. 'Violates' means the practice omits one or more requirements that the HD method mandates. The proof does not address whether the practice might be valid under non-HD frameworks (e.g., pure inductivism); adversarial check 1 addresses this limitation.", "threshold": 3, "proof_direction": "prove" }, "claim_natural": "Presenting empirical spreadsheet observations as universal theorems violates the hypothetico-deductive method as defined by mainstream philosophy of science.", "evidence": { "B1": { "type": "empirical", "label": "Britannica: Popper's falsifiability criterion \u2014 scientific theories must be falsifiable in principle", "sub_claim": null, "source": { "name": "Encyclopaedia Britannica \u2014 criterion of falsifiability", "url": "https://www.britannica.com/topic/criterion-of-falsifiability", "quote": "a theory is genuinely scientific only if it is possible in principle to establish that it is false." }, "verification": { "status": "verified", "method": "full_quote", "coverage_pct": null, "fetch_mode": "live", "credibility": { "domain": "britannica.com", "source_type": "reference", "tier": 3, "flags": [], "note": "Established reference source" } }, "extraction": { "value": "verified", "value_in_quote": true, "quote_snippet": "a theory is genuinely scientific only if it is possible in principle to establis" } }, "B2": { "type": "empirical", "label": "Stanford Encyclopedia of Philosophy: scientific method requires reasoning beyond observation", "sub_claim": null, "source": { "name": "Stanford Encyclopedia of Philosophy \u2014 scientific method", "url": "https://plato.stanford.edu/entries/scientific-method/", "quote": "In addition to careful observation, then, scientific method requires a logic as a system of reasoning for properly arranging, but also inferring beyond, what is known by observation." }, "verification": { "status": "verified", "method": "full_quote", "coverage_pct": null, "fetch_mode": "live", "credibility": { "domain": "stanford.edu", "source_type": "academic", "tier": 4, "flags": [], "note": "Academic domain (.edu)" } }, "extraction": { "value": "verified", "value_in_quote": true, "quote_snippet": "In addition to careful observation, then, scientific method requires a logic as " } }, "B3": { "type": "empirical", "label": "Catalog of Bias: presenting unplanned analyses as prespecified is a recognized methodological distortion", "sub_claim": null, "source": { "name": "Catalog of Bias \u2014 data-dredging bias", "url": "https://catalogofbias.org/biases/data-dredging-bias/", "quote": "A distortion that arises from presenting the results of unplanned statistical tests as if they were a fully prespecified course of analyses." }, "verification": { "status": "verified", "method": "full_quote", "coverage_pct": null, "fetch_mode": "live", "credibility": { "domain": "catalogofbias.org", "source_type": "unknown", "tier": 2, "flags": [], "note": "Unclassified domain \u2014 verify source authority manually" } }, "extraction": { "value": "verified", "value_in_quote": true, "quote_snippet": "A distortion that arises from presenting the results of unplanned statistical te" } }, "A1": { "type": "computed", "label": "Count of authoritative sources confirming HD method requirements that the practice omits", "sub_claim": null, "method": "count(verified citations) = 3", "result": "3 sources confirmed (threshold: 3)", "depends_on": [] } }, "cross_checks": [ { "description": "Three independent authoritative sources from distinct traditions (encyclopedic philosophy, academic philosophy reference, medical/scientific methodology catalog) each confirm a different HD method requirement that the practice omits: falsifiability (B1), reasoning beyond observation (B2), pre-specified hypotheses (B3).", "values_compared": [ "verified", "verified", "verified" ], "agreement": true, "coi_flags": [], "fact_ids": [] } ], "adversarial_checks": [ { "question": "Is there a scientific tradition that validates presenting inductive generalizations from data as universal laws without further testing?", "verification_performed": "Searched 'defense inductive reasoning empirical observations sufficient universal scientific laws' and 'Bacon inductivism valid science pattern observation'. Found inductivism (Bacon's model) as a candidate defense.", "finding": "Even Bacon's inductivism \u2014 the strongest defense of inductive science \u2014 requires systematic collection, replication, and elimination of observer bias before generalizing. Naive inductivism has been largely discredited in philosophy of science (Popper, 1934; Hempel, 1965). More importantly, no form of inductivism endorses presenting patterns as universal 'theorems' (a term implying deductive necessity) rather than empirical generalizations. This check does not break the proof but limits the verdict's scope: the proof establishes violation of the HD method specifically, not all possible philosophies of science.", "breaks_proof": false }, { "question": "Does Exploratory Data Analysis (EDA) validate presenting spreadsheet patterns as scientific findings?", "verification_performed": "Searched 'Tukey exploratory data analysis purpose hypothesis generation not confirmation'. Reviewed EDA methodology documentation.", "finding": "EDA (Tukey 1977) is an explicitly hypothesis-generating practice, not hypothesis-confirming. Tukey's framework is designed to produce candidate hypotheses for subsequent testing, not to generate universal theorems. This supports the proof: the EDA literature itself distinguishes pattern-finding from universal claims.", "breaks_proof": false }, { "question": "Could 'math washing' be valid in limited empirical domains like actuarial science, empirical economics, or physics phenomenology?", "verification_performed": "Searched 'stylized facts empirical economics vs universal law', 'actuarial science empirical observation universal theorem'. Reviewed terminology used in empirical economic methodology.", "finding": "Empirical economics explicitly distinguishes between 'stylized facts' (regularities observed in data) and 'economic laws' or theorems. Kaldor (1961) introduced 'stylized facts' precisely because observed patterns in data do NOT constitute universal theorems without theoretical grounding. Even in phenomenological physics, empirical regularities (e.g., Kepler's laws) were only elevated to scientific law status after being derived from deeper theoretical principles (Newton's mechanics). No domain endorses presenting data patterns as universal theorems directly.", "breaks_proof": false } ], "verdict": { "value": "PROVED", "qualified": false, "qualifier": null, "reason": null }, "key_results": { "n_confirmed": 3, "threshold": 3, "operator": ">=", "claim_holds": true, "proof_direction": "prove", "any_unverified_citations": false, "date_note": "System date matches proof generation date." }, "generator": { "name": "proof-engine", "version": "1.8.0", "repo": "https://github.com/yaniv-golan/proof-engine", "generated_at": "2026-04-07" }, "proof_py_url": "/proofs/math-washing-a-spreadsheet-presenting-empirical-observations-as-universal/proof.py", "citation": { "doi": null, "concept_doi": null, "url": "https://proofengine.info/proofs/math-washing-a-spreadsheet-presenting-empirical-observations-as-universal/", "author": "Proof Engine", "cite_bib_url": "/proofs/math-washing-a-spreadsheet-presenting-empirical-observations-as-universal/cite.bib", "cite_ris_url": "/proofs/math-washing-a-spreadsheet-presenting-empirical-observations-as-universal/cite.ris" }, "depends_on": [] }