nLab Principia Mathematica

For Newton‘s Philosophiæ naturalis principia mathematica see there.

---

This page collects material related to

• Bertrand Russell, Alfred Whitehead

  
  

  Principia Mathematica

  
  

  (1910, 1927)

  ISBN:9780521067911

  pdf

an early account aiming to lay foundations of mathematics via formal logic.

Among other things, this book, inspired by work of Gottlob Frege (such as in following his notion of judgement, see there), introduces concepts of typing, called the “extensional hierarchy of type” to prevent paradoxes of set theory such as Russell's paradox, and a “ramified hierarchy of types”, in order to avoid paradoxes such as the liar's paradox. (See also SEP – Type theory).

References

• Wikipedia, Principia Mathematica

• Stanford Encyclopedia, Principia Mathematica

category: reference