display all the ideas for this combination of texts
1 idea
8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
Full Idea: To claim that mathematical truths are conventional in the sense of following logically from definitions is the claim that mathematics is a part of logic. | |
From: Willard Quine (Truth by Convention [1935], p.79) | |
A reaction: Quine is about to attack logic as convention, so he is endorsing the logicist programme (despite his awareness of Gödel), but resisting the full Wittgenstein conventionalist picture. |