7 ideas
| 15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
| Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |
| From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
| 13672 | All the axioms for mathematics presuppose set theory [Neumann] |
| Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
| From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
| A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
| 18969 | How do you distinguish three beliefs from four beliefs or two beliefs? [Quine] |
| Full Idea: Suppose I say that I have given up precisely three beliefs since lunch. An over-coarse individuation could reduce the number to two, and an over-fine one could raise it to four. | |
| From: Willard Quine (Propositional Objects [1965], p.144) | |
| A reaction: Obviously if you ask how many beliefs I hold, it would be crazy to give a precise answer. But if I search for my cat, I give up my belief that it is in the kitchen, in the lounge and in the bathroom. That's precise enough to be three beliefs, I think. |
| 22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
| Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth. | |
| From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6) | |
| A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible. |
| 18967 | A 'proposition' is said to be the timeless cognitive part of the meaning of a sentence [Quine] |
| Full Idea: A 'proposition' is the meaning of a sentence. More precisely, since propositions are supposed to be true or false once and for all, it is the meaning of an eternal sentence. More precisely still, it is the 'cognitive' meaning, involving truth, not poetry. | |
| From: Willard Quine (Propositional Objects [1965], p.139) | |
| A reaction: Quine defines this in order to attack it. I equate a proposition with a thought, and take a sentence to be an attempt to express a proposition. I have no idea why they are supposed to be 'timeless'. Philosophers have some very odd ideas. |
| 18968 | The problem with propositions is their individuation. When do two sentences express one proposition? [Quine] |
| Full Idea: The trouble with propositions, as cognitive meanings of eternal sentences, is individuation. Given two eternal sentences, themselves visibly different linguistically, it is not sufficiently clear under when to say that they mean the same proposition. | |
| From: Willard Quine (Propositional Objects [1965], p.140) | |
| A reaction: If a group of people agree that two sentences mean the same thing, which happens all the time, I don't see what gives Quine the right to have a philosophical moan about some dubious activity called 'individuation'. |
| 18970 | The concept of a 'point' makes no sense without the idea of absolute position [Quine] |
| Full Idea: Unless we are prepared to believe that absolute position makes sense, the very idea of a point as an entity in its own right must be rejected as not merely mysterious but absurd. | |
| From: Willard Quine (Propositional Objects [1965], p.149) | |
| A reaction: The fact that without absolute position we can only think of 'points' as relative to a conceptual grid doesn't stop the grid from picking out actual locations in space, as shown by latitude and longitude. |