more from this thinker
|
more from this text
Single Idea 3322
[filed under theme 8. Modes of Existence / B. Properties / 12. Denial of Properties
]
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.
Gist of Idea
Quine says that if second-order logic is to quantify over properties, that can be done in first-order predicate logic
Source
report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.10
Book Ref
Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.64
The
18 ideas
with the same theme
[rejection of the category of properties]:
16621
|
Accidents are not parts of bodies (like blood in a cloth); they have accidents as things have a size
[Hobbes]
|
4546
|
We realise that properties are sensations of the feeling subject, not part of the thing
[Nietzsche]
|
6063
|
Russell can't attribute existence to properties
[McGinn on Russell]
|
18439
|
Because things can share attributes, we cannot individuate attributes clearly
[Quine]
|
9017
|
Predicates are not names; predicates are the other parties to predication
[Quine]
|
7925
|
There is no proper identity concept for properties, and it is hard to distinguish one from two
[Quine]
|
10295
|
Quine suggests that properties can be replaced with extensional entities like sets
[Quine, by Shapiro]
|
8479
|
Don't analyse 'red is a colour' as involving properties. Say 'all red things are coloured things'
[Quine, by Orenstein]
|
6078
|
Quine brought classes into semantics to get rid of properties
[Quine, by McGinn]
|
3322
|
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]
|
7618
|
Very nominalistic philosophers deny properties, though scientists accept them
[Putnam]
|
5456
|
Redness is not a property as it is not mind-independent
[Ellis]
|
8959
|
Field presumes properties can be eliminated from science
[Field,H, by Szabó]
|
3906
|
If possible worlds are needed to define properties, maybe we should abandon properties
[Scruton]
|
4029
|
Nominalists ask why we should postulate properties at all
[Mellor/Oliver]
|
16263
|
Fundamental physics seems to suggest there are no such things as properties
[Maudlin]
|
7965
|
Does the knowledge of each property require an infinity of accompanying knowledge?
[Macdonald,C]
|
19121
|
We can reduce properties to true formulas
[Halbach/Leigh]
|