Typos ofPrincipia Mathematica
Gregory Landini · History and Philosophy of Logic · 2013
Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surprising results emerge – which is the subject of this paper.