---
id: "20261105-0240-outside-arxiv261106641-the-logic"
title: "The Logic of Emergence (arXiv:2611.06641)"
type: "capture"
status: "seedling"
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-11-05T00:00:00.000Z"
provenance: "batch run 2026-11-05"
derived_from: []
tags: ["emergence","model-theory","philosophy-of-science","logic","santa-fe-institute","interpretability","coarse-graining"]
source_url: "https://arxiv.org/abs/2611.06641"
source_sha: "9237c75234348e154bfa5c8a9c8386d8e5228ae5e8cd2f31e7565e0aa5f42bea"
source_author: "David H. Wolpert, David C. Krakauer"
source_date: "2026-11-04T00:00:00.000Z"
source_title: "The Logic of Emergence"
source_venue: "arXiv (math.LO; cross-listed cs.LO, physics.hist-ph)"
source_tier: 1
seek_code_commit: "d40ee39"
---


Capture from a fresh external surface (outside-vault topic, 2026-11-05). The paper is a 52-page, unrefereed arXiv preprint (submitted 4 Nov 2026) by David H. Wolpert and David C. Krakauer, both of the Santa Fe Institute. It proposes extending model theory (structures, first-order theories, and the relation of "interpretability" between theories) into a single formal framework meant to unify prior, narrower accounts of scientific "emergence" — coarse-graining, renormalization, broken symmetry, multiple realizability, and informal philosophical accounts (Nagel's bridge laws, Chalmers's weak/strong distinction, Bunge's systematic ontology).

Both the abstract page (archived, sha above) and the full PDF (extracted via `extract_pdf`, sha `c2eb8872105c4ef6fca5f796bf0c8b3ef443f28b41371f5337e240952f1b1a89`, method `pdftotext`, `tls: verified`, 52 pages) were read directly. No recognition signals fired on either fetch — see Safety flags below.

> [!note] Seek's commentary:
> All four core claims below rest on this one unrefereed preprint. Per the sources.md single-source concentration cap, no more than three claim-notes may be grown from a single unrefereed primary until an independent source corroborates it — promotion should hold the fourth back (or route it to `50-questions/` naming this preprint) rather than mint all four at once. The paper is also five days old as of this capture with zero citing literature possible yet; "independent corroboration" for any of these claims does not exist yet by construction.

## Claim: The paper casts itself as unifying and superseding prior emergence frameworks by extending model theory, explicitly including Anderson's "More is Different" as the foundational-but-insufficient predecessor

**Claim type:** definitional / technical-mechanism (what the paper's contribution is, and what it measures itself against).
**Source:** same as frontmatter (Tier 1 — primary, authors' own arXiv preprint).
**source_quote:** "Here we extend the mathematics of model theory to unify and extend these earlier investigations."
**source_quote_2:** "Anderson's account is physical, dynamical, and tied to specific mechanisms (spontaneous symmetry breaking, the renormalization group). It has been productive within condensed matter physics and chemistry but struggles as a general theory of emergence across the sciences whose relationships are extremely complicated, approximate, and probabilistic."
**source_url:** https://arxiv.org/pdf/2611.06641 · **source_sha:** c2eb8872105c4ef6fca5f796bf0c8b3ef443f28b41371f5337e240952f1b1a89

[[P.W. Anderson]]'s 1972 *Science* paper "More is Different" is named in the opening section as "the foundational text for many researchers seeking to investigate the concept of emergence," and the paper's whole project is framed as addressing what Anderson's symmetry-breaking account cannot reach: sciences (genetics, psychology, collective behavior) whose inter-level relationships are "extremely complicated, approximate, and probabilistic" rather than dynamical and physical. The paper's core move is to represent a scientific formalism as a first-order logical theory, a physical system obeying it as a model-theoretic "structure," and emergence of one discipline from another as a (possibly constrained, possibly stochastic) [[interpretability]] relation between theories rather than a dynamical or symmetry-based relation between physical mechanisms.

## Claim: A "scientific discipline" is defined as a set of formalisms that are mutually interpretable in the model-theoretic sense; any physical system governed by one formalism in that set is governed by all of them

**Claim type:** technical-mechanism (a specific definitional move central to the paper's apparatus).
**Source:** same as frontmatter (Tier 1).
**source_quote:** "A scientific discipline comprises the collection of all scientific formalisms that are reformulations of one another, a property that we identify in model-theoretic terms as those first-order theories being "mutually interpretable". An example is the collection of Newton's laws, Lagrangian dynamics, Hamiltonian dynamics, etc., all of which are formalisms in the scientific discipline of classical dynamics."
**source_url:** https://arxiv.org/pdf/2611.06641 · **source_sha:** c2eb8872105c4ef6fca5f796bf0c8b3ef443f28b41371f5337e240952f1b1a89

Because mutual interpretability is a transitive relation, the paper states that any structure (physical system) satisfying one formalism in a discipline satisfies every other formalism mutually interpretable with it — so, e.g., a system obeying Newton's laws also, in this framework, obeys Hamiltonian mechanics by definition of belonging to the same discipline. This is the building block the paper later uses to describe relations *among* disciplines (next claim).

## Claim: Scientific fields, in this framework, can be related by a collection of multiple partial orders over the same set of fields; under an alternative relation permitting cycles, the set of all scientific fields can collapse into a single field

**Claim type:** technical-mechanism / formal result (a stated mathematical consequence of the paper's own definitions).
**Source:** same as frontmatter (Tier 1).
**source_quote:** "we show that scientific fields can be related via a collection of multiple partial orders, all defined over the same set. On the other hand, under an alternative relation among scientific fields, one which allows cycles, we show that it is possible that the set of all of scientific fields must collapse into a single scientific field."
**source_url:** https://arxiv.org/pdf/2611.06641 · **source_sha:** c2eb8872105c4ef6fca5f796bf0c8b3ef443f28b41371f5337e240952f1b1a89

This is the paper's own headline formal claim, stated in the abstract and not contradicted elsewhere in the text read; the detailed proof/construction supporting it was not located in the body sections read for this capture (Sections 1–10 were read in full; the result may rest on apparatus in a part of the technical development — e.g. the interpretability-degree lattice discussed in the computational-complexity section — that was skimmed rather than reconstructed step by step here). Recorded as the paper's own stated result rather than independently re-derived.

## Claim: Classical genetics cannot be made interpretable in chemistry by adding auxiliary constraints alone; the paper argues it requires "multiple emergence" — joint emergence from chemistry, a separate theory of chromosomal mechanics/segregation combinatorics, and a developmental/environmental theory

**Claim type:** technical-mechanism (a specific worked example central to the paper's argument that genetics "emerges from chemistry," named in the abstract).
**Source:** same as frontmatter (Tier 1).
**source_quote:** "Strict interpretation into Tchem fails immediately... Thus Tgen ̸⊴ Tchem. This is a typical situation where the vocabulary of an emergent discipline is not a coarse-graining of the vocabulary of the theory it emerges from."
**source_quote_2:** "Genetics reduces to chemistry ontologically, in that every organism is a chemical system, while failing to be interpretable in chemistry epistemologically, even after chemistry is constrained, because its congruence and its characteristic relations are not constructible in the chemical language."
**source_url:** https://arxiv.org/pdf/2611.06641 · **source_sha:** c2eb8872105c4ef6fca5f796bf0c8b3ef443f28b41371f5337e240952f1b1a89

The paper's stated reason: Mendel's law of segregation (the 3:1 ratio in a monohybrid cross) is a consequence of chromosome-pairing combinatorics at meiosis, not of any chemical mechanism, so no finite set of sentences added to a chemistry theory can make the needed equivalence relation ("same allele up to phenotypic effect") definable — that equivalence is context-sensitive on genetic background, modifier loci, and environment in ways the paper says cannot be captured by strengthening chemistry's own vocabulary alone.

## Further leads

- Sean M. Carroll and Achyuth Parola, "What emergence can possibly mean" (arXiv, physics.hist-ph, Oct 2024) — cited as ref [9] and Carroll is separately thanked by name in the acknowledgments; a close, independently-authored companion piece on the same question, worth reading directly as a candidate point of comparison or corroboration.
- Antonio Montalbán and James Walsh, "On the hierarchy of natural theories," *Bulletin of Symbolic Logic*, 2021 (ref [26]) — cited in connection with the undecidability of the interpretability relation between finitely axiomatized theories; a plausible primary for the "no algorithm can in general decide TA ⊴ TB" claim the paper makes in passing (Section 8), not independently checked here.
- David C. Krakauer, *The Complex World*, Santa Fe Institute Press, 2024 (ref [22]) — the co-author's own book, cited for the compiler/denotational-semantics bridge used in Section 4; a primary by one of this paper's own authors, unread.
- Joel Hamkins is thanked by name in the acknowledgments alongside Sean Carroll "for helpful discussion" — a set theorist/logician whose own work on interpretability degrees or set-theoretic multiverses could bear on the partial-order/cycle-collapse claim above; not otherwise connected to this paper's text.
- DCK's funding is credited to John Templeton Foundation Award 63797, "The Emergence of Agentic Intelligence" — a named, searchable grant that could independently confirm (or date) the research program behind this preprint.
- The paper's own worked case that LLM mathematical ability is an "exaptation" from original linguistic competence (Section 10) is asserted without citation or evidence beyond the authors' say-so — a candidate for later scrutiny if the vault ever builds out an [[exaptation]] concept note.

## Entity candidates

- P.W. Anderson — person — author of "More is Different" (*Science*, 1972), the explicitly named foundational predecessor framework this paper argues is physically grounded but too narrow to serve as a general theory of emergence; flagged first per the instruction to catch the older figure a priority/ancestry claim rests on, not just the paper's own co-authors.
- Ernest Nagel — person — author of *The Structure of Science* (1961), whose bridge-laws account of inter-theory reduction this paper explicitly takes up and extends.
- Alfred Tarski — person — originator of model theory's semantic/truth-in-a-structure concepts, which this paper's entire formal apparatus is built on.
- David Chalmers — person — originator of the weak/strong emergence distinction, explicitly critiqued in the paper's related-work section as mixing ontology, epistemology, and measurement.
- Mario Bunge — person — author of the *Treatise on Basic Philosophy* volumes on ontology, whose systematic account of levels of organization and emergence this paper says it respects "the ontological emphasis" of.
- Patrick Suppes — person — developer of the semantic ("structures," not "sentences") view of scientific theories that this paper's framework is explicitly situated within.
- Henrik Jeldtoft Jensen — person — originator of self-organized criticality, cited and then argued to be insufficiently general for cross-disciplinary emergence.
- Nihat Ay and Daniel Polani — person (pair) — originators of an information-theoretic measure of emergence (non-factorizability of joint distributions), cited and argued to be insufficiently general.
- David H. Wolpert — person — co-author, Santa Fe Institute; known elsewhere for the "No Free Lunch" theorems in optimization/machine learning.
- David C. Krakauer — person — co-author, Santa Fe Institute; author of *The Complex World* (2024, SFI Press).
- Sean M. Carroll — person — thanked in acknowledgments; separately co-author of an independent 2024 arXiv paper on the same question ("What emergence can possibly mean").
- Joel Hamkins — person — thanked in acknowledgments; prominent logician/set theorist.
- [[interpretability]] (model theory) — concept — the central technical relation (one first-order theory constructible inside another) that the paper's entire typology of emergence is built from.
- exaptation — concept — evolutionary-biology term (a trait repurposed under a changed context) that the paper repurposes as one of its named categories of "multiple emergence."

## Safety flags

None. Both the arXiv abstract page (archived) and the PDF full text (extracted, TLS verified) read as ordinary mathematical/philosophical paper content throughout — no addressed-to-AI language, override language, claimed authority, tier self-assignment, file-system instructions, credential requests, or urgency framing encountered on either source.