English mathematician, philosopher and logician (1815–1864)
George Boole (2 November 1815 – 8 December 1864) was an English mathematician, logician and philosopher. As the inventor of Boolean logic, which is the basis of modern digital computer logic, he is regarded in hindsight as one of the founders of the field of computer science.
From: Wikiquote (CC BY-SA 4.0)
Showing quotes in randomized order to avoid selection bias. Click Popular for most popular quotes.
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.
Limited Time Offer
Premium members can get their quote collection automatically imported into their Quotewise collections.
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.
In presenting this Work to public notice, I deem it not irrelevant to observe, that speculations similar to those which it records have, at different periods, occupied my thoughts. In the spring of the present year my attention was directed to the question then moved between Sir W. Hamilton and Professor De Morgan; and I was induced by the interest which it inspired, to resume the almost-forgotten thread of former inquiries. It appeared to me that, although Logic might be viewed with reference to the idea of quantity, it had also another and a deeper system of relations. If it was lawful to regard it from without, as connecting itself through the medium of Number with the intuitions of Space and Time, it was lawful also to regard it from within, as based upon facts of another order which have their abode in the constitution of the Mind. The results of this view, and of the inquiries which it suggested, are embodied in the following Treatise.
I am now about to set seriously to work upon preparing for the press an account of my theory of Logic and Probabilities which in its present state I look upon as the most valuable if not the only valuable contribution that I have made or am likely to make to Science and the thing by which I would desire if at all to be remembered hereafter.
It is not possible, I think, to rise from the perusal of the arguments of Clark and Spinoza without a deep conviction of the futility of all endeavors to establish, entirely à priori, the existence of an Infinite Being, His attributes, and His relation to the universe. The fundamental principle of all such speculations, viz. that whatever we can clearly conceive, must exist, fails to accomplish its end, even when its truth is admitted. For how shall the finite comprehend the infinite? Yet must the possibility of such conception be granted, and in something more than the sense of a mere withdrawal of the limits of phænomal existence, before any solid ground can be established for the knowledge, à priori, of things infinite and eternal.
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.
To infer the existence of an intelligent cause from the teeming evidences of surrounding design, to rise to the conception of a moral Governor of the world, from the study of the constitution and the moral provisions of our own nature; - these, though but the feeble steps of an understanding limited in its faculties and its materials of knowledge, are of more avail than the ambitious attempt to arrive at a certainty unattainable on the ground of natural religion. And as these were the most ancient, so are they still the most solid foundations, Revelation being set apart, of the belief that the course of this world is not abandoned to chance and inexorable fate.
That to the existing forms of Analysis a quantitative interpretation is assigned, is the result of the circumstances by which those forms were determined, and is not to be construed into a universal condition of Analysis. It is upon the foundation of this general principle, that I purpose to establish the Calculus of Logic, and that I claim for it a place among the acknowledged forms of Mathematical Analysis, regardless that in its object and in its instruments it must at present stand alone.
THEY who are acquainted with the present state of the theory of Symbolical Algebra, are aware, that the validity of the processes of analysis does not depend upon the interpretation of the symbols which are employed, but solely upon the laws of their combination. Every system of interpretation which does not affect the truth of the relations supposed, is equally admissible, and it is thus that the same process may, under one scheme of interpretation, represent the solution of a question on the properties of numbers, under another, that of a geometrical problem, and under a third, that of a problem of dynamics or optics. This principle is indeed of fundamental importance ; and it may with safety be affirmed, that the recent advances of pure analysis have been much assisted by the influence which it has exerted in directing the current of investigation.
I am fully assured, that no general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognize, 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.