6 ideas
| 9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
| Full Idea: The terms 'set' and 'is a member of' are primitives of Zermelo's 1908 axiomatization of set theory. They are not given model-theoretic analyses or definitions. | |
| From: report of Ernst Zermelo (works [1920]) by Charles Chihara - A Structural Account of Mathematics 7.5 | |
| A reaction: This looks like good practice if you want to work with sets, but not so hot if you are interested in metaphysics. |
| 3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
| Full Idea: For Zermelo's set theory the empty set is zero and the successor of each number is its unit set. | |
| From: report of Ernst Zermelo (works [1920]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280 |
| 10486 | If we are rebuilding our ship at sea, we should jettison some cargo [Boolos on Neurath] |
| Full Idea: If we are sailors rebuilding our ship plank by plank on the open sea, then I know of some cargo we might want to jettison. | |
| From: comment on Otto Neurath (Protocol Sentences [1932]) by George Boolos - Must We Believe in Set Theory? p.128 | |
| A reaction: This may just be an assertion of Ockham's Razor, but the interest is that the Neurath image demands internal standards of economy etc, whereas reality itself seems to be a right mess. |
| 8485 | We must always rebuild our ship on the open sea; we can't reconstruct it properly in dry-dock [Neurath] |
| Full Idea: We are like sailors who must rebuild their ship out on the open sea, never able to dismantle it in a dry-dock and reconstruct it there out of the best materials. | |
| From: Otto Neurath (Protocol Sentences [1932]), quoted by Alex Orenstein - W.V. Quine Ch.8 | |
| A reaction: This is the classic statement of the anti-foundationalist picture of knowledge. It is often quoted by Quine. A tricky issue. I have a lot of sympathy with Bonjour's rationalist foundationalism. |
| 16713 | Philosophers are the forefathers of heretics [Tertullian] |
| Full Idea: Philosophers are the forefathers of heretics. | |
| From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
| 6610 | I believe because it is absurd [Tertullian] |
| Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
| From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
| A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |