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.
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
→
|
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
George Boole
→
|
notableWork |
|
An Investigation of the Laws of Thought
→
|
precededBy |
|
An Investigation of the Laws of Thought
→
|
relatedWork |