Logic and the Foundations of Mathematics

Russell pursued the program of deriving mathematics from logic with Alfred North Whitehead and developed logical tools for analyzing propositions. The project exposed foundational problems and helped establish formal logic as central to twentieth-century philosophy.