Boole is Cool
(c) IrishPhilosophy (CC BY-NC-SA 2.0)
Mathematician and logician George Boole died 150 years ago today, on 8th December, 1864. Today also marks the start of the year-long schedule of events UCC are running to commemorate Boole, culminating in the bicentenary of his birth on 2nd November 2015 (see GeorgeBoole.com for more).
George Boole was born in Lincoln, the eldest son in a family of modest means. For details of his life as a self-taught mathematician to first professor in UCC (then Queens College Cork) in 1849, where he lived until his death see the detailed biography here.
Boole had a large impact on mathematics, providing the basis for invariant theory, and working on differential and difference equations, and probability. Developments of his work such as set theory and boolean algebra are taught to school children today.
However, of most interest philosophically are The Mathematical Analysis of Logic, and its successor An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities published in 1854. These proposed that ideas expressed in language can be expressed in algebraic form. This combination of philosophical logic and algebra, as DeMorgan said “would not have been believed until it was proved.”