George Boole (1815-1864) was a self-taught Englishman. His works The Mathematical Analysis of Logic (1847) and Investigation of the Laws of Thought (1854) stressed that logic should be associated with mathematics (rather than metaphysics), both disciplines being formal systems of symbols, axioms and rules of inference.