Skip to content

[validation] Ellis (2016) and Cartwright (1999) as scholarly precedent for domain-dependent formalism #10

Description

@node0000

Proposed validation claim

Authoritative statement: validation/claims/ellis-cartwright-philosophical-support.md (filed as part of the same commit as this issue)

Papers and sections cited:

  • Paper 1 § 5.4 (v11.4) — new subsection "Scholarly Precedent for Domain-Dependent Formalism"
  • Paper 3 § 7.3 (v9.2) — concluding paragraph appended to the existing G∧R∧C-vs-D1∧D2∧D3 analogy discussion

Domain: Philosophy of science (emergence, multi-level ontology, philosophy of physics, philosophy of mathematics)


Background

The FalseWork papers adopt a methodological commitment: different domains admit different degrees of formalism. Papers 3 § 5 and 5 handle number theory and set theory where full formal derivation is possible (FTA, Cantor 1891, Baker 1966). Paper 3 § 4 handles category-theoretic formalization of the music kernel where formalism is possible but specialist-contested. Papers 1 and 3 § 7 mark the G∧R∧C extension to practice domains (music, cinema, architecture, literature) explicitly as structural analogy rather than formal derivation.

This claim asks whether that methodological commitment has scholarly standing in contemporary philosophy of science independent of the FalseWork programme. Two candidate precedents are proposed:

  1. George F. R. Ellis — multi-level emergence and top-down causation. Primary reference: Ellis 2016, How Can Physics Underlie the Mind? Top-Down Causation in the Human Context, Springer. Secondary: Ellis & Drossel 2019, 2020 on contextual emergence. Ellis argues that different organizational levels require different formalisms and that higher-level descriptions are not reducible to lower-level physics.

  2. Nancy Cartwright — dappled-world thesis. Primary reference: Cartwright 1999, The Dappled World: A Study of the Boundaries of Science, Cambridge University Press. Cartwright argues that scientific laws are local and domain-specific and that the single-formalism ideal is a methodological error.

Both are established, widely-cited positions in contemporary philosophy of science. Both argue, on independent grounds, that domain-dependent formalism is a principled stance.

The claim

Ellis's multi-level emergence framework and Cartwright's dappled-world thesis provide independent scholarly precedent for the FalseWork programme's methodological commitment that different domains admit different degrees of formalism, and that structural-analogical reasoning at appropriate registers is a legitimate rather than defective methodological posture.

The claim is explicitly one of adjacent scholarly support, not endorsement. Neither Ellis nor Cartwright has engaged with the FalseWork programme. The question for validation is narrower: are Ellis 2016 and Cartwright 1999 correctly scoped as adjacent scholarly precedent for the methodological commitment, or is that framing overstated?

Named disjoints (for a validator to specifically assess)

  1. Vertical vs. horizontal hierarchy. Ellis's emergence is vertical (physics → chemistry → biology → mind). FalseWork's domains are horizontal (music, cinema, architecture, physics). Does Ellis's argument extend to horizontal domain comparison, or is it strictly vertical?

  2. Primary object difference. Ellis focuses on causation (top-down, contextual). FalseWork focuses on kernel/comma topology. Does the shared commitment entail a shared theoretical framework, or only a shared meta-methodological posture?

  3. Cartwright's naturalism vs. FalseWork's structural claim. Cartwright's dappled world is explicitly empirical and anti-realist about unified laws. FalseWork's five-position derivation claims a mutually-exclusive-collectively-exhaustive structure across domains. Is Cartwright genuinely supportive, or is there tension?

What a validation response should cover

For each of Ellis and Cartwright, a validator should state:

  1. Confirmed as scoped — citation appropriately scoped as adjacent scholarly precedent; no stronger claim implicit; named disjoints accurately described.
  2. Confirmed with amendment — citation appropriate but scoping requires refinement; propose specific refinement.
  3. Requires restricted use — citation is misleading as framed; propose narrower use or removal.
  4. Incorrect / absent standing — framework does not apply; propose alternative scholarly precedent or acknowledge the papers should hedge without it.

A validation confirming one and restricting the other is a useful response. Partial validations are welcomed.

Alternative precedents worth considering

A validator may propose scholars whose frameworks fit more cleanly than Ellis or Cartwright:

  • Sandra Mitchell (Unsimple Truths, 2009) — integrative pluralism
  • Philip Clayton (Mind and Emergence, 2004) — emergence across scales
  • Jerry Fodor ("Special Sciences," 1974) — the classic anti-reductionist case
  • Paul Humphreys (Emergence, 2016) — emergence and computational methods
  • Ian Hacking — styles of reasoning

Acceptance

If confirmed as scoped (potentially with amendment), Papers 1 and 3 retain their current integration; the revision note is updated to name the validator.

If restricted use is required, the paragraphs in Paper 1 § 5.4 and Paper 3 § 7.3 are revised to the narrower scoping.

If the claim is incorrect, both paragraphs are removed or replaced with an alternative precedent, with the revision note naming the validator and the reason.

Validators are credited in the revision note and (with permission) in ACKNOWLEDGEMENTS.md.

Time estimate

~2–4 hours. Two primary texts plus the adjacent paper sections (Paper 1 § 5, Paper 3 § 7.3).

Status

OPEN — awaiting philosopher of science with emergence / multi-level-ontology / philosophy-of-physics expertise.

Outreach paths are deferred pending specific interest (PSA mailing list, individual outreach, PhilPapers-adjacent venues). The claim file is the canonical record; this issue is the discussion surface.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions