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.
All labels observed (13)
How this entity was disambiguated
This entity first appeared as the object of triple T32485 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Principia Mathematica Context triple: [Bertrand Russell, notableWork, Principia Mathematica]
-
A.
Syntactic Structures
Syntactic Structures is a landmark 1957 book by linguist Noam Chomsky that revolutionized the study of language by introducing generative grammar and challenging behaviorist views of linguistics.
-
B.
Aspects of the Theory of Syntax
Aspects of the Theory of Syntax is a seminal 1965 book by linguist Noam Chomsky that helped establish generative grammar as a central framework in theoretical linguistics.
-
C.
On the Origin of Species
On the Origin of Species is Charles Darwin’s groundbreaking 1859 scientific work that introduced the theory of evolution by natural selection and transformed modern biology.
-
D.
Mens et Manus
Mens et Manus is the Latin motto of the Massachusetts Institute of Technology, expressing the union of mind and hand in the pursuit of knowledge and practical application.
-
E.
Transactions of the American Philosophical Society
Transactions of the American Philosophical Society is a long-running scholarly journal that publishes monographic studies and research across a wide range of academic disciplines.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Principia Mathematica Target entity description: 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.
-
A.
Syntactic Structures
Syntactic Structures is a landmark 1957 book by linguist Noam Chomsky that revolutionized the study of language by introducing generative grammar and challenging behaviorist views of linguistics.
-
B.
Aspects of the Theory of Syntax
Aspects of the Theory of Syntax is a seminal 1965 book by linguist Noam Chomsky that helped establish generative grammar as a central framework in theoretical linguistics.
-
C.
On the Origin of Species
On the Origin of Species is Charles Darwin’s groundbreaking 1859 scientific work that introduced the theory of evolution by natural selection and transformed modern biology.
-
D.
Mens et Manus
Mens et Manus is the Latin motto of the Massachusetts Institute of Technology, expressing the union of mind and hand in the pursuit of knowledge and practical application.
-
E.
Transactions of the American Philosophical Society
Transactions of the American Philosophical Society is a long-running scholarly journal that publishes monographic studies and research across a wide range of academic disciplines.
- F. None of above. chosen
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
ⓘ
linked to:
Alfred North Whitehead
Bertrand Russell was principal author ⓘ
linked to:
Bertrand Russell
|
| 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
ⓘ
linked to:
Principia Mathematica
Volume II: cardinal arithmetic and relations ⓘ
linked to:
Principia Mathematica
Volume III: series, ordinals, and real numbers ⓘ
linked to:
Principia Mathematica
|
| 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 ⓘ
linked to:
Principia Mathematica
|
| secondVolumePublicationYear | 1912 ⓘ |
| status | classic of mathematical logic ⓘ |
| targetAudience | logicians and mathematicians ⓘ |
| thirdVolumePublicationYear | 1913 ⓘ |
| titleAlludesTo |
Newton’s Philosophiæ Naturalis Principia Mathematica
ⓘ
linked to:
Principia Mathematica
|
| uses | formal system of symbolic logic ⓘ |
| volumeCount | 3 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Principia Mathematica Description of subject: 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.
Referenced by (38)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Principia Mathematica
linked to: Principia Mathematica
linked to: Principia Mathematica
linked to: Principia Mathematica
linked to: Principia Mathematica
linked to: Principia Mathematica
linked to: Principia Mathematica
linked to: Principia Mathematica
subject linked to:
3rd Earl Russell
linked to: Principia Mathematica
linked to: Principia Mathematica
subject linked to:
J. C. Shaw implemented the program
linked to: Principia Mathematica
linked to: Principia Mathematica