The Mathematical Analysis of Logic
E15466
The Mathematical Analysis of Logic is George Boole’s pioneering 1847 work that laid the foundations of symbolic logic and helped initiate the algebraic treatment of logical reasoning.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Mathematical Analysis of Logic canonical | 3 |
How this entity was disambiguated
This entity first appeared as the object of triple T124286 — 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: The Mathematical Analysis of Logic Context triple: [George Boole, notableWork, The Mathematical Analysis of Logic]
-
A.
Principia Mathematica
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.
-
B.
Science of Logic
Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
-
C.
A System of Logic
A System of Logic is John Stuart Mill’s influential 1843 philosophical treatise that systematically develops inductive logic and the empirical foundations of scientific reasoning.
-
D.
A Treatise on Probability
A Treatise on Probability is John Maynard Keynes’s influential 1921 work that develops a logical and philosophical theory of probability, challenging classical and frequency-based interpretations.
-
E.
On Computable Numbers with an Application to the Entscheidungsproblem
"On Computable Numbers, with an Application to the Entscheidungsproblem" is Alan Turing’s landmark 1936 paper that introduced the Turing machine model and founded the formal study of computability and the limits of algorithmic decision procedures.
- 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: The Mathematical Analysis of Logic Target entity description: The Mathematical Analysis of Logic is George Boole’s pioneering 1847 work that laid the foundations of symbolic logic and helped initiate the algebraic treatment of logical reasoning.
-
A.
Principia Mathematica
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.
-
B.
Science of Logic
Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
-
C.
A System of Logic
A System of Logic is John Stuart Mill’s influential 1843 philosophical treatise that systematically develops inductive logic and the empirical foundations of scientific reasoning.
-
D.
A Treatise on Probability
A Treatise on Probability is John Maynard Keynes’s influential 1921 work that develops a logical and philosophical theory of probability, challenging classical and frequency-based interpretations.
-
E.
On Computable Numbers with an Application to the Entscheidungsproblem
"On Computable Numbers, with an Application to the Entscheidungsproblem" is Alan Turing’s landmark 1936 paper that introduced the Turing machine model and founded the formal study of computability and the limits of algorithmic decision procedures.
- F. None of above. chosen
Statements (43)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic textbook ⓘ nonfiction book ⓘ |
| aimsTo |
apply mathematical analysis to logic
ⓘ
represent logical reasoning symbolically ⓘ |
| author | George Boole ⓘ |
| centuryOfPublication | 19th century ⓘ |
| countryOfOrigin | United Kingdom ⓘ |
| describedAs |
foundational work in algebraic logic
ⓘ
pioneering work in symbolic logic ⓘ |
| field |
logic
ⓘ
mathematics ⓘ philosophy of logic ⓘ |
| followedBy | An Investigation of the Laws of Thought ⓘ |
| hasAuthorOccupation |
logician
ⓘ
mathematician ⓘ |
| hasCanonicalStatus | classic work in the history of logic ⓘ |
| hasForm | treatise ⓘ |
| hasGenre | academic monograph ⓘ |
| hasInfluenceOn |
algebraic structures in logic
ⓘ
formalization of logical inference ⓘ symbolic representation of logical propositions ⓘ |
| historicalSignificance | early systematic presentation of algebraic logic ⓘ |
| influenced |
development of Boolean algebra
ⓘ
formal logic ⓘ modern mathematical logic ⓘ |
| isEarlyWorkOf | George Boole ⓘ |
| language | English ⓘ |
| laysFoundationFor |
algebraic treatment of logic
ⓘ
symbolic logic ⓘ |
| notableFor |
contributing to the emergence of Boolean algebra
ⓘ
early use of algebraic symbolism in logic ⓘ |
| precedes | An Investigation of the Laws of Thought ⓘ |
| publicationYear | 1847 ⓘ |
| relatedTo |
Boolean logic
ⓘ
classical logic ⓘ propositional logic ⓘ |
| subject |
Boolean algebra
ⓘ
algebra of logic ⓘ mathematical logic ⓘ symbolic logic ⓘ |
| timePeriod | Victorian era ⓘ |
| usesMethod | algebraic methods ⓘ |
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: The Mathematical Analysis of Logic Description of subject: The Mathematical Analysis of Logic is George Boole’s pioneering 1847 work that laid the foundations of symbolic logic and helped initiate the algebraic treatment of logical reasoning.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.