25 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] |
7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
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] |
10467 | Individuals consist of 'compresent' tropes [Bacon,John] |
10464 | A trope is a bit of a property or relation (not an exemplification or a quality) [Bacon,John] |
10465 | Trope theory is ontologically parsimonious, with possibly only one-category [Bacon,John] |
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] |
10466 | Maybe possible worlds are just sets of possible tropes [Bacon,John] |
13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |