The Mathematical Analysis of Logic

work by Boole

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

June 30, 2026

Quick Summary

George Boole's 1847 work, The Mathematical Analysis of Logic, introduced a system of symbolic logic that represents relationships between ideas or objects. This system, now known as Boolean algebra, uses two values, typically true (1) and false (0), and operates with logical AND and OR. Boole's algebra of logic was a foundational step in modern symbolic logic and is crucial for the design of circuits in digital computers. His work bridged the gap between traditional logic and mathematical principles, laying the groundwork for advancements in various fields, including probability and set theory.1234

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

5 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

history of logic
Boole and De Morgan
Boole published two major works, The Mathematical Analysis of Logic in 1847 and An Investigation of the Laws of Thought in 1854. It was the first of these two works that had the deeper impact on his contemporaries and on the history of logic. The Mathematical Analysis of Logic arose…
Read More
Boole published two major works, The Mathematical Analysis of Logic in 1847 and An Investigation of the Laws of Thought in 1854. It was the first of these two works that had the deeper impact on his contemporaries and on the history of logic. The Mathematical Analysis of Logic arose…
Read More