11 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
| 13795 | Properties only have identity in the context of their contraries [Elder] |
| Full Idea: The very being, the identity, of any property consists at least in part in its contrasting as it does with its own proper contraries. | |
| From: Crawford L. Elder (Real Natures and Familiar Objects [2004], 2.4) | |
| A reaction: See Elder for the details of this, but the idea that properties can only be individuated contextually sounds promising. |
| 13798 | Maybe we should give up the statue [Elder] |
| Full Idea: Some contemporary metaphysicians infer that one of the objects must go, namely, the statue. | |
| From: Crawford L. Elder (Real Natures and Familiar Objects [2004], 7.2) | |
| A reaction: [He cites Zimmerman 1995] This looks like a recipe for creating a vast gulf between philosophers and the rest of the population. If it is right, it makes the true ontology completely useless in understanding our daily lives. |
| 13797 | The loss of an essential property means the end of an existence [Elder] |
| Full Idea: The loss of any essential property must amount to the end of an existence. | |
| From: Crawford L. Elder (Real Natures and Familiar Objects [2004], 3) | |
| A reaction: This is orthodoxy for essentialists, and I presume that Aristotle would agree, but I have a problem with the essence of a great athlete, who then grows old. Must we say that they lose their identity-as-an-athlete? |
| 13794 | Essential properties by nature occur in clusters or packages [Elder] |
| Full Idea: Essential properties by nature occur in clusters or packages. | |
| From: Crawford L. Elder (Real Natures and Familiar Objects [2004], 2.2) | |
| A reaction: Elder proposes this as his test for the essentialness of a property - his Test of Flanking Uniformities. A nice idea. |
| 13796 | Essential properties are bound together, and would be lost together [Elder] |
| Full Idea: The properties of any essential nature are bound together....[122] so any case in which one of our envisioned familiar objects loses one of its essential properties will be a case in which it loses several. | |
| From: Crawford L. Elder (Real Natures and Familiar Objects [2004], 3) | |
| A reaction: This sounds like a fairly good generalisation rather than a necessary truth. Is there a natural selection for properties, so that only the properties which are able to bind to others to form teams are able to survive and flourish? |
| 17960 | Eternalism says all times are equally real, and future and past objects and properties are real [Merricks] |
| Full Idea: Eternalism says all times are equally real. Objects existing at past times and objects existing at future times are just as real as objects existing at the present. Properties had at past and future times are as much properties as those at the present. | |
| From: Trenton Merricks (Goodbye Growing Block [2006], 1) | |
| A reaction: He adds that the present is therefore 'subjective', resulting from one's perspective. Why would eternalists reject their subjective experiences of time, unless they reject all their other subjective experiences as well? |
| 17961 | Growing block has a subjective present and a growing edge - but these could come apart [Merricks, by PG] |
| Full Idea: Merricks argues that the growing block view says that we live in the subjective present, and that there is a growing edge of being, but he then suggests that these two could come apart, and it would make no difference, so the growing block is incoherent. | |
| From: report of Trenton Merricks (Goodbye Growing Block [2006], 4) by PG - Db (ideas) | |
| A reaction: [I think that is the nub of his argument. I couldn't find a concise summary in his words] |