11 ideas
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
| 16078 | Clay is intrinsically and atomically the same as statue (and that lacks 'modal properties') [Rudder Baker] |
| Full Idea: Arguments for statue being the clay are: that the clay is intrinsically like the statue, that the clay has the same atoms as the statue', that objects don't have modal properties such as being necessarily F, and the reference of 'property' changes. | |
| From: Lynne Rudder Baker (Why Constitution is not Identity [1997], II) | |
| A reaction: [my summary of the arguments she identifies - see text for details] Rudder Baker attempts to refute all four of these arguments, in defence of constitution as different from identity. |
| 16077 | The clay is not a statue - it borrows that property from the statue it constitutes [Rudder Baker] |
| Full Idea: I argue that a lump of clay borrows the property of being a statue from the statue. The lump is a statue because, and only because, there is something that the lump constitutes that is a statue. | |
| From: Lynne Rudder Baker (Why Constitution is not Identity [1997], n9) | |
| A reaction: It is skating on very thin metaphysical ice to introduce the concept of 'borrowing' a property. I've spent the last ten minutes trying to 'borrow' some properties, but without luck. |
| 16080 | Is it possible for two things that are identical to become two separate things? [Rudder Baker] |
| Full Idea: A strong intuition shared by many philosophers is that some things that are in fact identical might not have been identical. | |
| From: Lynne Rudder Baker (Why Constitution is not Identity [1997], IV) | |
| A reaction: This flies in the face of the Kripkean view that if Hesperus=Phosphorus then the identity is necessary. I don't think I have an intuition that some given thing might have been two things - indeed the thought seems totally weird. Amoeba? Statue/clay? |
| 16076 | Constitution is not identity, as consideration of essential predicates shows [Rudder Baker] |
| Full Idea: I want to resuscitate an essentialist argument against the view that constitution is identity, of the form 'x is essentially F, y is not essentially F, so x is not y'. | |
| From: Lynne Rudder Baker (Why Constitution is not Identity [1997], Intro) | |
| A reaction: The point is that x might be essentially F and y only accidentally F. Thus a statue is essentially so, but a lump if clay is not essentially a statue. Another case where 'necessary' would do instead of 'essentially'. |
| 16081 | The constitution view gives a unified account of the relation of persons/bodies, statues/bronze etc [Rudder Baker] |
| Full Idea: Constitution-without-identity is superior to constitution-as-identity in that it provides a unified view of the relation between persons and bodies, statues and pieces of bronze, and so on. | |
| From: Lynne Rudder Baker (Why Constitution is not Identity [1997], IV) | |
| A reaction: I have a problem with the intrinsic dualism of this whole picture. Clay needs shape, statues need matter - there aren't two 'things' here which have a 'relation'. |
| 16082 | Statues essentially have relational properties lacked by lumps [Rudder Baker] |
| Full Idea: The statue has relational properties which the lump of clay does not have essentially. | |
| From: Lynne Rudder Baker (Why Constitution is not Identity [1997], V) | |
| A reaction: She has in mind relations to the community of artistic life. I don't think this is convincing. Is something only a statue if it is validated by an artistic community? That sounds like relative identity, which she doesn't like. |
| 6552 | You can only explain the qualities of large objects using entities which lack those qualities [Heisenberg] |
| Full Idea: It is impossible to explain the manifest qualities of ordinary middle-sized objects except by tracing these back to the behaviour of entities which themselves no longer possess these qualities. | |
| From: Werner Heisenberg (Ancient Thought in Modern Physics [1937], p.119), quoted by William Lycan - Consciousness 8.10 | |
| A reaction: Compare the similar wonderful remark by Lucretius (Idea 5713). If we accept this as a general principle for all of nature (including us) - and I do - then it is silly to complain that consciousness isn't found in basic physics. |