“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

Source: 1850s, An Investigation of the Laws of Thought (1854), p. 1; Ch. 1. Nature And Design Of This Work, lead paragraph

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "The design of the following treatise is to investigate the fundamental laws of those operations of the mind by which re…" by George Boole?

George Boole 39

English mathematician, philosopher and logician 1815–1864

Related quotes

“The following work is not a republication of a former treatise by the Author, entitled, "The Mathematical Analysis of Logic." Its earlier portion is indeed devoted to the same object, and it begins by establishing the same system of fundamental laws, but its methods are more general, and its range of applications far wider. It exhibits the results, matured by some years of study and reflection, of a principle of investigation relating to the intellectual operations, the previous exposition of which was written within a few weeks after its idea had been conceived.”

George Boole (1815–1864) English mathematician, philosopher and logician

Source: 1850s, An Investigation of the Laws of Thought (1854), p. i; Preface, lead paragraph

“In this chapter I shall collect those Theorems in the Differential Calculus which, depending only on the laws of combination of the symbols of differentiation, and not on the functions which are operated on by these symbols, may be proved by the method of the separation of the symbols : but as the principles of this method have not as yet found a place in the elementary works on the Calculus, I shall first state? briefly the theory on which it is founded.”

Duncan Gregory (1813–1844) British mathematician

Source: Examples of the processes of the differential and integral calculus, (1841), p. 237; Lead paragraph of Ch. XV, On General Theorems in the Differential Calculus,; Cited in: James Gasser (2000) A Boole Anthology: Recent and Classical Studies in the Logic of George Boole,, p. 52

“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.”

George Boole (1815–1864) English mathematician, philosopher and logician

George Boole, " Solution of a Question in the Theory of Probabilities http://books.google.nl/books?id=9xtDAQAAIAAJ&pg=PA32" (30 November 1853) published in The London, Edinburgh and Dublin Philosophical Magazine and Journal of Science‬‎ (January 1854), p. 32
1850s

“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 instrument of reasoning.”

George Boole (1815–1864) English mathematician, philosopher and logician

Source: 1850s, An Investigation of the Laws of Thought (1854), p. 42

“If there is ever a science of programming language design, it will probably consist largely of matching languages to the design methods they support.”

Robert Floyd (1936–2001) American computer scientist

The Paradigms of Programming (1979)

“Only an unashamed dogmatist would dare to assert that the issue has finally been resolved now, in favor of the view that, outside logic or mathematics, the method of modern science is the only method to employ in seeking knowledge. The dogmatist who made this assertion would have to be more than ashamed. He would have to blind himself to the fact that his own assertion was not established by the experimental method, nor made as an indisputable conclusion of mathematical reasoning or of purely logical analysis.”

Robert Maynard Hutchins (1899–1977) philosopher and university president

Great Books: The Foundation of a Liberal Education (1954)

“Pure mathematics proves itself a royal science both through its content and form, which contains within itself the cause of its being and its methods of proof. For in complete independence mathematics creates for itself the object of which it treats, its magnitudes and laws, its formulas and symbols.”

Christian Heinrich von Dillmann (1829–1899) German educationist

Source: Die Mathematik die Fackelträgerin einer neuen Zeit (Stuttgart, 1889), p. 94.

“The truth is that the mathematical sciences are growing in complete security and harmony. The ideas of Dedekind, Poincare, and Hilbert have been systematically developed with great success, without any conflict in the results. It is only from the philosophical point of view that objections have been raised. They bear on certain ways of reasoning peculiar to analysis and set theory. These modes of reasoning were first systematically applied in giving a rigorous form to the methods of the calculus. [According to them, ] the objects of a theory are viewed as elements of a totality such that one can reason as follows: For each property expressible using the notions of the theory, it is [an] objectively determinate [fact] whether there is or there is not an element of the totality which possesses this property. Similarly, it follows from this point of view that either all the elements of a set possess a given property, or there is at least one element which does not possess it”

Paul Bernays (1888–1977) Swiss mathematician

Paul Bernays, Platonism in mathematics http://sites.google.com/site/ancientaroma2/book_platonism.pdf (1935)

“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,”

George Boole (1815–1864) English mathematician, philosopher and logician

Source: 1840s, The Mathematical Analysis of Logic, 1847, p. iii
Context: 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.

“We tend to believe the premises because we can see that their consequences are true, instead of believing the consequences because we know the premises to be true. But the inferring of premises from consequences is the essence of induction; thus the method in investigating the principles of mathematics is really an inductive method, and is substantially the same as the method of discovering general laws in any other science.”

Bertrand Russell (1872–1970) logician, one of the first analytic philosophers and political activist

"The Regressive Method of Discovering the Premises of Mathematics" (1907), in Essays in Analysis (1973), pp. 273–274
1900s

Help us to complete the source, original and additional information

George Boole 39

Related quotes

Related topics