Principia Mathematica
E2507
Principia Mathematica is a landmark three-volume work in mathematical logic and the foundations of mathematics, co-authored by Bertrand Russell and Alfred North Whitehead, which aimed to derive all mathematical truths from a formal system of symbolic logic.
Aliases (9)
- "Principia Mathematica" ×1
- Newton’s Philosophiæ Naturalis Principia Mathematica ×1
- Part V: Infinity and Continuity ×1
- Philosophiæ Naturalis Principia Mathematica ×1
- Russell’s The Principles of Mathematics ×1
- The Principles of Mathematics ×1
- Volume I: logical foundations and propositional logic ×1
- Volume II: cardinal arithmetic and relations ×1
- Volume III: series, ordinals, and real numbers ×1
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
foundational work in mathematics
→
mathematical logic treatise → three-volume work → |
| abbreviation |
PM
→
|
| addressesProblem |
set-theoretic paradoxes
→
|
| aim |
to derive mathematics from symbolic logic
→
|
| author |
Alfred North Whitehead
→
Bertrand Russell → |
| coAuthorRole |
Alfred North Whitehead was co-author and collaborator
→
Bertrand Russell was principal author → |
| contains |
axioms of logic
→
derivations of arithmetic theorems → rules of inference → |
| countryOfPublication |
United Kingdom
→
|
| demonstrates |
derivation of 1+1=2 after many pages of formal proof
→
|
| era |
early 20th century
→
|
| field |
foundations of mathematics
→
mathematical logic → |
| firstVolumePublicationYear |
1910
→
|
| hasEdition |
abridged edition with introduction by Bertrand Russell
→
|
| hasGenre |
academic monograph
→
|
| hasPart |
Volume I: logical foundations and propositional logic
→
Volume II: cardinal arithmetic and relations → Volume III: series, ordinals, and real numbers → |
| historicalSignificance |
major milestone in formalization of mathematics
→
|
| impact |
inspired later work by Kurt Gödel
→
|
| influenced |
analytic philosophy
→
logical positivism → proof theory → set theory → type theory → |
| influencedBy |
Gottlob Frege
→
Peano notation → logicism → |
| language |
English
→
|
| logicSystem |
ramified theory of types
→
|
| notableFor |
attempt to base all of mathematics on logic
→
development of ramified type theory → formalization of large parts of arithmetic → |
| philosophicalPosition |
logicism about mathematics
→
|
| publisher |
Cambridge University Press
→
|
| relatedWork |
Principia Ethica
→
Russell’s The Principles of Mathematics → |
| secondVolumePublicationYear |
1912
→
|
| status |
classic of mathematical logic
→
|
| targetAudience |
logicians and mathematicians
→
|
| thirdVolumePublicationYear |
1913
→
|
| titleAlludesTo |
Newton’s Philosophiæ Naturalis Principia Mathematica
→
|
| uses |
formal system of symbolic logic
→
|
| volumeCount |
3
→
|