11 ideas
| 9148 | I think of variables as objects rather than as signs [Fine,K] |
| Full Idea: It is natural nowadays to think of variables as a certain kind of sign, but I wish to think of them as a certain kind of object. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §2) | |
| A reaction: Fine has a theory based on 'arbitrary objects', which is a rather charming idea. The cell of a spreadsheet is a kind of object, I suppose. A variable might be analogous to a point in space, where objects can locate themselves. |
| 18439 | Because things can share attributes, we cannot individuate attributes clearly [Quine] |
| Full Idea: No two classes have exactly the same members, but two different attributes may be attributes of exactly the same things. Classes are identical when their members are identical. ...On the other hand, attributes have no clear principle of individuation. | |
| From: Willard Quine (On the Individuation of Attributes [1975], p.100) |
| 18442 | You only know an attribute if you know what things have it [Quine] |
| Full Idea: May we not say that you know an attribute only insofar as you know what things have it? | |
| From: Willard Quine (On the Individuation of Attributes [1975], p.106) | |
| A reaction: Simple, and the best defence of class nominalism (a very implausible theory) which I have encountered. Do I have to know all the things? Do I not know 'red' if I don't know tomatoes have it? |
| 18441 | No entity without identity (which requires a principle of individuation) [Quine] |
| Full Idea: We have an acceptable notion of class, or physical object, or attribute, or any other sort of object, only insofar as we have an acceptable principle of individuation for that sort of object. There is no entity without identity. | |
| From: Willard Quine (On the Individuation of Attributes [1975], p.102) | |
| A reaction: Note that this is his criterion for an 'acceptable' notion. Presumably that is for science. It permits less acceptable notions which don't come up to the standard. And presumably true things can be said about the less acceptable entities. |
| 18440 | Identity of physical objects is just being coextensive [Quine] |
| Full Idea: Physical objects are identical if and only if coextensive. | |
| From: Willard Quine (On the Individuation of Attributes [1975], p.101) | |
| A reaction: The supposed counterexample to this is the statue and the clay it is made of, which are said to have different modal properties (destroying the statue doesn't destroy the clay). |
| 9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
| Full Idea: In traditional abstraction, the colour green merely has the intrinsic property of being green, other properties of things being abstracted away. But why should that be regarded as a type? It must be because the property is common to the instances. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §5) | |
| A reaction: A nice question which shows that the much-derided single act of abstraction is not sufficient to arrive at a concept, so that abstraction is a more complex matter (perhaps even a rational one) than simple empiricists believe. |
| 1389 | If memory is the sole criterion of identity, we ought to use it for other people too [Shoemaker] |
| Full Idea: If memory were the sole criterion of personal identity it would have to be the sole criterion that we use in making identity statements about persons other than ourselves. | |
| From: Sydney Shoemaker (Personal Identity and Memory [1959], §4) | |
| A reaction: From Locke's point of view, he is much less certain about the continued identity of other people, because he allows the possibility of transference of minds. Even we might reject physical identity, if a person had suffered a severe trauma. |
| 1390 | Bodily identity is one criterion and memory another, for personal identity [Shoemaker, by PG] |
| Full Idea: Bodily identity must be one of the criteria for personal identity (to establish that a rememberer was present at a past event), but memory itself must also be accepted as one of the criteria. | |
| From: report of Sydney Shoemaker (Personal Identity and Memory [1959], §5) by PG - Db (ideas) | |
| A reaction: This concerns the epistemology of personal identity, not the ontology. Someone with total amnesia would probably accept a driving licence as a criterion. Is personal identity a mental state, or a precondition which makes mental states possible? |
| 9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
| Full Idea: In abstracting from the elements of a doubleton to obtain 2, we do not wish to abstract away from all features of the objects. We wish to take account of the fact that the two objects are distinct; this alone should be preserved under abstraction. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
| A reaction: This is Fine's strategy for meeting Frege's objection to abstraction, summarised in Idea 9146. It seems to use the common sense idea that abstraction is not all-or-nothing. Abstraction has degrees (and levels). |
| 9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
| Full Idea: Number abstraction can be taken to be a special case of abstraction in general, which can then be defined without recourse to the concept of number. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
| A reaction: At last, a mathematical logician recognising that they don't have a monopoly on abstraction. It is perfectly obvious that abstractions of simple daily concepts must be chronologically and logically prior to number abstraction. Number of what? |
| 9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |
| Full Idea: In Cantor's abstractionist account there can only be two numbers, 0 and 1. For abs(Socrates) = abs(Plato), since their numbers are the same. So the number of {Socrates,Plato} is {abs(Soc),abs(Plato)}, which is the same number as {Socrates}! | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §1) | |
| A reaction: Fine tries to answer this objection, which arises from §45 of Frege's Grundlagen. Fine summarises that "indistinguishability without identity appears to be impossible". Maybe we should drop talk of numbers in terms of sets. |