30 ideas
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| 13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
| 9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
| 10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| 9886 | Cardinals say how many, and reals give measurements compared to a unit quantity [Frege] |
| 9889 | Real numbers are ratios of quantities [Frege, by Dummett] |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| 10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
| 10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| 9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
| 8751 | Only applicability raises arithmetic from a game to a science [Frege] |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| 9891 | The first demand of logic is of a sharp boundary [Frege] |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
| 9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |