5 ideas
| 15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
| Full Idea: If the arbitrarily given axioms do not contradict each other with all their consequences, then they are true and the things defined by the axioms exist. For me this is the criterion of truth and existence. | |
| From: David Hilbert (Letter to Frege 29.12.1899 [1899]), quoted by R Kaplan / E Kaplan - The Art of the Infinite 2 'Mind' | |
| A reaction: If an axiom says something equivalent to 'fairies exist, but they are totally undetectable', this would seem to avoid contradiction with anything, and hence be true. Hilbert's idea sounds crazy to me. He developed full Formalism later. |
| 8507 | Some think of reality as made of things; I prefer facts or states of affairs [Armstrong] |
| Full Idea: Some philosophers (like Devitt) think of reality as made up of things. Others, like me, think of it as made up of facts or states of affairs. | |
| From: David M. Armstrong (Against 'Ostrich Nominalism' [1980], §3) | |
| A reaction: Devitt is a follower of Quine on this. Personally I rather like 'processes'. Unanalysed things with predication (Quine) don't look promising. I currently favour things with active powers, which give rise to properties. See Shoemaker and Ellis. |
| 8506 | Particulars and properties are distinguishable, but too close to speak of a relation [Armstrong] |
| Full Idea: I favour the Realist view that while we can distinguish the particularity of a particular from its properties, but the two 'factors' are too intimately together to speak of a relation between them. | |
| From: David M. Armstrong (Against 'Ostrich Nominalism' [1980], §3) | |
| A reaction: Is Armstrong being a bit of an ostrich here? We could talk of part-whole relationships, or internal relations, or set membership, or coinciding objects, or bundles. We certainly ought to have a go. Armstrong approaches Quine here! |
| 8505 | Refusal to explain why different tokens are of the same type is to be an ostrich [Armstrong] |
| Full Idea: A philosophical account of a general sort is required of what it is for different tokens to be of the same type. To refuse to give such an account is to be a metaphysical ostrich. | |
| From: David M. Armstrong (Against 'Ostrich Nominalism' [1980], §1) | |
| A reaction: This defines Ostrich Nominalism (a label Armstrong aims at Quine). I certainly sympathise with Armstrong. If there is no more to a class (a type) than just having members (tokens), nothing is explain. What is natural, essential, intensional etc.? |
| 7482 | Resurrection developed in Judaism as a response to martyrdoms, in about 160 BCE [Anon (Dan), by Watson] |
| Full Idea: The idea of resurrection in Judaism seems to have first developed around 160 BCE, during the time of religious martyrdom, and as a response to it (the martyrs were surely not dying forever?). It is first mentioned in the book of Daniel. | |
| From: report of Anon (Dan) (27: Book of Daniel [c.165 BCE], Ch.7) by Peter Watson - Ideas | |
| A reaction: Idea 7473 suggests that Zoroaster beat them to it by 800 years. |