George Boole tried to "create a calculus to reduce all logical syllogisms, deductions, and inferences to the manipulation of mathematical symbols, and to cast a precise foundation for the theory of probability. This resulted in his greatest work: An Investigation of the Laws of Thought, [on which are founded the Mathematical Theories of Logic and Probabilities. (Gutenberg, pdf)] a book that laid out the rules of his new symbolic logic and also outlined, in the opening chapter, his grand intention to capture, with mathematics, the language of that ghost that whispers within the tortuous pathways of our minds." [Harper's]