display all the ideas for this combination of philosophers
3 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so. | |
From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic. |
23066 | Negation doesn't arise from reasoning, but from deep instincts [Cioran] |
Full Idea: Negation never proceeds from reasoning but from something much more obscure and old. Arguments come afterward, to justify and sustain it. Every no rises out of the blood. | |
From: E.M. Cioran (The Trouble with Being Born [1973], 02) | |
A reaction: Music to my ears. In the Fregean era no one is allowed to talk about the origins of logical relations in the universal facts of physical existence. You can watch dogs saying no. |
19632 | An axiom has no more authority than a frenzy [Cioran] |
Full Idea: This earth is a place where can confirm anything with an equal likelihood: here axioms and frenzies are interchangeable. | |
From: E.M. Cioran (A Short History of Decay [1949], 3) | |
A reaction: A perceptive and poetic expression of the modern anti-Euclidean and anti-Fregean view of axioms, as purely formal features of a model or system. |