The formal darwinism project in outline

The formal darwinism project aims to provide a mathematical framework within which important fundamental ideas in large parts of biology can be articulated, including Darwin's central argument in The Origin (that mechanical processes of inheritance and reproduction can give rise to the appearance of design), modern extensions of evolutionary theory including ESS theory and inclusive fitness, and Dawkins' synthesis of them into a single structure. A new kind of argument is required to link equations of motion on the one hand to optimisation programs on the other, and a major point is that the biologist's concept of fitness maximisation is not represented by concepts from dynamical systems such as Lyapunov functions and gradient functions. The progress of the project so far is reviewed, though with only a brief glance at the rather complicated mathematics itself, and the centrality of fitness maximisation ideas to many areas of biology is emphasised.