49 ideas
| 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] |
| 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] |
| 10793 | Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)] |
| 8466 | For Quine, intuitionist ontology is inadequate for classical mathematics [Quine, by Orenstein] |
| 8467 | Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit' [Quine, by Orenstein] |
| 10667 | A logically perfect language could express all truths, so all truths must be logically expressible [Quine, by Hossack] |
| 16021 | Quine says we can expand predicates easily (ideology), but not names (ontology) [Quine, by Noonan] |
| 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] |
| 10295 | Quine suggests that properties can be replaced with extensional entities like sets [Quine, by Shapiro] |
| 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] |
| 6078 | Quine brought classes into semantics to get rid of properties [Quine, by McGinn] |
| 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] |
| 15783 | Definite descriptions can't unambiguously pick out an object which doesn't exist [Lycan on Quine] |
| 14703 | Superficial necessity is true in all worlds; deep necessity is thus true, no matter which world is actual [Schroeter] |
| 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] |
| 14714 | Contradictory claims about a necessary god both seem apriori coherent [Schroeter] |
| 14704 | 2D semantics gives us apriori knowledge of our own meanings [Schroeter] |
| 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] |
| 14706 | Your view of water depends on whether you start from the actual Earth or its counterfactual Twin [Schroeter] |
| 14711 | Rationalists say knowing an expression is identifying its extension using an internal cognitive state [Schroeter] |
| 14717 | Internalist meaning is about understanding; externalist meaning is about embedding in a situation [Schroeter] |
| 4712 | Quine says there is no matter of fact about reference - it is 'inscrutable' [Quine, by O'Grady] |
| 14080 | Are causal descriptions part of the causal theory of reference, or are they just metasemantic? [Kaplan, by Schaffer,J] |
| 14720 | Semantic theory assigns meanings to expressions, and metasemantics explains how this works [Schroeter] |
| 14695 | Semantic theories show how truth of sentences depends on rules for interpreting and joining their parts [Schroeter] |
| 14696 | Simple semantics assigns extensions to names and to predicates [Schroeter] |
| 14697 | 'Federer' and 'best tennis player' can't mean the same, despite having the same extension [Schroeter] |
| 14698 | Possible worlds semantics uses 'intensions' - functions which assign extensions at each world [Schroeter] |
| 14699 | Possible worlds make 'I' and that person's name synonymous, but they have different meanings [Schroeter] |
| 14709 | Possible worlds semantics implies a constitutive connection between meanings and modal claims [Schroeter] |
| 14719 | In the possible worlds account all necessary truths are same (because they all map to the True) [Schroeter] |
| 14701 | Array worlds along the horizontal, and contexts (world,person,time) along the vertical [Schroeter] |
| 14702 | If we introduce 'actually' into modal talk, we need possible worlds twice to express this [Schroeter] |
| 14705 | Do we know apriori how we refer to names and natural kinds, but their modal profiles only a posteriori? [Schroeter] |
| 14715 | 2D fans defend it for conceptual analysis, for meaning, and for internalist reference [Schroeter] |
| 14716 | 2D semantics can't respond to contingent apriori claims, since there is no single proposition involved [Schroeter] |
| 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] |