Symbolic logic
In 1847 George Boole published the pamphlet Mathematical Analysis of Logic. He later regarded it as a flawed exposition of his logical system, and wanted An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities to be seen as the mature statement of his views. This second book of Boole's contained Boolean algebra. Boolean logic is credited with laying the foundations for the information age. Boole maintained that:
"No general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognise, not only the special numerical bases of the science, but also those universal laws of thought which are the basis of all reasoning, and which, whatever they may be as to their essence, are at least mathematical as to their form."
Boole was working on the main principles of Aristotle's logic and contrary to widespread belief, Boole never intended to criticise or disagree with Aristotle's logic. Rather he intended to systematise it, to provide it with a foundation, and to extend its range of applicability.




