Combining Texts

Ideas for 'Clitophon', 'Logical Properties' and 'works'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


5 ideas

8. Modes of Existence / B. Properties / 10. Properties as Predicates
Quine says the predicate of a true statement has no ontological implications [Quine, by Armstrong]
     Full Idea: Quine's doctrine is that the predicate of a true statement carries no ontological implications.
     From: report of Willard Quine (works [1961]) by David M. Armstrong - Properties §1
     A reaction: Quine is ontologically committed to the subject of the statement (an object). The predicate seems to be an inseparable part of that object. Quine is, of course, a holist, so ontological commitment isn't judged in single statements.
8. Modes of Existence / B. Properties / 12. Denial of Properties
Quine suggests that properties can be replaced with extensional entities like sets [Quine, by Shapiro]
     Full Idea: Quine doubts the existence of properties, and, trying to be helpful, suggests that variables ranging over properties be replaced with variables ranging over respectable extensional entities like sets, so we can 'identify' a property with a singleton set.
     From: report of Willard Quine (works [1961]) by Stewart Shapiro - Higher-Order Logic 2.1
     A reaction: This strikes me as a classic modern heresy, a slippery slope that loses all grip on what a property is, replacing it with entities that mean nothing, but make the logic work.
Quine says that if second-order logic is to quantify over properties, that can be done in first-order predicate logic [Quine, by Benardete,JA]
     Full Idea: Quine assures us that if the specific mission of second-order logic is quantifying over properties, the task can readily be performed by first-order predicate logic, as in (Ex) x is a property, and (y) y has x.
     From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.10
Quine brought classes into semantics to get rid of properties [Quine, by McGinn]
     Full Idea: Quine brought classes into semantics in order to oust properties.
     From: report of Willard Quine (works [1961]) by Colin McGinn - Logical Properties Ch.3
     A reaction: Quine's view has always struck me as odd, as I don't see how you can decide what set something belongs to if you haven't already decided its properties. But then I take it that nature informs you of most properties, and set membership is not arbitrary.
Don't analyse 'red is a colour' as involving properties. Say 'all red things are coloured things' [Quine, by Orenstein]
     Full Idea: Quine proposes that 'red is a colour' does not require analysis, such as 'there is an x which is the property of being red and it is a colour' which needs an ontology of properties. We can just say that all red things are coloured things.
     From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.6
     A reaction: The question of the ontology of properties is here approached, in twentieth century style, as the question 'what is the logical form of property attribution sentences?' Quine's version deals in sets of prior objects, rather than abstract entities.