Combining Philosophers
Ideas for Willard Quine, Adrian Bardon and Timon
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
12 ideas
5. Theory of Logic / G. Quantification / 1. Quantification
9015
|
Universal quantification is widespread, but it is definable in terms of existential quantification [Quine]
|
10926
|
Quantifying into referentially opaque contexts often produces nonsense [Quine]
|
10922
|
Objects are the values of variables, so a referentially opaque context cannot be quantified into [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]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
10793
|
Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)]
|
10801
|
Either reference really matters, or we don't need to replace it with substitutions [Quine]
|
21642
|
If quantification is all substitutional, there is no ontology [Quine]
|
9025
|
You can't base quantification on substituting names for variables, if the irrationals cannot all be named [Quine]
|
9026
|
Some quantifications could be false substitutionally and true objectually, because of nameless objects [Quine]
|
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
10705
|
Putting a predicate letter in a quantifier is to make it the name of an entity [Quine]
|
5. Theory of Logic / G. Quantification / 6. Plural Quantification
12798
|
Plurals can in principle be paraphrased away altogether [Quine]
|