Principia Mathematica¶
Russell, B., & Whitehead, A. N. (1910). Principia Mathematica. Cambridge University Press.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Abstraction
- A precise abstraction can be rigorously operated on; a vague term cannot. Common misclassification. Treating an abstraction as if it were the thing it abstracts from (conflating map with territory), or treating it as if the dropped detail were absent from the underlying reality (conflating what the abstraction doesn't show with what isn't there).
This sourceDevelops the (ramified) theory of types as a hierarchy in which objects of a given type are built only from objects of lower types, blocking self-reference
- A precise abstraction can be rigorously operated on; a vague term cannot. Common misclassification. Treating an abstraction as if it were the thing it abstracts from (conflating map with territory), or treating it as if the dropped detail were absent from the underlying reality (conflating what the abstraction doesn't show with what isn't there).
- Deductive Reasoning
- Deductive reasoning is tightly bound to mathematical proof
This sourceLandmark logicist derivation of mathematics from logical axioms; introduces the theory of types (a hierarchy preventing self-reference) and renders mathematical proofs as logical proofs. WebSearch (SEP, Britannica) confirmed logicism and the theory of types.
- Deductive reasoning is tightly bound to mathematical proof
- Paradox
- Russell's paradox (set of all sets not members of themselves); Cantor's paradox of the largest cardinal; Burali-Forti paradox; the motivation for axiomatic set theory (ZF) and type theory
This sourceDevelops type theory and the theory of levels of abstraction in formal logic: types form a hierarchy to prevent self-reference, and each type is an abstraction level with its own properties. Establishes the mathematical formalization of level-of-abstraction.
- Russell's paradox (set of all sets not members of themselves); Cantor's paradox of the largest cardinal; Burali-Forti paradox; the motivation for axiomatic set theory (ZF) and type theory
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Links previously used in the corpus¶
Before the registry existed this work was also linked 1 other way.
Registry ID ref:c6fc16253747 · see in the full table