The biology of logic; 2. Radical reductionism in logic; 11. Toward a unified science of reason; Appendix: formal theory. He examines the connections between logic and evolutionary biology and illustrates how logical rules are derived directly from evolutionary principles, and therefore, have no independent status of their own.