26 ideas
| 7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
| Full Idea: We should abandon the idea that the use of plural forms commits us to the existence of sets/classes… Entities are not to be multiplied beyond necessity. There are not two sorts of things in the world, individuals and collections. | |
| From: George Boolos (To be is to be the value of a variable.. [1984]), quoted by Henry Laycock - Object | |
| A reaction: The problem of quantifying over sets is notoriously difficult. Try http://plato.stanford.edu/entries/object/index.html. |
| 10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
| Full Idea: Is there, in addition to the 200 Cheerios in a bowl, also a set of them all? And what about the vast number of subsets of Cheerios? It is haywire to think that when you have some Cheerios you are eating a set. What you are doing is: eating the Cheerios. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
| A reaction: In my case Boolos is preaching to the converted. I am particularly bewildered by someone (i.e. Quine) who believes that innumerable sets exist while 'having a taste for desert landscapes' in their ontology. |
| 10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
| Full Idea: Boolos has proposed an alternative understanding of monadic, second-order logic, in terms of plural quantifiers, which many philosophers have found attractive. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 3.5 |
| 10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
| Full Idea: In an indisputable technical result, Boolos showed how plural quantifiers can be used to interpret monadic second-order logic. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984], Intro) by Øystein Linnebo - Plural Quantification Exposed Intro |
| 10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
| Full Idea: Boolos discovered that any sentence of monadic second-order logic can be translated into plural first-order logic. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984], §1) by Øystein Linnebo - Plural Quantification Exposed p.74 |
| 10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
| Full Idea: Indispensable to cross-reference, lacking distinctive content, and pervading thought and discourse, 'identity' is without question a logical concept. Adding it to predicate calculus significantly increases the number and variety of inferences possible. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.54) | |
| A reaction: It is not at all clear to me that identity is a logical concept. Is 'existence' a logical concept? It seems to fit all of Boolos's criteria? I say that all he really means is that it is basic to thought, but I'm not sure it drives the reasoning process. |
| 13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
| Full Idea: Boolos proposes that second-order quantifiers be regarded as 'plural quantifiers' are in ordinary language, and has developed a semantics along those lines. In this way they introduce no new ontology. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Foundations without Foundationalism 7 n32 | |
| A reaction: This presumably has to treat simple predicates and relations as simply groups of objects, rather than having platonic existence, or something. |
| 10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
| Full Idea: Standard second-order existential quantifiers pick out a class or a property, but Boolos suggests that they be understood as a plural quantifier, like 'there are objects' or 'there are people'. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: This idea has potential application to mathematics, and Lewis (1991, 1993) 'invokes it to develop an eliminative structuralism' (Shapiro). |
| 10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
| Full Idea: Abandon the idea that use of plural forms must always be understood to commit one to the existence of sets of those things to which the corresponding singular forms apply. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.66) | |
| A reaction: It seems to be an open question whether plural quantification is first- or second-order, but it looks as if it is a rewriting of the first-order. |
| 7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
| Full Idea: Boolos virtually patented the new device of plural quantification. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by José A. Benardete - Logic and Ontology | |
| A reaction: This would be 'there are some things such that...' |
| 10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
| Full Idea: Ontological commitment is carried by first-order quantifiers; a second-order quantifier needn't be taken to be a first-order quantifier in disguise, having special items, collections, as its range. They are two ways of referring to the same things. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
| A reaction: If second-order quantifiers are just a way of referring, then we can see first-order quantifiers that way too, so we could deny 'objects'. |
| 14064 | If a statue is identical with the clay of which it is made, that identity is contingent [Gibbard] |
| Full Idea: Under certain conditions a clay statue is identical with the piece of clay of which it is made, and if this is so then the identity is contingent. | |
| From: Allan Gibbard (Contingent Identity [1975], Intro) | |
| A reaction: This initiated the modern debate about statues, and it is an attack on Kripke's claim that if two things are identical, then they are necessarily identical. Kripke seems right about Hesperus and Phosphorus, but not about the statue. |
| 14066 | A 'piece' of clay begins when its parts stick together, separately from other clay [Gibbard] |
| Full Idea: A 'piece' of clay is a portion of clay which comes into existence when all of its parts come to be stuck to each other, and cease to be stuck to any clay which is not a part of the portion. | |
| From: Allan Gibbard (Contingent Identity [1975], I) | |
| A reaction: The sort of gormlessly elementary things that philosophers find themselves having to say, but this is a good basic assertion for a discussion of statue and clay, and I can't think of an objection to it. |
| 14067 | Clay and statue are two objects, which can be named and reasoned about [Gibbard] |
| Full Idea: The piece of clay and the statue are 'objects' - that is to say, they can be designated with proper names, and the logic we ordinarily use will still apply. | |
| From: Allan Gibbard (Contingent Identity [1975], I) | |
| A reaction: An interesting indication of the way that 'object' is used in modern analytic philosophy, which may not be the way that it is used in ordinary English. The number 'seven', for example, seems to be an object by this criterion. |
| 14069 | We can only investigate the identity once we have designated it as 'statue' or as 'clay' [Gibbard] |
| Full Idea: To ask meaningfully what that thing would be, we must designate it either as a statue or as a piece of clay. What that thing would be, apart from the way it is designated, is a question without meaning. | |
| From: Allan Gibbard (Contingent Identity [1975], III) | |
| A reaction: He obviously has a powerful point, but to suggest that we can only investigate a mysterious object once we have designated it as something sounds daft. It would ruin the fun of archaeology. |
| 14076 | Essentialism is the existence of a definite answer as to whether an entity fulfils a condition [Gibbard] |
| Full Idea: Essentialism for a class of entities is that for one entity and a condition which it fulfills, the question of whether it necessarily fulfills the condition has a definite answer apart from the way the entity is specified. | |
| From: Allan Gibbard (Contingent Identity [1975], VII) | |
| A reaction: Yet another definition of essentialism, but resting, as usual in modern discussions, entirely on the notion of necessity. Kit Fine's challenge is that if you investigate the source of the necessity, it turns out to be an essence. |
| 14077 | Essentialism for concreta is false, since they can come apart under two concepts [Gibbard] |
| Full Idea: Essentialism for the class of concrete things is false, since a statue necessarily fulfils a condition as 'Goliath', but only contingently fulfils it as 'lumpl'. On the other hand, essentialism for the class of individual concepts can be true. | |
| From: Allan Gibbard (Contingent Identity [1975], VII) | |
| A reaction: This rests on his definition of essentialism in Idea 14076. He rests his essentialism about concepts on an account given by Carnap ('Meaning and Necessity' §41). The essence of a statue and the essence of a lump of clay do seem distinct. |
| 14070 | A particular statue has sortal persistence conditions, so its origin defines it [Gibbard] |
| Full Idea: A proper name like 'Goliath' denotes a thing in the actual world, and invokes a sortal with certain persistence criteria. Hence its origin makes a statue the statue that it is, and if statues in different worlds have the same beginning, they are the same. | |
| From: Allan Gibbard (Contingent Identity [1975], III) | |
| A reaction: Too neat. There are vague, ambiguous and duplicated origins. Persistence criteria can shift during the existence of a thing (like a club which changes its own constitution). In replicated statues, what is the status of the mould? |
| 14073 | Claims on contingent identity seem to violate Leibniz's Law [Gibbard] |
| Full Idea: The most prominent objection to contingent identity (as in the case of the statue and its clay) is that it violates Leibniz's Law. | |
| From: Allan Gibbard (Contingent Identity [1975], V) | |
| A reaction: Depends what you mean by a property. The trickiest one would be that the statue has (right now) a disposition to be worth a lot, but the clay doesn't. But I don't think that is really a property of the statue. Properties are a muddle. |
| 14065 | Two identical things must share properties - including creation and destruction times [Gibbard] |
| Full Idea: For two things to be strictly identical, they must have all properties in common. That means, among other things, that they must start to exist at the same time and cease to exist at the same time. | |
| From: Allan Gibbard (Contingent Identity [1975], I) | |
| A reaction: I don't accept that coming into existence at time t is a 'property' of a thing. Coincident objects give you the notion of 'existing as' something, which complicates the whole story. |
| 14074 | Leibniz's Law isn't just about substitutivity, because it must involve properties and relations [Gibbard] |
| Full Idea: As a general law of substitutivity of identicals, Leibniz's Law is false. It is a law about properties and relations, that if two things are identical, they have the same properties and relations. It only works in contexts which attribute those. | |
| From: Allan Gibbard (Contingent Identity [1975], V) | |
| A reaction: I'm not convinced about relations, which are not intrinsic properties. Under different descriptions, the relations to human minds might differ. |
| 14072 | Possible worlds identity needs a sortal [Gibbard] |
| Full Idea: Identity across possible worlds makes sense only with respect to a sortal | |
| From: Allan Gibbard (Contingent Identity [1975], IV) | |
| A reaction: See Gibbard's other ideas from this paper. I fear that the sortal invoked is too uncertain and slippery to do any useful job, and I can't see any principled difficulty with naming something before you can think of a sortal for it. |
| 14078 | Only concepts, not individuals, can be the same across possible worlds [Gibbard] |
| Full Idea: It is meaningless to talk of the same concrete thing in different possible worlds, ...but it makes sense to speak of the same individual concept, which is just a function which assigns to each possible world in a set an individual in that world. | |
| From: Allan Gibbard (Contingent Identity [1975], VII) | |
| A reaction: A lovely bold response to the problem of transworld identity, but one which needs investigation. It sounds very promising to me. 'Aristotle' is a cocept, not a name. There is no separate category of 'names'. Wow. (Attach dispositions to concepts?). |
| 14079 | Kripke's semantics needs lots of intuitions about which properties are essential [Gibbard] |
| Full Idea: To use Kripke's semantics, one needs extensive intuitions that certain properties are essential and others accidental. | |
| From: Allan Gibbard (Contingent Identity [1975], X) | |
| A reaction: As usual, we could substitute the word 'necessary' for 'essential' without changing his meaning. If we are always referring to 'our' Hubert Humphrey is speculations about him, then nearly all of his properties will be necessary ones. |
| 12583 | Belief truth-conditions are normal circumstances where the belief is supposed to occur [Papineau] |
| Full Idea: The truth condition of the belief is the 'normal' circumstances in which, given the learning process, it is biologically supposed to be present. | |
| From: David Papineau (Reality and Representation [1987], p.67), quoted by Christopher Peacocke - A Study of Concepts 5.2 | |
| A reaction: How do we account for a belief in ghosts in this story? The notion of 'normal' circumstances and what is 'biologically supposed' to happen don't seem very appropriate. This is the 'teleological' view of belief. |
| 14071 | Naming a thing in the actual world also invokes some persistence criteria [Gibbard] |
| Full Idea: The reference of a name in the actual world is fixed partly by invoking a set of persistence criteria which determine what thing it names. | |
| From: Allan Gibbard (Contingent Identity [1975], III) | |
| A reaction: This is offered as a modification to Kripke, to deal with the statue and clay. I fear that the 'persistence criteria' may be too vague, and too subject to possible change after the origin, to do the job required. |