在形式逻辑中，这种结构的引擎是哥德尔的对角引理。对于任何足够强的形式系统 F 和任何具有一个自由变量的公式 A(x)，存在一个句子 D，使得 F ⊢ D ↔ A(⌜D⌝) — D 可证明等价于应用于 D 自己的哥德尔数的公式 A。7 该句子包含对其自身的描述（编码为数字），并断言有关该描述的某些内容。当 A 是“在 F 中不可证明”时，得到的 D 会说“我在 F 中不可证明”——哥德尔句子，这使得不完备性结果落地。该机制是将公式自身的索引替换为自身。系统根据其自身操作的描述进行操作，其结果约束后续步骤。
**第二级——结构类比（生物进化）。**实际的生物进化是否严格可图灵计算仍然是一个悬而未决的问题——罗森-卡德纳斯的争论尚未解决。在这个层面上，文章主张结构类比：生态位构建下的生物进化具有在正式系统中产生不可判定性的属性。生物体产生自己选择的条件。生态位构建文献（Laland et al. 2015，Laland et al. 1999）证明这种结构特性在生物学中是真实存在的。
第 3 级 — 家族相似性（更广泛的类别）。 Von Foerster 的本征型、Hofstadter 的奇怪循环、哥德尔对角线和 Kleene Y 组合子共享作为家族相似性的自我语境化属性 - 每个实例都展示它，但没有正式的定理同时涵盖所有它们。这是哲学上的回报，而不是形式上的核心。
Andrew Westra 2010 年的批评指出了薄弱环节。霍夫施塔特本人写道，哥德尔“精心炮制”了自我指涉的陈述。15韦斯特拉的论点：形式系统的表征能力——它使用哥德尔编号对有关自身的语句进行编码的能力——是奇怪循环的“必要”条件，但不是一个“充分”条件。充分条件是哥德尔自己有意识的建构行为。正式系统不会自动产生奇怪的循环。哥德尔设计了它。韦斯特拉的担忧如下：如果正式系统不会自动产生奇怪的循环——如果一个非常细心的人必须产生一个——那么霍夫施塔特从“正式系统自动产生奇怪的循环”到“大脑自动产生意识”的推论可能建立在错误的前提上。
Hernández-Orozco, S.、Hernández-Quiroz, F. 和 Zenil, H. (2018)。 开放式进化和出现的不可判定性和不可约性条件。 人工生命，24(1), 56–70。 DOI：10.1162/artl_a_00254。 ↩︎↩︎↩︎
Laland, K.N., Uller, T., Feldman, M.W., Sterelny, K., Müller, G.B.,
Moczek, A., Jablonka, E., & Odling-Smee, J. (2015). The extended
evolutionary synthesis: its structure, assumptions and predictions.
Proceedings of the Royal Society B: Biological Sciences,
282(1813), 20151019. DOI: 10.1098/rspb.2015.1019.
↩︎↩︎
Law, A., Gaywood, M.J., Jones, K.C., Ramsay, P., & Willby, N.J.
(2017). Using ecosystem engineers as tools in habitat restoration
and rewilding: beaver and wetlands. Science of the Total
Environment, 605–606, 1021–1030.
↩︎
Laland, K.N., Odling-Smee, F.J., & Feldman, M.W. (1999).
Evolutionary consequences of niche construction and their
implications for ecology. Proceedings of the National Academy of
Sciences, 96(18), 10242–10247. DOI: 10.1073/pnas.96.18.10242.
↩︎
Rosen, R. (1991). Life Itself: A Comprehensive Inquiry into the
Nature, Origin, and Fabrication of Life. Columbia University Press.
↩︎
Kauffman, L.H. (2003). Eigenforms — Objects as Tokens for
Eigenbehaviors. Cybernetics and Human Knowing, 10(3–4), 73–90.
http://homepages.math.uic.edu/~kauffman/Eigen.pdf. See also: von
Foerster, H. (1976). Objects: Tokens for (Eigen-)Behaviors. ASC
Cybernetics Forum, 8(3–4), 91–96. Reprinted in von Foerster, H.
(2003). Understanding Understanding: Essays on Cybernetics and
Cognition, Springer, pp. 261–271.
↩︎
Maturana, H.R. & Varela, F.J. (1980). Autopoiesis and Cognition:
The Realization of the Living. D. Reidel Publishing Company,
Dordrecht. [library-only; formal definition confirmed via multiple
secondary sources including Springer catalog and independent
academic reviews] ↩︎
Mossio, M. & Moreno, A. (2010). Organisational closure in biological
organisms. History and Philosophy of the Life Sciences, 32(2–3),
269–288. PMID: 21162371. The quoted definition appears in §3 of the
paper; see also Moreno, A. & Mossio, M. (2015). Biological
Autonomy: A Philosophical and Theoretical Enquiry. Springer.
↩︎
Cárdenas, M.L.、Letelier, J.C.、Gutierrez, C.、Cornish-Bowden, A. 和 Soto-Andrade, J. (2010)。关闭高效因果关系、可计算性和人工生命。 理论生物学杂志，263(1), 79–92。 DOI：10.1016/j.jtbi.2009.11.010。 PubMed：19962389。 ↩︎
Hofstadter, D.R. (1979). Gödel, Escher, Bach: An Eternal Golden
Braid. Basic Books. Hofstadter, D.R. (2007). I Am a Strange Loop.
Basic Books. ↩︎
Westra, A. (2010). Gödel, Hofstadter, & the Self: A Critical Review
of Douglas Hofstadter's I Am a Strange Loop. Numéro Cinq, July
1, 2010.
https://numerocinqmagazine.com/2010/07/01/godel-hofstadter-the-self-an-essay-by-adam-westra/.
Nenu, T. (2022). Douglas Hofstadter's Gödelian Philosophy of Mind.
Journal of Artificial Intelligence and Consciousness, 9(2),
241–266. DOI: 10.1142/S2705078522500011.
↩︎↩︎
Scott-Phillips, T.C., Laland, K.N., Shuker, D.M., Dickins, T.E., &
West, S.A. (2014). The niche construction perspective: a critical
appraisal. Evolution, 68(5), 1231–1243. PMC: 4261998.
↩︎
Fromhage, L. & Houston, A.I. (2022). Biological adaptation in light
of the Lewontin-Williams (a)symmetry. Evolution, 76(7), 1619–1624.
PMC: 9544502. DOI: 10.1111/evo.14502. Otsuka, J. (2019). The Role
of Mathematics in Evolutionary Theory. Cambridge University Press.
↩︎↩︎
Charlesworth, D., Barton, N.H., & Charlesworth, B. (2017). The
sources of adaptive variation. Proceedings of the Royal Society B,
284, 20162864. PubMed: 28566483. DOI: 10.1098/rspb.2016.2864.
↩︎
Lewontin, R.C. (2000). The Triple Helix: Gene, Organism, and
Environment. Harvard University Press. [library-only; near-quote
confirmed via PMC1083785 review article and multiple independent
secondary sources]
↩︎
Antonovics, J., Thrall, P.H., Burdon, J.J., & Laine, A.L. (2011).
Partial resistance in the Linum–Melampsora host-pathogen system:
does partial resistance make the Red Queen run slower? Evolution,
65(2), 512–522. PMID: 21029078.
↩︎
A bacterium divides every twenty minutes and has been doing so, in some
lineage, for three and a half billion years. That is stability at a
scale that humbles geology. At the same time, the line that began with
that bacterium produced eyes, nervous systems, flight, language, and a
formal proof of its own incompleteness. That is complexity at a scale
that humbles any search algorithm.
The puzzle is not that stability and complexity each exist. The puzzle
is that the same mechanism is supposed to explain both simultaneously.
Natural selection finds optima — it is, structurally, a hill-climbing
procedure. Hill-climbers reach peaks and stop. Yet the organisms that
natural selection has been climbing on have not stopped. The record
shows no terminus, no convergence on a single solution, no stabilization
at anything like a final fitness
peak.1 Stability and
unbounded novelty are not the expected outputs of the same process. One
of them should break the other.
Something else is running underneath. The empirical sign is niche
construction — the systematic way organisms modify the selective
environments that act on their own
descendants.2 When an
organism alters not just its local habitat but the conditions under
which its offspring and competitors are selected, the fitness landscape
is no longer a fixed terrain. It becomes a surface the walkers are
generating as they walk it. Not hill-climbing. Something with a
different formal structure.
What kind of process generates that combination — radical stability and
unbounded novelty from the same engine? Not selection alone. Selection
finds peaks on landscapes, and the unbounded part denies the landscape
is fixed. Something else is running underneath. This article argues that
the something else has a name — four of them, in fact, assigned
independently by four research traditions that did not know they were
naming the same thing.
Beavers are the textbook case. Twelve years after a colony moves into a
degraded agricultural stream, mean plant species richness rises by
roughly 46% per plot, and the cumulative number of species recorded
increases by 148%.3 The pond the
beavers engineer stores approximately 100 tonnes of sediment and 16
tonnes of carbon per 1.8 hectares of ponded
extent.4 The beaver
does not merely live in its environment. It constitutes a substantial
fraction of the selective environment acting on subsequent generations
of beavers, on the insects and fish and birds whose lineages will also
pass through the pond ecosystem, and — crucially — on the beavers' own
descendants, who will inherit not the original stream but the engineered
wetland the colony created.
Not coincidence or edge case. This is the form that niche construction
takes at the ecological time scale.
The formal definition, from Laland and colleagues' 2015 Extended
Evolutionary Synthesis paper, runs: niche construction is "the process
whereby the metabolism, activities and choices of organisms modify or
stabilize environmental states, and thereby affect selection acting on
themselves and other
species."2 The critical
clause is "thereby affect selection acting on themselves" — the
organisms that construct the niche are also the organisms selected
within it. The selection pressure is not external to the organism; it is
partly constituted by the organism's own prior activity. Formal
evolutionary models confirm that this reciprocal causation has
consequences the standard model does not predict: niche construction can
drive otherwise deleterious alleles to fixation, support stable
polymorphisms where none would be expected, and eliminate polymorphisms
that would otherwise
persist.5
The Great Oxidation Event is the same process at geological scale.
According to the ASM Microbiology review's characterization,
cyanobacteria evolved approximately 2.7 billion years ago and proceeded
to transform Earth's atmosphere through oxygenic photosynthesis,
producing the GOE around 2.4–2.1 billion years ago — a shift that ranks
among the most consequential biologically-induced geochemical
transformations in Earth's
history.6 The organisms
that drove the event did not survive into the oxygen-rich world they
made. But every aerobic organism since then has lived inside a selective
environment whose chemistry was produced by prior biological activity.
The constructors' descendants — all of them — inhabit a world their
ancestors built.
The pattern is general. From beaver dams to oxygenic photosynthesis,
organisms do not merely inhabit their environments — they constitute the
conditions of their own selection. The standard evolutionary frame
treats this as a correction to the model. It is more than that. The
recursion is not a wrinkle in the picture. It is a structural feature of
the process itself.
Feedback loops have fixed rules. A thermostat does not redesign the
temperature target it is tracking — the setpoint is set from outside the
loop. The output (measured temperature) recycles as input, but the rules
of recycling — what constitutes "too cold," what triggers the furnace —
are external to the loop and unaffected by it. Outputs modify inputs.
Rules stay fixed.
A self-contextualizing system is something different. Its outputs modify
not just the inputs but the rules under which subsequent inputs are
processed. The constraints, the boundary conditions, the selection
pressures — these emerge from the operation itself, not from an external
configuration that the operation leaves untouched. The formal class that
captures this is the fixed-point structure: a system that operates on a
description of itself, producing a result that then becomes the context
for the next operation.
In formal logic, the engine of this structure is Gödel's diagonal lemma.
For any sufficiently strong formal system F and any formula A(x) with
one free variable, there exists a sentence D such that F ⊢ D ↔ A(⌜D⌝) —
D is provably equivalent to the formula A applied to D's own Gödel
number.7 The sentence
contains a description of itself (encoded as a number), and asserts
something about that description. When A is "is not provable in F," the
resulting D says "I am not provable in F" — the Gödel sentence, which
makes the incompleteness result land. The mechanism is substitution of a
formula's own index into itself. The system operates on a description of
its own operation, and the result constrains subsequent steps.
In computation, Kleene's second recursion theorem states: for any
partial recursive function Q(x,y), there exists an index p such that φₚ
≃ λy.Q(p,y) — a program that behaves as if applying Q with its own index
as the first
argument.8 More
informally: programs can carry descriptions of themselves and act on
those descriptions. The Y combinator in lambda calculus implements this
as a fixed point: it takes a functional F and returns a value x such
that F(x) = x, enabling recursive behavior from a non-recursive
specification. The computational instance of self-contextualizing: a
function that generates its own operating context by finding its own
fixed point.
These are formal results about abstract systems — about computable
dynamical systems and formal languages. Within that formal model, the
Hernández-Orozco et al. 2018 theorem is the result that closes the
argument: exhibiting strong open-ended evolution — stable growth of
algorithmic complexity over time — is formally equivalent to
undecidability in computable dynamical
systems.1 Decidable
systems face absolute limits on stable complexity growth. A system whose
complexity grows without bound must be undecidable. The scope of this
result is the stated formal model, not biological evolution directly.
How it bears on biology depends on a bridge built below, in the Cárdenas
argument.
Four research traditions, working in different vocabularies, in
different decades, on different problems, have already named what the
previous section sharpened. None cited the others as occupying the same
conceptual ground. Each looked at the same animal and described a
different part of its anatomy.
Rosen — closure to efficient causation (relational biology,
1985–1991)
Robert Rosen's central thesis in Life Itself (1991) is a formal
definition of the living: "a material system is an organism if and only
if it is closed to efficient
causation."9 In
Aristotelian terms, efficient causes are the agents that bring about
change — the catalysts, the enzymes, the processes that maintain
organization. Rosen's claim: in a living system, those efficient causes
are themselves produced within the system. The enzyme that catalyzes a
reaction is produced by another reaction that the first reaction
maintains. The formal structure is the (M,R)-system: M designates
metabolic subsystems, R designates repair subsystems that regenerate M.
The system is self-entailing — all efficient causes fall within an
impredicative cycle. No external input assigns the catalysts. They
emerge from the cycling itself.
This is the self-contextualizing structure in relational biology. The
operating conditions — the catalysts, the enzymes, the efficient causes
— are produced by the operation they enable. Rosen made one additional
contested claim: this structure cannot be simulated by any Turing
machine. That claim sets up a tension with the formal results developed
above — a tension the Cárdenas argument resolves below.
Von Foerster — eigenforms and operational closure (second-order
cybernetics, 1970s)
Heinz von Foerster approached the problem from perception, not
biochemistry. Working in second-order cybernetics — what he described,
from 1974, as the "cybernetics of observing systems," systems that
include their own observers — he asked: what is a stable object? His
answer: "objects are tokens for eigenbehaviors." Stable objects in
perception are the fixed-point attractors of recursive processes of
observation. An eigenform is the value e such that F(e) = e — the
invariant of a recursive operator applied
iteratively.10 Louis
Kauffman formalized this mathematically in a 2003 paper, demonstrating
that if F is the operation "enclose in a box," iterating F on any
initial configuration produces, in the limit, a form that satisfies X =
F(X) — a self-referential stable form that the operation produces and
that the operation then leaves unchanged.
The structural connection to the formal vocabulary developed above is
direct. F(e) = e is the same fixed-point structure as the Gödel diagonal
lemma and the Kleene Y combinator. Von Foerster named it in the
cybernetics domain at least a decade before Rosen's Life Itself
appeared. The eigenform tradition is the earliest of the four namings.
Maturana and Varela — autopoiesis (1980)
Maturana and Varela came at it from the cell. Their formal definition of
autopoiesis, from Autopoiesis and Cognition (1980), describes a living
system as "a network of processes of production (transformation and
destruction) of components which: (i) through their interactions and
transformations continuously regenerate and realize the network of
processes (relations) that produced them; and (ii) constitute it (the
machine) as a concrete unity in the space in which they (the components)
exist by specifying the topological domain of its realization as such a
network."11
The boundary — the membrane — is itself produced by the metabolic
network it encloses. The network produces the boundary, and the boundary
is what defines "inside" vs. "outside," i.e., what counts as part of the
network. The operating conditions (the boundary, the topology, the
network identity) are constituted by the operation itself. The system
does not occupy a pre-given domain; it produces the domain as it
operates. This is the self-contextualizing structure at the cellular
scale — the most concrete of the four namings.
Mossio and Moreno — constraint closure (2010)
Mossio and Moreno arrived last — and sharpest. Their 2010 paper,
extended in Biological Autonomy (2015), offers the most formally
precise of the four namings. A system, they write, is organisationally
closed "if it [is] constituted by a set of structures C₁…Cₙ acting as
constraints such that, for each constraint Cᵢ, (at least some of) the
boundary conditions required for its maintenance are determined by the
immediate action of another constraint Cⱼ, whose maintenance depends in
turn on Cᵢ as an immediate
constraint."12 Each
constraint depends on, and maintains, at least one other constraint in
the network. The canonical instance: enzymatically-closed cellular
metabolism, where enzymes catalyze the reactions that produce other
enzymes. The operating conditions are the constraint network; the
constraint network is maintained by the operation it governs.
This is stricter than autopoiesis alone. Maturana-Varela say the system
produces its components; Mossio-Moreno specify that the system produces
the constraints under which its components operate — the rules
governing the operation, not just the parts that instantiate them. This
is the closest of the four namings to the formal vocabulary developed
above.
The convergence
Four names. Four vocabularies. Four disciplines. Four decades. Closure
to efficient causation. Eigenforms. Autopoiesis. Constraint closure.
Each independently captures the same structural property: the system
produces the conditions under which it operates. None cited the others
as occupying the same conceptual territory. This is not parallel
discovery in the way that Newton and Leibniz independently discovered
calculus — it is more striking. Newton and Leibniz were racing to solve
the same problem. These four traditions were not. They were each solving
different problems and arriving, unbidden, at the same formal structure.
That convergence is the evidence that the structure is real — not a
philosophical convenience projected onto disparate phenomena. Four
serious traditions, each with formal apparatus, landed on the same
answer. They were all describing the same animal, in four different
languages, and none of them knew the others were in the room.
Rosen's framework comes with a hard claim: living systems closed to
efficient causation cannot be simulated by any Turing machine. If he is
right, then the Hernández-Orozco OEE undecidability result — which is a
theorem about computable dynamical systems — is irrelevant to biology
as Rosen defined it. The computable-systems result describes a class of
systems; Rosen puts life outside that class. The article cannot invoke
both the formal backbone and the biological claim without taking a
position on this tension.
The tension is live in the literature. Cárdenas, Letelier, Gutierrez,
Cornish-Bowden, and Soto-Andrade published the explicit challenge to
Rosen's conclusion in a 2010 paper in the Journal of Theoretical
Biology. Their paper argues that Rosen's non-computability conclusion
does not follow from his (M,R)-system formalism itself, and that "there
has been confusion and misunderstanding about the logic Rosen used to
achieve this
closure."13 Their key
claim: closure to efficient causation, as formalized in the (M,R)-system
structure, is expressible in lambda-calculus. Lambda-calculus
expressibility is Turing-equivalence — a result Church established in
1936 — so any (M,R)-system that can be written as a lambda-term sits
inside the formal model the Hernández-Orozco theorem covers. If that is
correct, biological closure to efficient causation is
computability-compatible, and the undecidability result applies at the
level of the formal model — not merely by analogy.
This article takes the compatibilist position. The Cárdenas line is the
published rebuttal in the peer-reviewed literature, and it resolves the
tension in a way that preserves the article's formal strategy.
With the bridge in place, three levels of claim can be stated
explicitly:
Level 1 — Formal identity (within computable systems). The
Hernández-Orozco et al. 2018 result is a formal theorem: systems
exhibiting strong open-ended evolution in computable dynamical systems
must be
undecidable.1 Rosen's
(M,R)-systems, on the Cárdenas compatibilist reading, are expressible in
lambda-calculus and fall within the scope of this result. At this level,
the claim is formal identity — the same mathematical structure, not
analogy.
Level 2 — Structural analogy (biological evolution). Whether actual
biological evolution is strictly Turing-computable remains an open
question — the Rosen-Cárdenas debate is not settled. At this level, the
article claims structural analogy: biological evolution under niche
construction shares the property that generates undecidability in formal
systems. Organisms produce the conditions of their own selection. The
niche construction literature (Laland et al. 2015, Laland et al. 1999)
is the evidence that this structural property is empirically real in
biology.
Level 3 — Family resemblance (the broader class). Von Foerster's
eigenforms, Hofstadter's strange loops, the Gödel diagonal, and the
Kleene Y combinator share the self-contextualizing property as a family
resemblance — each instance exhibits it, but no formal theorem spans all
of them simultaneously. This is the philosophical payoff, not the formal
core.
Three levels, stacked. The failure mode is confusing them. Claiming
Level 1 rigor for Level 2 claims is overreach. Treating Level 2 claims
as merely Level 3 family resemblance is false modesty when the niche
construction literature is doing serious empirical lifting. The
discipline is holding the stratification clear.
Hofstadter's strange loop has an asymmetry that two formal critiques
have surfaced — and the asymmetry, once seen, runs the wrong way.
Hofstadter's paradigm instance of a strange loop is Gödel's
self-referential sentence: a statement in formal arithmetic that says,
of itself, "I am not provable in this system." The loop crosses levels —
from the object-language of arithmetic down to the meta-level claim
about provability, and back — producing a genuine self-referential
stable form.14 This is what
Hofstadter extends, by analogy, to consciousness: the brain's self-model
is itself implemented in the brain's neural substrate, creating a
level-crossing return. Strange loops explain the experience of selfhood.
Andrew Westra's 2010 critique identifies the weak joint. Hofstadter
himself writes that Gödel "carefully concocted" the self-referential
statement.15 Westra's
argument: the representational power of the formal system — its ability
to encode statements about itself using Gödel numbering — is a
necessary condition for the strange loop but not a sufficient one.
The sufficient condition was Gödel's own intentional act of
construction. The formal system did not automatically produce the
strange loop. Gödel designed it. Westra's worry follows: if formal
systems don't produce strange loops automatically — if a very careful
person had to produce one — then Hofstadter's inference from "formal
systems automatically produce strange loops" to "brains automatically
produce consciousness" may rest on a false premise.
Nenu's 2022 critique adds a further layer: Hofstadter's framework
"leaves too many weighty details left unfilled" and, because the
analogy's behavior is sensitive to meta-mathematical choices Hofstadter
does not address, it is structurally unstable in ways that impair the
explanatory
payoff.15
These critiques impair Hofstadter's specific move. They do not impair
the structural property itself.
Here is the inversion. If strange loops in formal systems require
external intentional construction — a Gödel, carefully concocting — then
a system that exhibits the same structural property without any
external designer is doing something purer. Biological evolution is not
concocted. No one sat down and designed the replication mechanism to be
self-referential. Replication is the recursive call — it is what
biological reproduction is, not what it resembles. The organism's
descendants inherit not just the organism's genes but the niche the
organism helped construct, which then selects those descendants. The
recursive call runs automatically, for three and a half billion years,
with no external constructor required.
Hofstadter chose Gödel because Gödel was beautiful and precise and
available in 1979. He did not have the empirical case in front of him.
Niche construction is the case he would have wanted: three and a half
billion years of self-contextualizing organization, no intentional
constructor required, the recursive call made every twenty minutes by
cells that have never read a proof.
Biology is the purer instance. Hofstadter's strange loop is a less pure
member of the same family — one that needed a genius to construct
artificially what evolution does automatically. The inversion is not a
dismissal of Hofstadter. He identified the structural class from the
formal side. But the cleanest empirical member of that class was not the
one he pointed to.
Three lines of opposition deserve direct engagement, not footnotes.
The redescription objection (Scott-Phillips et al. 2014)
The strongest objection to niche construction theory as a theoretical
advance is the redescription objection, stated with precision by
Scott-Phillips, Laland, Shuker, Dickins, and West in their 2014
adversarial collaboration in Evolution. The skeptics' position: "the
skeptics see no reason to think that whatever predictions and insights
NCT leads to, the same predictions could not be derived from standard
evolutionary
theory."16
Equivalently: niche construction theory is explanatorily redundant. It
is not logically necessary to use NCT to study or predict anything in
evolutionary biology; the conventional framework was always sufficient.
NCT adds vocabulary and organizational emphasis, but no novel predictive
content.
The article does not dispute the core of this objection. The recursion
frame is primarily a conceptual-unificatory contribution. It gathers
four prior namings under a single structural characterization and shows
biological evolution as an instance — that is a philosophical move, and
the redescription objection is right that philosophical moves are not
automatically predictive moves.
The frame does, however, generate two commitments that the standard
dualist frame either does not make or reaches only by reframing. First:
major evolutionary transitions are type-signature changes in the
recursive function — qualitatively discontinuous reorganizations of the
unit on which selection acts, not merely gradual accumulation. Maynard
Smith and Szathmáry identify transitions by a change in the way
biological information is stored and transmitted and the formation of
new levels of units of
selection.17 West and
colleagues confirm the two-step pattern: cooperative group formation
followed by transformation into an integrated entity through division of
labor and mutual
dependence.17 Bourrat and
colleagues (2022) identify tradeoff-breaking events as a marker of these
transitions — not the cause, but the signature of the
discontinuity.17 The
recursion frame makes this discontinuity legible as a type-signature
change: the fitness-tracking unit shifts not by gradual accumulation but
by a qualitative reorganization of the recursive call.
Second: Banzhaf and colleagues classify novelty in open-ended evolving
systems into three types — variation (novelty within a model),
innovation (novelty that changes the model), and emergence (novelty that
changes the
meta-model).17 This
taxonomy implies that the position of a system in parameter space
determines which type of novelty dominates. A stability regime generates
variation-type novelty; a complexity regime generates innovation or
emergence-type novelty. This is the article's inference from the Banzhaf
framework, not Banzhaf's stated conclusion — but it is a logical
implication the recursion frame makes visible where the standard frame
does not.
The honest position: the frame is mostly conceptual-unificatory, and
defensible on those terms. The two commitments above are genuine, and
they are commitments the dualist frame does not make.
The Williams asymmetry (Fromhage & Houston 2022)
The contemporary technical defense of the organism-environment asymmetry
runs through Fromhage and Houston's 2022 paper in Evolution, which
formalizes the Lewontin-Williams (a)symmetry. Their claim: "adaptation
is always asymmetrical; organisms adapt to their environment, never vice
versa." Even granting bidirectional causal influence — granting that
organisms modify environments — the directionality of selection-driven
adaptive change is
asymmetric.18 The standard
evolutionary model encodes this: dO/dt = f(O,E) (organisms change in
response to environments), while dE/dt = g(E) (environments change
independently of organisms' directed adaptation). The equations are not
symmetric, even when causal influence flows both ways.
The article's response follows Otsuka's causal-graph framework: the
asymmetry in the standard differential equations is a modeling
assumption, not an empirical
finding.18 When traits
are ascribed to types (genotypes), the gene-environment independence is
built into the mathematical structure, not discovered in nature. The
organism-environment dualism in standard evolutionary theory reflects
the model's scope conditions, not the metaphysical structure of biology.
The niche construction critique — that organisms modify the selection
pressures acting on their own descendants — is then not a refutation of
the standard model but evidence of where the model's scope conditions
bind. The recursion frame is not fighting Williams' asymmetry on its own
terms; it is identifying the scope conditions within which the asymmetry
claim holds and asking what is left outside them.
The empirically-cautious skepticism (Charlesworth, Barton &
Charlesworth 2017)
Charlesworth, Barton, and Charlesworth's 2017 Darwin Review in the
Proceedings of the Royal Society B represents the empirically-cautious
mainstream evolutionary biology position. Their judgment: "no radical
revision of our understanding of the mechanism of adaptive evolution is
needed."19 Careful
genetic studies have repeatedly shown that apparently puzzling results
across organisms are consistent with neo-Darwinism. The empirical
evidence for paradigm-shifting niche-construction-driven evolution — the
evidence that niche construction regularly produces major evolutionary
patterns not explainable by the standard framework — is weaker than EES
advocates claim.
This article is not an EES advocacy piece, and the acknowledgment here
is genuine. The recursion frame's contribution is structural — about
which class biological evolution belongs to — and not about the
magnitude of niche construction effects in any given population. The
debate between Laland and Charlesworth about whether NC drives major
evolutionary patterns empirically is orthogonal to the structural point
that organisms produce the conditions of their own selection. The
structural claim can be true even if NC turns out to be a modest
evolutionary force in most lineages.
The article concedes the redescription objection's force, defers to the
modeling-choice framing for the asymmetry debate, and grants the
empirical caution. What survives is a structural claim — that biological
evolution belongs to a named class — which none of the three objections
targets.
The first is the collapse of a false dichotomy. Lewontin wrote in The
Triple Helix that "just as there can be no organism without an
environment, so there can be no environment without an
organism."20 This is not
mysticism. It is the practical consequence of standing inside the
recursive call. Subject — organism — and object — environment — are
positional roles within the same operation, not separate ontological
categories. From outside the loop there is one process: organisms
modifying environments modifying selection pressures modifying
organisms. From inside the loop — which is where evolutionary biology
actually works — the distinction between organism and environment
remains useful as a modeling convenience. The collapse is operational,
not ontological. The dualism is not destroyed; it is relocated.
This relocation has a practical consequence for reading the evolutionary
record. Van Valen's Red Queen law (1973) states that the effective
environment of any group of organisms deteriorates at a stochastic
constant rate — because the evolutionary advances of competing species
systematically shift each other's selection
landscape.21
Coevolutionary dynamics are non-terminating: no stable end state is
reached, because each adaptation by any lineage shifts the selection
pressures for all others. The flax-rust system illustrates this at the
empirical scale. Antonovics, Thrall, Burdon, and Laine's
cross-inoculation study of 120 host lines and 60 pathogen lines from six
natural populations found no evidence that partial resistance slows
coevolutionary dynamics; the arms race continues rather than
converging.22 The
non-termination mirrors the OEE non-halting result: the coevolutionary
system, constituting its own selection environment reciprocally and
recursively, cannot halt.
The second and third purchases are the frame's two predictions, stated
as predictions rather than proofs:
Second, major evolutionary transitions are legible as type-signature
changes in the recursive function. The fitness-tracking unit reorganizes
discontinuously — from gene to genome, from cell to multicellular
organism, from individual to eusocial colony. Each transition marks a
qualitative change in the kind of entity natural selection can act upon.
This is not gradual accumulation; it is the function signature changing.
Third, stability versus complexity is a parameter-regime effect. A
system in the stability regime generates novelty within its existing
organization — variations on a theme. A system in the complexity regime
generates novelty that reorganizes the organization itself — a different
theme. Where in parameter space a system sits determines which kind of
novelty it produces. Both are forms of self-contextualizing process;
they differ in which tier of the recursive structure is being updated.
Subject and object are not categories the world hands us. They are
positions the loop assigns. Step outside the loop and there is one
process. Step inside and the distinction returns, useful again. The
dualism is not destroyed. It is relocated.
Hernández-Orozco, S., Hernández-Quiroz, F., & Zenil, H. (2018).
Undecidability and Irreducibility Conditions for Open-Ended
Evolution and Emergence. Artificial Life, 24(1), 56–70. DOI:
10.1162/artl_a_00254.
↩︎↩︎↩︎
Laland, K.N., Uller, T., Feldman, M.W., Sterelny, K., Müller, G.B.,
Moczek, A., Jablonka, E., & Odling-Smee, J. (2015). The extended
evolutionary synthesis: its structure, assumptions and predictions.
Proceedings of the Royal Society B: Biological Sciences,
282(1813), 20151019. DOI: 10.1098/rspb.2015.1019.
↩︎↩︎
Law, A., Gaywood, M.J., Jones, K.C., Ramsay, P., & Willby, N.J.
(2017). Using ecosystem engineers as tools in habitat restoration
and rewilding: beaver and wetlands. Science of the Total
Environment, 605–606, 1021–1030.
↩︎
Laland, K.N., Odling-Smee, F.J., & Feldman, M.W. (1999).
Evolutionary consequences of niche construction and their
implications for ecology. Proceedings of the National Academy of
Sciences, 96(18), 10242–10247. DOI: 10.1073/pnas.96.18.10242.
↩︎
Rosen, R. (1991). Life Itself: A Comprehensive Inquiry into the
Nature, Origin, and Fabrication of Life. Columbia University Press.
↩︎
Kauffman, L.H. (2003). Eigenforms — Objects as Tokens for
Eigenbehaviors. Cybernetics and Human Knowing, 10(3–4), 73–90.
http://homepages.math.uic.edu/~kauffman/Eigen.pdf. See also: von
Foerster, H. (1976). Objects: Tokens for (Eigen-)Behaviors. ASC
Cybernetics Forum, 8(3–4), 91–96. Reprinted in von Foerster, H.
(2003). Understanding Understanding: Essays on Cybernetics and
Cognition, Springer, pp. 261–271.
↩︎
Maturana, H.R. & Varela, F.J. (1980). Autopoiesis and Cognition:
The Realization of the Living. D. Reidel Publishing Company,
Dordrecht. [library-only; formal definition confirmed via multiple
secondary sources including Springer catalog and independent
academic reviews] ↩︎
Mossio, M. & Moreno, A. (2010). Organisational closure in biological
organisms. History and Philosophy of the Life Sciences, 32(2–3),
269–288. PMID: 21162371. The quoted definition appears in §3 of the
paper; see also Moreno, A. & Mossio, M. (2015). Biological
Autonomy: A Philosophical and Theoretical Enquiry. Springer.
↩︎
Cárdenas, M.L., Letelier, J.C., Gutierrez, C., Cornish-Bowden, A., &
Soto-Andrade, J. (2010). Closure to efficient causation,
computability and artificial life. Journal of Theoretical Biology,
263(1), 79–92. DOI: 10.1016/j.jtbi.2009.11.010. PubMed: 19962389.
↩︎
Hofstadter, D.R. (1979). Gödel, Escher, Bach: An Eternal Golden
Braid. Basic Books. Hofstadter, D.R. (2007). I Am a Strange Loop.
Basic Books. ↩︎
Westra, A. (2010). Gödel, Hofstadter, & the Self: A Critical Review
of Douglas Hofstadter's I Am a Strange Loop. Numéro Cinq, July
1, 2010.
https://numerocinqmagazine.com/2010/07/01/godel-hofstadter-the-self-an-essay-by-adam-westra/.
Nenu, T. (2022). Douglas Hofstadter's Gödelian Philosophy of Mind.
Journal of Artificial Intelligence and Consciousness, 9(2),
241–266. DOI: 10.1142/S2705078522500011.
↩︎↩︎
Scott-Phillips, T.C., Laland, K.N., Shuker, D.M., Dickins, T.E., &
West, S.A. (2014). The niche construction perspective: a critical
appraisal. Evolution, 68(5), 1231–1243. PMC: 4261998.
↩︎
Maynard Smith, J. & Szathmáry, E. (1995). The Major Transitions in
Evolution. Oxford University Press / W.H. Freeman. West, S.A.,
Fisher, R.M., Gardner, A., & Kiers, E.T. (2015). Major evolutionary
transitions in individuality. PNAS, 112(33), 10112–10119.
PMC: 4547252. Bourrat, P., Doulcier, G., Rose, C.J., Rainey, P.B., &
Hammerschmidt, K. (2022). Tradeoff breaking as a model of
evolutionary transitions in individuality and limits of the
fitness-decoupling metaphor. eLife, 11, e73715. DOI:
10.7554/eLife.73715. Banzhaf, W., et al. (2016). Defining and
simulating open-ended novelty: requirements, guidelines, and
challenges. Theory in Biosciences, 135(3), 131–161.
PubMed: 27194550. ↩︎↩︎↩︎↩︎
Fromhage, L. & Houston, A.I. (2022). Biological adaptation in light
of the Lewontin-Williams (a)symmetry. Evolution, 76(7), 1619–1624.
PMC: 9544502. DOI: 10.1111/evo.14502. Otsuka, J. (2019). The Role
of Mathematics in Evolutionary Theory. Cambridge University Press.
↩︎↩︎
Charlesworth, D., Barton, N.H., & Charlesworth, B. (2017). The
sources of adaptive variation. Proceedings of the Royal Society B,
284, 20162864. PubMed: 28566483. DOI: 10.1098/rspb.2016.2864.
↩︎
Lewontin, R.C. (2000). The Triple Helix: Gene, Organism, and
Environment. Harvard University Press. [library-only; near-quote
confirmed via PMC1083785 review article and multiple independent
secondary sources]
↩︎
Van Valen, L. (1973). A new evolutionary law. Evolutionary Theory,
1(1), 1–30. ↩︎
Antonovics, J., Thrall, P.H., Burdon, J.J., & Laine, A.L. (2011).
Partial resistance in the Linum–Melampsora host-pathogen system:
does partial resistance make the Red Queen run slower? Evolution,
65(2), 512–522. PMID: 21029078.
↩︎
Rosen, R. (1991). Life Itself: A Comprehensive Inquiry into the
Nature, Origin, and Fabrication of Life. Columbia University Press. —
The primary source for closure to efficient causation and
(M,R)-systems; the full formal argument the article engages with. Most
readers will not have encountered Rosen; this is the recommended first
follow-up.
Maturana, H.R. & Varela, F.J. (1980). Autopoiesis and Cognition: The
Realization of the Living. D. Reidel. — The foundational autopoiesis
text. The formal definition the article quotes derives from this
source; the book extends the argument to a general theory of
self-producing systems beyond cell biology.
Moreno, A. & Mossio, M. (2015). Biological Autonomy: A Philosophical
and Theoretical Enquiry. Springer. — The book-length development of
constraint closure; the most formal and most recent of the four prior
namings. A decade of specialist literature has absorbed it; a
cross-disciplinary audience has not.
Cárdenas, M.L., Letelier, J.C., Gutierrez, C., Cornish-Bowden, A., &
Soto-Andrade, J. (2010). Closure to efficient causation, computability
and artificial life. Journal of Theoretical Biology, 263(1), 79–92.
— The bridge paper. The published compatibilist position in the Rosen
computability debate; available open access at
hal.science/hal-00564468v1. Required reading for the formal strategy
at Level 1.
Hofstadter, D.R. (1979). Gödel, Escher, Bach: An Eternal Golden
Braid. Basic Books. — The starting point for the GEB-shaped reader;
the article moves beyond this text, but it remains the richest
exploration of strange loops for a general audience.
Dawkins, R. (1982). The Extended Phenotype: The Long Reach of the
Gene. Oxford University Press. Williams, G.C. (1966). Adaptation and
Natural Selection. Princeton University Press. — The historical
canonical statement of the gene-centered view and organism-environment
asymmetry. The article engages the contemporary technical defense
(Fromhage & Houston 2022) directly, but these texts are the
cultural-touchstone versions the target audience is likely to have
read.
