5 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 |
| 6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
| Full Idea: If, for the sake of argument, someone were to mould a horse, squash it, then make a dog, it would be reasonable for us on seeing this to say that this previously did not exist but now does exist. | |
| From: Mnesarchus (fragments/reports [c.120 BCE]), quoted by John Stobaeus - Anthology 179.11 | |
| A reaction: Locke would say it is new, because the substance is the same, but a new life now exists. A sword could cease to exist and become a new ploughshare, I would think. Apply this to the Ship of Theseus. Is form more important than substance? |
| 21513 | We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing] |
| Full Idea: I think it is wrong to tie down the advocates of the coherence theory to a precise definition. ...It would be altogether unreasonable to demand that the moral ideal should be exhaustively defined, and the same may be true of the ideal of thought. | |
| From: A.C. Ewing (Idealism: a critical survey [1934], p.231), quoted by Erik J. Olsson - Against Coherence 7.6 | |
| A reaction: I strongly agree. It is not a council of despair. I think the criteria of coherence can be articulated quite well (e.g by Thagard), and the virtues of enquiry can also be quite well specified (e.g. by Zagzebski). Very dissimilar evidence must cohere. |
| 21497 | If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing] |
| Full Idea: Without a detailed account, coherence is reduced to the mere muttering of the word 'coherence', which can be interpreted so as to cover all arguments, but only by making its meaning so wide as to rob it of almost all significance. | |
| From: A.C. Ewing (Idealism: a critical survey [1934], p.246), quoted by Erik J. Olsson - Against Coherence 2.2 | |
| A reaction: I'm a fan of coherence, but it is a placeholder, involving no intrinsic or detailed theory. I just think it points to the reality of how we make judgements, especially practical ones. We can categorise the inputs, and explain the required virtues. |