Linked from

The 17 pages that link to George Boole, each with the reason it gives.

• Boolean algebraRelated: His work introduced the algebraic approach from which Boolean algebra developed.

• Propositional logicRelated: Boole helped establish the algebraic approach underlying modern propositional systems.

• Classical logicRelated: His algebra helped transform logic into a symbolic mathematical discipline.

• Gottlob FregeRelated: Boole helped establish mathematical logic before Frege recast it around quantification and relations.

• Binary numeral systemRelated: Boolean logic later gave binary states a powerful framework for computation.

• Arthur CayleyRelated: Boole shared Cayley’s generation of British mathematicians and helped transform algebra into a more abstract discipline.

• Digital logicRelated: His algebra supplied the mathematical language later used to design digital circuits.

• William Stanley JevonsRelated: Boole’s algebra inspired Jevons’s efforts to formalize logical reasoning.

• Modus tollensRelated: Boole’s formalization helped shape the symbolic logic in which inference rules are expressed.

• LogicRelated: Boole represented logical operations algebraically, linking logic with mathematics.

• Augustus De MorganRelated: Boole and De Morgan developed symbolic logic in overlapping, influential work.

• History of logicRelated: His work helped establish symbolic logic as a mathematical discipline.

• Symbolic logicRelated: His algebra of logic helped establish the use of symbols for formal reasoning.

• Formal fallacyRelated: Boolean algebra helped shift the analysis of inference toward symbolic forms.

• De Morgan's lawsRelated: Boole's algebra gave the identities a systematic algebraic setting.

• Boole's expansion theoremRelated: His algebraic treatment of logic gives the theorem its name.

• Boole's inequalityRelated: The inequality bears his name, though its modern probability formulation is a general measure-theoretic fact.