Yquotes.com

 

The principles of logic and mathematics are true simply because we never allow them to be anything else. And the reason for this is that we cannot abandon them without contradicting ourselves, without sinning against the rules which govern the use of language, and so making our utterances self-stultifying. In other words, the truths of logic and mathematics are analytic propositions or tautologies.
--
p. 77

 

Alfred Jules Ayer

» Alfred Jules Ayer - all quotes »

Similar quotes

 

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

 

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.

 

Thomas Merton

 

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.

 

Bertrand Russell

 

The rules of logic are to mathematics what those of structure are to architecture.

 

Bertrand Russell

 

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.

 

Bertrand Russell