“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

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

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 "To deduce the laws of the symbols of Logic from a consideration of those operations of the mind which are implied in th…" by George Boole?

George Boole 39

English mathematician, philosopher and logician 1815–1864

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

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

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

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

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

Source: 1850s, An Investigation of the Laws of Thought (1854), p. 6; As cited in: Leandro N. De Castro, Fernando J. Von Zuben, Recent Developments in Biologically Inspired Computing, Idea Group Inc (IGI), 2005 p. 236

“But how can we avoid the use of human language? The… symbol. Only by using a symbolic language not yet usurped by those vague ideas of space, time, continuity which have their origin in intuition and tend to obscure pure reason—only thus may we hope to build mathematics on the solid foundation of logic.”

Tobias Dantzig (1884–1956) American mathematician

p, 125
Number: The Language of Science (1930)

“A successful attempt to express logical propositions by symbols, the laws of whose combinations should be founded upon the laws of the mental processes which they represent, would, so far, be a step towards a philosophical language.”

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

Source: 1840s, The Mathematical Analysis of Logic, 1847, p. 5

“I have endeavoured… to present the principles and applications of Symbolical, in immediate sequence to those of Arithmetical, Algebra, and at the same time to preserve that strict logical order and simplicity of form and statement which is essential to an elementary work. This is a task of no ordinary difficulty, more particularly when the great generality of the language of Symbolical Algebra and the wide range of its applications are considered, and this difficulty has not been a little increased, in the present instance, by the wide departure of my own views of its principles from those which have been commonly entertained.”

George Peacock (1791–1858) Scottish mathematician

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

“… The answer to this problem is: as implied by Hume, we certainly are not justified in reasoning from an instance to the truth of the corresponding law. But to this negative result a second result, equally negative, may be added: we are justified in reasoning from a counterinstance to the falsity of the corresponding universal law (that is, of any law of which it is a counterinstance). Or in other words, from a purely logical point of view, the acceptance of one counterinstance to 'All swans are white' implies the falsity of the law 'All swans are white' - that law, that is, whose counterinstance we accepted. Induction is logically invalid; but refutation or falsification is a logically valid way of arguing from a single counterinstance to - or, rather, against - the corresponding law. This shows that I continue to agree with Hume's negative logical result; but I extend it. This logical situation is completely independent of any question of whether we would, in practice, accept a single counterinstance - for example, a solitary black swan - in refutation of a so far highly successful law. I do not suggest that we would necessarily be so easily satisfied; we might well suspect that the black specimen before us was not a swan.”

Karl Popper book The Logic of Scientific Discovery

Source: The Logic of Scientific Discovery (1934), Ch. 1 "A Survey of Some Fundamental Problems", Section I: The Problem of Induction http://dieoff.org/page126.htm p. 27

“There are a number of theorems in ordinary algebra, which, though apparently proved to be true only for symbols representing numbers, admit of a much more extended application. Such theorems depend only on the laws of combination to which the symbols are subject, and are therefore true for all symbols, whatever their nature may be, which are subject to the same laws of combination. The laws with which we have here concern are few in number, and may be stated in the following manner. Let a, b represent two operations, u, v two subjects on which they operate, then the laws are
(1) ab(u) = ba (u),
(2) a(u + v) = a (u) + a (v),
(3) am. an. u = am + n. u.
The first of these laws is called the commutative law, and symbols which are subject to it are called commutative symbols. The second law is called distributive, and the symbols subject to it distributive symbols. The third law is not so much a law of combination of the operation denoted by a, but rather of the operation performed on a, which is indicated by the index affixed to a. It may be conveniently called the law of repetition, since the most obvious and important case of it is that in which m and n are integers, and am therefore indicates the repetition m times of the operation a.”

Duncan Gregory (1813–1844) British mathematician

That these are the laws employed in the demonstration of the principal theorems in Algebra, a slight examination of the processes will easily shew ; but they are not confined to symbols of numbers ; they apply also to the symbol used to denote differentiation.
p. 237 http://books.google.com/books?id=8lQ7AQAAIAAJ&pg=PA237; Highlighted section cited in: George Boole " Mr Boole on a General Method in Analysis http://books.google.com/books?pg=PA225-IA15&id=aGwOAAAAIAAJ&hl," Philosophical Transactions, Vol. 134 (1844), p. 225; Other section (partly) cited in: James Gasser (2000) A Boole Anthology: Recent and Classical Studies in the Logic of George Boole,, p. 52
Examples of the processes of the differential and integral calculus, (1841)