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

— George Boole

Source: 1850s, An Investigation of the Laws of Thought (1854), p. 37; Cited in: William Torrey Harris (1879) The Journal of Speculative Philosophy, p. 109

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 "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…" by George Boole?

George Boole photo

George Boole39

English mathematician, philosopher and logician 1815–1864

Related quotes

“Symbolical algebra adopts the rules of arithmetical algebra, but removes altogether their restrictions: thus symbolical subtraction differs from the same operation in arithmetical algebra in being possible for all relations of value of the symbols or expressions employed… all the results of arithmetical algebra which are deduced by the application of its rules, and which are general in form, though particular in value, are results likewise of symbolical algebra, where they are general in value as well as in form: thus the product of a^{m} and a^{n}, which is a^{m+n} when m and n are whole numbers, and therefore general in form though particular in value, will be their product likewise when m and n are general in value as well as in form: the series for (a+b)^{n}, determined by the principles of arithmetical algebra, when n is any whole number, if it be exhibited in a general form, without reference to a final term, may be shewn, upon the same principle, to the equivalent series for (a+b)^n, when n is general both in form and value.”

George Peacock (1791–1858) Scottish mathematician

Vol. I: Arithmetical Algebra Preface, p. vi-vii
A Treatise on Algebra (1842)

“In addition, the teaching of theories from axioms, or some close imitation of them such as the basic laws of an algebra, is usually an educational disaster.”

Ivor Grattan-Guinness (1941–2014) Historian of mathematics and logic

Source: The Rainbow of Mathematics: A History of the Mathematical Sciences (2000), p. 739.

“This principle, which is thus made the foundation of the operations and results of Symbolical Algebra, has been called "The principle of the permanence of equivalent forms", and may be stated as follows:
"Whatever algebraical forms are equivalent, when the symbols are general in form but specific in value, will be equivalent likewise when the symbols are general in value as well as in form."”

George Peacock (1791–1858) Scottish mathematician

Vol. II: On Symbolical Algebra and its Applications to the Geometry of Position (1845) Ch. XV, p. 59
A Treatise on Algebra (1842)

“[M]y axiom runs as follows: "The whole is not identical with a part." This axiom leads us at once to a problem. What relation has the part to the whole?”

Karl Pearson (1857–1936) English mathematician and biometrician

The Ethic of Freethought (Mar 6, 1883)

“I have separated arithmetical from symbolical algebra, and I have devoted the present volume entirely to the exposition of the principles of the former science and their application to the theory of numbers and of arithmetical processes: the second volume, which is now in the press, will embrace the principles of symbolical algebra: it will be followed, if other and higher duties should allow me the leisure to complete them, by other works, embracing all the more important departments of analysis, with the view of presenting their principles in such a form, as may make them component parts of one uniform and connected system.”

George Peacock (1791–1858) Scottish mathematician

Vol. I: Arithmetical Algebra Preface, p. iii
A Treatise on Algebra (1842)

“When we speak of the early history of algebra it is necessary to consider… the meaning of the term. If… we mean the science that allows us to solve the equation ax^2 + bx + c = 0, expressed in these symbols, then the history begins in the 17th century; if we remove the restriction as to these particular signs, and allow for other and less convenient symbols, we might properly begin the history in the 3rd century; if we allow for the solution of the above equation by geometric methods, without algebraic symbols of any kind, we might say that algebra begins with the Alexandrian School or a little earlier; and if we say that we should class as algebra any problem that we should now solve with algebra (even though it was as first solved by mere guessing or by some cumbersome arithmetic process), the the science was known about 1800 B. C., and probably still earlier.<”

David Eugene Smith (1860–1944) American mathematician

Source: History of Mathematics (1925) Vol.2, Ch. 6: Algebra, p. 378

“The unnaturalness of mathematical symbolism is attested to by history. The algebra of the Egyptians, the Babylonians, the Greeks, the Hindus, and the Arabs was what is commonly called rhetorical algebra. …on the whole they used ordinary rhetoric to describe their mathematical work. Symbolism is a relatively modern invention of the sixteenth and seventeenth centuries…”

Morris Kline (1908–1992) American mathematician

Source: Mathematics and the Physical World (1959), p. 59

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

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

Source: 1840s, The Mathematical Analysis of Logic, 1847, p. ii: Lead paragraph of the Introduction

“In the work of Vieta the analytic methods replaced the geometric, and his solutions of the quadratic equation were therefore a distinct advance upon those of his predecessors. For example, to solve the equation x^2 + ax + b = 0 he placed u + z for x. He then hadu^2 + (2z + a)u +(z^2 + az + b) = 0.He now let 2z + a = 0, whence z = -\frac{1}{2}a,and this gaveu^2 - \frac{1}{4}(a^2 - 4b) = 0.
u = \pm \frac{1}{2} \sqrt{a^2 - 4b}.andx = u + z = -\frac{1}{2}a \pm \sqrt{a^2 - 4b}.</center”

David Eugene Smith (1860–1944) American mathematician

Source: History of Mathematics (1925) Vol.2, p.449

“SPAN ID=The_process_by>The process by means of which human beings can arbitrarily make certan things stand for other things may be called the symbolic process. Whenever two or more human beings can communicate with each other, they can, by agreement, make anything stand for anything. For example, here are two symbols:
X Y
We can agree to let X stand for buttons and Y for bows; then we can freely change our agreement and let X stand for […] North Korea, and Y for South Korea. We are, as human beings, uniquely free to manufacture and manipulate and assign values to our symbols as we please. Indeed, we can go further by making symbols that stand for symbols. […] This freedom to create symbols of any assigned value and to create symbols that stand for symbols is essential to what we call the symbolic process.

S. I. Hayakawa book Language in Thought and Action

Source: Language in Thought and Action (1949), The Symbolic Process, p. 24

Related topics