more on this theme
|
more from this thinker
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
29 ideas
from 'works'
15783
|
Definite descriptions can't unambiguously pick out an object which doesn't exist
[Lycan on Quine]
|
15782
|
Quine wants identity and individuation-conditions for possibilia
[Quine, by Lycan]
|
2796
|
For Quine the only way to know a necessity is empirically
[Quine, by Dancy,J]
|
8450
|
Quine's empiricism is based on whole theoretical systems, not on single mental events
[Quine, by Orenstein]
|
3868
|
To proclaim cultural relativism is to thereby rise above it
[Quine, by Newton-Smith]
|
4713
|
For Quine, theories are instruments used to make predictions about observations
[Quine, by O'Grady]
|
7330
|
The principle of charity only applies to the logical constants
[Quine, by Miller,A]
|
17862
|
Essence gives an illusion of understanding
[Quine, by Almog]
|
13736
|
Quinean metaphysics just lists the beings, which is a domain with no internal structure
[Schaffer,J on Quine]
|
3302
|
Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic
[Quine, by Benardete,JA]
|
10211
|
Quine wants V = L for a cleaner theory, despite the scepticism of most theorists
[Quine, by Shapiro]
|
3336
|
Two things can never entail three things
[Quine, by Benardete,JA]
|
10793
|
Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal
[Quine, by Marcus (Barcan)]
|
8453
|
If we had to name objects to make existence claims, we couldn't discuss all the real numbers
[Quine]
|
10311
|
No sense can be made of quantification into opaque contexts
[Quine, by Hale]
|
10538
|
Finite quantification can be eliminated in favour of disjunction and conjunction
[Quine, by Dummett]
|
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]
|
8467
|
Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit'
[Quine, by Orenstein]
|
8466
|
For Quine, intuitionist ontology is inadequate for classical mathematics
[Quine, by Orenstein]
|
4712
|
Quine says there is no matter of fact about reference - it is 'inscrutable'
[Quine, by O'Grady]
|
16021
|
Quine says we can expand predicates easily (ideology), but not names (ontology)
[Quine, by Noonan]
|
10667
|
A logically perfect language could express all truths, so all truths must be logically expressible
[Quine, by Hossack]
|
3325
|
For Quine everything exists theoretically, as reference, predication and quantification
[Quine, by Benardete,JA]
|
8534
|
Quine says the predicate of a true statement has no ontological implications
[Quine, by Armstrong]
|
6078
|
Quine brought classes into semantics to get rid of properties
[Quine, by McGinn]
|
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]
|
3751
|
Universals are acceptable if they are needed to make an accepted theory true
[Quine, by Jacquette]
|
7970
|
Quine is committed to sets, but is more a Class Nominalist than a Platonist
[Quine, by Macdonald,C]
|