A reassessment of George Boole's theory of logic.

George Boole’s theory of logic has not fared well at the hands of the commentators who have written about it, whether they be his successors in logic itself, or historians of the subject. While there is general agreement that his work occupies an important place in the history of logic, the exact nature of that importance remains elusive. On the one hand, he has been called the originator of mathematical logic,1 but on the other, that claim has been pointedly disputed.2 On the one hand, his logic does differ significantly from traditional syllogistic logic, and for this he has been applauded.3 But on the other, Frege’s introduction of quantification theory forms such a complete barrier between paleo- and neologic that any lasting influence from Boole’s work, if it is there at all, seems permanently obscured.