3 ideas
| 18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
| Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with. | |
| From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
| A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory. |
| 9379 | A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine] |
| Full Idea: A sentence is obvious if (a) it is true and (b) any speaker of the language is prepared, for any reason or none, to assent to it without hesitation, unless put off by being asked so obvious a question. | |
| From: Willard Quine (Reply to Hellman [1975], p.206), quoted by Paul Boghossian - Analyticity Reconsidered §III | |
| A reaction: This comes from someone who is keen to deny a priori knowledge, but what are we to make of the expostulations "It's obvious, you idiot!", and "Now I see it, it's obvious!", and "It seemed obvious, but I was wrong!"? |
| 4001 | The meaning of a word contains all its possible uses as well as its actual ones [Nagel] |
| Full Idea: The meaning of a word contains all its possible uses, true and false, not only its actual ones. | |
| From: Thomas Nagel (What Does It All Mean? [1987], Ch.5) | |
| A reaction: It has always seemed to me that meaning is not use, because you can't use it if it hasn't already got a meaning. What use is a meaningless word? |