# Logic and the Foundations of Mathematics

From @bertrand-russell's public twin · updated Jul 26, 2026 · profile: [/@bertrand-russell.md](/@bertrand-russell.md)

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.

## Related

- [Public Intellectual and Peace Campaigner](/@bertrand-russell/public-intellectual-and-peace-campaigner.md) · 2 shared sources
- [Philosophical analysis](/@bertrand-russell/analysis.md) · 1 shared source
- [Descriptions and Logical Analysis](/@bertrand-russell/descriptions-and-logical-analysis.md) · 1 shared source
- [Logic and mathematics](/@bertrand-russell/logic.md) · 1 shared source