The life of the law has not been logic; it has been experience... The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.
--
The Common Law (1881), p. 1.Oliver Wendell Holmes
» Oliver Wendell Holmes - all quotes »
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
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
Grattan-Guiness's uniformly interesting and valuable account of the interwoven development of logic and related fields of mathematics . . . between 1870 and 1940 presents a significantly revised analysis of the history of the period. . . . [His] book is important because it supplies what has been lacking: a full account of the period from a primary mathematical perspective.
Ivor Grattan-Guinness
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.
Alfred Jules Ayer
Science aims at constructing a world which shall be symbolic of the world of commonplace experience. It is not at all necessary that every individual symbol that is used should represent something in common experience or even something explicable in terms of common experience. The man in the street is always making this demand for concrete explanation of the things referred to in science; but of necessity he must be disappointed. It is like our experience in learning to read. That which is written in a book is symbolic of a story in real life. The whole intention of the book is that ultimately a reader will identify some symbol, say BREAD, with one of the conceptions of familiar life. But it is mischievous to attempt such identifications prematurely, before the letters are strung into words and the words into sentences. The symbol A is not the counterpart of anything in familiar life.
Arthur Stanley Eddington
Holmes, Oliver Wendell, Jr.
Holmes, Oliver Wendell
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z