George Boole, the father of Boolean algebra, published An Investigation of the Laws of Thought, a seminal work on algebraic logic, in 1854. In this investigation of the fundamental laws of human reasoning, Boole uses the symbolic language of mathematics to examine the nature of the human mind.


"The design of the following treatise is to investigate the fundamental laws of those operations of the mind by which reasoning is performed; to give expression to them in the symbolical language of a Calculus, and upon this foundation to establish the science of Logic and construct its method; to make that method itself the basis of a general method for the application of the mathematical doctrine of Probabilities; and, finally, to collect from the various elements of truth brought to view in the course of these inquiries some probable intimations concerning the nature and constitution of the human mind." - George Boole, quoted from book contents.