“So much of modern mathematical work is obviously on the border-line of logic, so much of modern logic is symbolic and formal, that the very close relationship of logic and mathematics has become obvious to every instructed student. The proof of their identity is, of course, a matter of detail: starting with premisses which would be universally admitted to belong to logic, and arriving by deduction at results which as obviously belong to mathematics, we find that there is no point at which a sharp line can be drawn, with logic to the left and mathematics to the right. If there are still those who do not admit the identity of logic and mathematics, we may challenge them to indicate at what point, in the successive definitions and deductions of Principia Mathematica, they consider that logic ends and mathematics begins. It will then be obvious that any answer must be quite arbitrary.”

— Bertrand Russell

Source: 1910s, Introduction to Mathematical Philosophy (1919), Ch. 18: Mathematics and Logic

Adopted from Wikiquote. Last update Sept. 29, 2023. History

Help us to complete the source, original and additional information

Do you have more details about the quote "So much of modern mathematical work is obviously on the border-line of logic, so much of modern logic is symbolic and f…" by Bertrand Russell?

Bertrand Russell 562

logician, one of the first analytic philosophers and politi… 1872–1970

Related quotes

“The viewpoint of the formalist must lead to the conviction that if other symbolic formulas should be substituted for the ones that now represent the fundamental mathematical relations and the mathematical-logical laws, the absence of the sensation of delight, called "consciousness of legitimacy," which might be the result of such substitution would not in the least invalidate its mathematical exactness. To the philosopher or to the anthropologist, but not to the mathematician, belongs the task of investigating why certain systems of symbolic logic rather than others may be effectively projected upon nature. Not to the mathematician, but to the psychologist, belongs the task of explaining why we believe in certain systems of symbolic logic and not in others, in particular why we are averse to the so-called contradictory systems in which the negative as well as the positive of certain propositions are valid.”

L. E. J. Brouwer (1881–1966) Dutch mathematician and logician

as translated by Arnold Dresden from: Brouwer, L. E. J. (1913). Intuitionism and formalism. Bulletin of the American Mathematical Society, 20(2), 81–96. (quote on p. 84)

“There is a logic of language and a logic of mathematics.”

Thomas Merton (1915–1968) Priest and author

The Secular Journal of Thomas Merton (1959)
Context: There is a logic of language and a logic of mathematics. The former is supple and lifelike, it follows our experience. The latter is abstract and rigid, more ideal. The latter is perfectly necessary, perfectly reliable: the former is only sometimes reliable and hardly ever systematic. But the logic of mathematics achieves necessity at the expense of living truth, it is less real than the other, although more certain. It achieves certainty by a flight from the concrete into abstraction. Doubtless, to an idealist, this would seem to be a more perfect reality. I am not an idealist. The logic of the poet — that is, the logic of language or the experience itself — develops the way a living organism grows: it spreads out towards what it loves, and is heliotropic, like a plant.

“The calculus was the first achievement of modern mathematics and it is difficult to overestimate its importance. I think it defines more unequivocally than anything else the inception of modern mathematics; and the system of mathematical analysis, which is its logical development, still constitutes the greatest technical advance in exact thinking.”

John Von Neumann (1903–1957) Hungarian-American mathematician and polymath

As quoted in Bigeometric Calculus: A System with a Scale-Free Derivative (1983) by Michael Grossman, and in Single Variable Calculus (1994) by James Stewart.

“Pure mathematics is, in its way, the poetry of logical ideas. One seeks the most general ideas of operation which will bring together in simple, logical and unified form the largest possible circle of formal relationships. In this effort toward logical beauty spiritual formulas are discovered necessary for the deeper penetration into the laws of nature.”

Albert Einstein (1879–1955) German-born physicist and founder of the theory of relativity

1930s, Obituary for Emmy Noether (1935)

“The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age”

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

Principles of Mathematics (1903), Ch. I: Definition of Pure Mathematics, p. 5
1900s
Context: The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists in the analysis of Symbolic Logic itself.

“As soon as a thought or word becomes a tool, one can dispense with actually ‘thinking’ it, that is, with going through the logical acts involved in verbal formulation of it. As has been pointed out, often and correctly, the advantage of mathematics—the model of all neo-positivistic thinking—lies in just this ‘intellectual economy.’ Complicated logical operations are carried out without actual performance of the intellectual acts upon which the mathematical and logical symbols are based. … Reason … becomes a fetish, a magic entity that is accepted rather than intellectually experienced.”

Max Horkheimer book Eclipse of Reason

Source: Eclipse of Reason (1947), p. 23.

“That logic, as a science, is susceptible of very wide applications is admitted; but it is equally certain that its ultimate forms and processes are mathematical.”

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

Source: 1850s, An Investigation of the Laws of Thought (1854), p. 12; Cited in: William Stanley Jevons (1887) The Principles of Science: : A Treatise on Logic and Scientific Method. p. 155

“We can now return to the distinction between language and symbolism. A symbol is language and yet not language. A mathematical or logical or any other kind of symbol is invented to serve a purpose purely scientific; it is supposed to have no emotional expressiveness whatever. But when once a particular symbolism has been taken into use and mastered, it reacquires the emotional expressiveness of language proper. Every mathematician knows this. At the same time, the emotions which mathematicians find expressed in their symbols are not emotions in general, they are the peculiar emotions belonging to mathematical thinking.”

R. G. Collingwood (1889–1943) British historian and philosopher

Source: The Principles of Art (1938), p. 268

“Only mathematics and mathematical logic can say as little as the physicist means to say.”

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

The Scientific Outlook (1931)
1930s
Context: Ordinary language is totally unsuited for expressing what physics really asserts, since the words of everyday life are not sufficiently abstract. Only mathematics and mathematical logic can say as little as the physicist means to say.

“People can be fooled into thinking of mathematics as logical, formal, symbolic reasoning. But this is far from reality...computers are far better at formal computation and formal reasoning, but humans are far better mathematicians.”

William Thurston (1946–2012) mathematician

Foreword to Teichmüller Theory

Help us to complete the source, original and additional information

Bertrand Russell 562

Related quotes

Related topics