“Boole’s system of logic is but one of many proofs of genius and patience combined. … That the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish …