George Boole's deductive system (Q1049691)

The paper is devoted to the elucidation of two components of Boole's system from his \textit{Laws of Thought}, i.e., proto-Boolean algebras and a ``general method in logic'' making use of that algebra. Boole's principal results are proved and some conclusions not explicit in \textit{Laws of Thought} are drawn. Some examples of incoherence in this work are discussed as well. In comparison with Hailperin's study from \textit{Boole's Logic and Probability}, the author makes direct use of the polynomials native to \textit{Laws of Thought} rather than appealing to formalisms such as multisets and rings.