Mayr’s proximate–ultimate distinction has received renewed interest in recent years. Here we discuss its role in arguments about the relevance of developmental to evolutionary biology. We show that two recent critiques of the proximate–ultimate distinction fail to explain why developmental processes in particular should be of interest to evolutionary biologists. We trace these failures to a common problem: both critiques take the proximate–ultimate distinction to neglect specific causal interactions in nature. We argue that this is implausible, and that the distinction (...) should instead be understood in the context of explanatory abstractions in complete causal models of evolutionary change. Once the debate is reframed in this way, the proximate–ultimate distinction’s role in arguments against the theoretical significance of evo-devo is seen to rely on a generally implicit premise: that the variation produced by development is abundant, small and undirected. We show that a “lean version” of the proximate–ultimate distinction can be maintained even when this isotropy assumption does not hold. Finally, we connect these considerations to biological practice. We show that the investigation of developmental constraints in evolutionary transitions has long relied on a methodology which foregrounds the explanatory role of developmental processes. It is, however, entirely compatible with the lean version of the proximate–ultimate distinction. (shrink)

Biological modalities (e.g., biological possibility, necessity and counterfactuality) play an important explanatory role in biological practice. However, biological modalities lack truth conditions and the inferential relationship between biological and other modalities is unclear. This thesis addresses these problems, first, by improving upon Daniel Dennett's Library of Mendel. Second, a family of modal logics is introduced. In the simplest model, states are interpreted as codons, the binary relation is interpreted as single substitution mutation and the valuation induces a partition of blocks (...) of codons that code for some amino acid. In addition, the proposed framework allows for a grading of biological possibility and captures various competing notions of biological possibility. Applications include a model checker and a lawless Lewis-style semantics for biological counterfactuals. In short, this thesis lays the groundwork for a theory of biological modalities. (shrink)