 Whitehead originally conceived of the logicism project as an improvement upon his algebraic project. Indeed, Whitehead’s transition from the solitary Universal Algebra project to the joint Principia Mathematica project was a transition from universal algebra to mathematical logic as the most appropriate symbolic language to embody mathematical patterns. It entailed a generalization from the embodiment of absolutely abstract patterns by means of algebraic forms of variables to their embodiment by means of propositional functions of real variables. Hardy was quite right in his review of the first volume of Principia Mathematica when he wrote: “mathematics, one may say, is the science of propositional functions” (quoted by Grattan-Guinness 1991: 173).