display all the ideas for this combination of texts
3 ideas
| 15226 | What properties a thing must have to be a type of substance can be laid down a priori [Harré/Madden] |
| Full Idea: A statement which asserts that a substance or thing must manifest certain properties in order to be identified as a thing or substance of that sort can be laid down a priori. | |
| From: Harré,R./Madden,E.H. (Causal Powers [1975], 1.IV) | |
| A reaction: This observation is encountered in Sidelle, but this is earlier, and seems to be the key to the Twin Earth thing. It is just convention whether we call XYZ water, or whether there are two sorts of jade or one. Science has prestige. |
| 9789 | You can't abstract natural properties to make Forms - objects and attributes are defined together [Aristotle] |
| Full Idea: Those who say there are Forms abstract natural properties, even though they are less separable than mathematical properties. This is clear if you try to define both the objects themselves and their attributes. | |
| From: Aristotle (Physics [c.337 BCE], 193b36) | |
| A reaction: (Compare Idea 9788) This is Frege's black and white cats, where you cannot abstract the black without thinking of the cat, but Aristotle thinks mathematical abstraction is more feasible. |
| 9788 | Mathematicians study what is conceptually separable, and doesn't lead to error [Aristotle] |
| Full Idea: Mathematicians abstract properties which are conceptually separable from the world of change. It makes no difference if you treat them as separate, in the sense that it does not result in error. | |
| From: Aristotle (Physics [c.337 BCE], 193b33) | |
| A reaction: This strikes me as a crucial point to make against Frege (if Aristotle is right). Frege hates abstractionism precisely because it is psychological, and hence admits subjective error, instead of objective truth. Does 'pure' abstraction avoid error? |