32 ideas
| 9593 | Progress in philosophy is incremental, not an immature seeking after drama [Williamson] |
| 9594 | Correspondence to the facts is a bad account of analytic truth [Williamson] |
| 14240 | The empty set is something, not nothing! [Oliver/Smiley] |
| 14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
| 14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
| 14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
| 14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
| 14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
| 14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
| 14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
| 14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
| 12215 | The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K] |
| 14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
| 12211 | It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K] |
| 12209 | The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K] |
| 12214 | 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K] |
| 12212 | Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K] |
| 12216 | Real objects are those which figure in the facts that constitute reality [Fine,K] |
| 12218 | Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K] |
| 12217 | For ontology we need, not internal or external views, but a view from outside reality [Fine,K] |
| 9601 | The realist/anti-realist debate is notoriously obscure and fruitless [Williamson] |
| 9599 | There cannot be vague objects, so there may be no such thing as a mountain [Williamson] |
| 12213 | Ontological claims are often universal, and not a matter of existential quantification [Fine,K] |
| 9602 | Common sense and classical logic are often simultaneously abandoned in debates on vagueness [Williamson] |
| 9598 | Modal thinking isn't a special intuition; it is part of ordinary counterfactual thinking [Williamson] |
| 16536 | Williamson can't base metaphysical necessity on the psychology of causal counterfactuals [Lowe on Williamson] |
| 9596 | We scorn imagination as a test of possibility, forgetting its role in counterfactuals [Williamson] |
| 9597 | There are 'armchair' truths which are not a priori, because experience was involved [Williamson] |
| 9592 | Intuition is neither powerful nor vacuous, but reveals linguistic or conceptual competence [Williamson] |
| 20181 | When analytic philosophers run out of arguments, they present intuitions as their evidence [Williamson] |
| 9595 | You might know that the word 'gob' meant 'mouth', but not be competent to use it [Williamson] |
| 9600 | If languages are intertranslatable, and cognition is innate, then cultures are all similar [Williamson] |