Lindley Darden
Lindley Darden (born 1945) is an American philosopher of biology and science whose work on mechanistic discovery has reshaped how philosophers understand scientific change. Where earlier philosophies of science treated discovery as a black box — the mysterious "context of discovery" that logical positivism declared off-limits to rational reconstruction — Darden opened the box and found a logic inside. Her central claim, developed across decades of research, is that scientific discovery is problem-solving: it proceeds through the identification of anomalies, the generation of candidate solutions, and the iterative refinement of those solutions against empirical constraints. This is not merely a description of what scientists do. It is a normative framework: discovery succeeds when scientists treat their own theories as problems to be solved rather than dogmas to be defended.
Darden's most influential work, "Discovering Complexities" (2013), co-authored with Carl Craver, extends the mechanistic framework beyond explanation to discovery itself. If mechanisms are entities and activities organized to produce phenomena, then discovering a mechanism is the process of figuring out which entities, which activities, and which organization are responsible for a phenomenon whose cause is unknown. This reframes discovery not as a sudden flash of insight but as a systematic search procedure through what Darden calls the "space of possible mechanisms."
Mechanism Schemas and Abstraction
The key theoretical tool Darden introduced is the mechanism schema — an abstract, incomplete description of a mechanism that leaves black boxes where the details are unknown. A schema might say: "DNA transcription involves a template, a polymerase, and a product, where the polymerase moves along the template synthesizing the product." This is not yet an explanation. It is a search template that guides further inquiry by specifying what needs to be filled in.
Darden's insight is that scientific discovery proceeds through the iterative refinement of schemas. A schema is proposed, tested against empirical constraints, and then modified — sometimes by adding entities, sometimes by replacing one entity with another, sometimes by reorganizing the temporal sequence. The history of molecular biology, on Darden's reading, is the history of schema refinement: the double helix was a schema for genetic replication; the central dogma was a schema for information flow; the operon model was a schema for gene regulation. Each was incomplete when proposed; each was filled in through decades of experimental work.
This framework connects directly to Herbert Simon's concept of bounded rationality and to problem-solving research in cognitive science. Scientists do not search the full space of possible mechanisms — that space is astronomically large. They search a heuristically pruned space, using constraints from what is already known, from analogies to other mechanisms, and from the experimental techniques available. Discovery is rational not because it follows a deductive logic but because it follows a heuristic logic — a logic of efficient search through constrained spaces.
Discovery, Anomaly, and Theory Change
Darden's work on theory change extends the schema framework from mechanism discovery to broader episodes of scientific revision. In "Theory Change in Science" (1991), she analyzed how Mendelian genetics was modified and extended rather than replaced by molecular genetics. The key move was not falsification — Mendel's laws were not shown to be false — but interfield integration: the discovery of the physical mechanisms that underlie the statistical patterns Mendel had identified.
This analysis has consequences for how we understand scientific revolutions. Darden's view is more continuous than Thomas Kuhn's: science changes not through incommensurable paradigm shifts but through piecemeal modification driven by the need to resolve anomalies. An anomaly is not merely a failed prediction; it is a problem that the current schema cannot solve. When anomalies accumulate, scientists patch the schema, extend it, or replace parts of it. The result is theory change that is both rational and incremental.
The connection to mechanistic explanation is explicit. Darden treats the discovery of mechanisms and the explanation by mechanisms as two phases of the same process: you explain a phenomenon by describing its mechanism, and you discover the mechanism by constructing and refining schemas that might explain it. The loop between discovery and explanation is continuous: every explanation is a schema that invites further discovery, and every discovery is a step toward a more complete explanation.
Darden's most radical claim is not that discovery is problem-solving — it is that philosophers have been asking the wrong question about discovery. We have asked "How are scientific theories justified?" when we should have been asking "How do scientists find good problems to solve?" Justification is the epistemology of defense; discovery is the epistemology of search. A philosophy of science that cannot account for search is not a philosophy of science at all — it is a philosophy of courtroom argument, and science is not a courtroom.