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)
Unlimited Quote Collections
Organize your favorite quotes without limits. Create themed collections for every occasion with Premium.
I presume that few who have paid any attention to the history of the Mathematical Analysis, will doubt that it has been developed in a certain order, or that that order has been, to a great extent, necessary -- being determined, either by steps of logical deduction, or by the successive introduction of new ideas and conceptions, when the time for their evolution had arrived.
I have endeavoured, in the following treatise, to convey as complete an account of the present state of knowledge on the subject of Differential Equations, as was consistent with the idea of a work intended, primarily, for elementary instruction. It was my object, first of all, to meet the wants of those who had no previous acquaintance with the subject, but I also desired not quite to disappoint others who might seek for more v advanced information. These distinct, but not inconsistent - aims determined the plan of composition.
It has been said, that the principle involved in the above and in similar applications is that of the equal distribution of our knowledge, or rather of our ignorance the assigning to different states of things of which we know nothing, and upon the very ground that we know nothing, equal degrees of probability. I apprehend, however, that this is an arbitrary method of procedure. Instances may occur, and one such has been adduced, in which different hypotheses lead to the same final conclusion.
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.
Unlimited Quote Collections
Organize your favorite quotes without limits. Create themed collections for every occasion with Premium.
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 x represent an act of the mind by which we fix our regard upon that portion of time for which the proposition X is true ; and let this meaning be understood when it is asserted that x denote the time for which the proposition X is true. (. . .) We shall term x the representative symbol of the proposition X.
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.
The above interpretation has been introduced, not on account of its immediate value in the present system, but as an illustration of a significant fact in the philosophy of the intellectual powers, viz., that what has commonly been regarded as the fundamental axiom of metaphysics is but the consequence of a law of thought, mathematical in its form.