To deduce the laws of the symbols of Logic from a consideration of those operations of the mind which are implied in the strict use of language as an… - George Boole

The scepticism of the ancient world left no department of human belief unassailed. It took its chief stand upon the conflicting nature of the impressions of the senses, but threw the dark shade of uncertainty over the most settled convictions of the mind; over men's belief in an external world, over their consciousness of their own existence. But this form of doubt was not destined to endure. Science, in removing the contradictions of sense, and establishing the consistent uniformity of natural law, took away the main pillars of its support. The spirit, however, and the mental habits of which it was the product, still survive; but not among the votaries of science. For I cannot but regard it as the same spirit which, with whatever profession of zeal, and for whatever ends of supposed piety or obedience, strives to subvert the natural evidences of morals, - the existence of a Supreme Intelligent Cause. There is a scepticism which repudiates all belief; there is also a scepticism which seeks to escape from itself by a total abnegation of the understanding, and which, in the pride of its new-found security, would recklessly destroy every internal ground of human trust and hope... Now to this, as to a former development of the sceptical spirit, Science stands in implied but real antagonism.

Let us conceive, then, of an algebra in which the symbols x, y z etc. admit indifferently of the values 0 and 1, and of these values alone The laws, the axioms, and the processes, of such an Algebra will be identical in their whole extend with the laws, the axioms, and the processes of an Algebra of Logic. Difference of interpretation will alone divide them. Upon this principle the method of the following work is established.

There is not only a close analogy between the operations of the mind in general reasoning and its operations in the particular science of Algebra, but there is to a considerable extent an exact agreement in the laws by which the two classes of operations are conducted.