56 ideas
| 326 | For relaxation one can consider the world of change, instead of eternal things [Plato] |
| 315 | Philosophy is the supreme gift of the gods to mortals [Plato] |
| 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] |
| 306 | Nothing can come to be without a cause [Plato] |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| 10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
| 10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
| 10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
| 10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
| 10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
| 10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
| 10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
| 10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
| 10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| 10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| 324 | Before the existence of the world there must have been being, space and becoming [Plato] |
| 20364 | The apprehensions of reason remain unchanging, but reasonless sensation shows mere becoming [Plato] |
| 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] |
| 12042 | Plato's Forms were seen as part of physics, rather than of metaphysics [Plato, by Annas] |
| 307 | Something will always be well-made if the maker keeps in mind the eternal underlying pattern [Plato] |
| 318 | In addition to the underlying unchanging model and a changing copy of it, there must also be a foundation of all change [Plato] |
| 321 | For knowledge and true opinion to be different there must be Forms; otherwise we are just stuck with sensations [Plato] |
| 317 | The universe is basically an intelligible and unchanging model, and a visible and changing copy of it [Plato] |
| 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] |
| 334 | Only bird-brained people think astronomy is entirely a matter of evidence [Plato] |
| 5962 | Plato says the soul is ordered by number [Plato, by Plutarch] |
| 330 | No one wants to be bad, but bad men result from physical and educational failures, which they do not want or choose [Plato] |
| 316 | Music has harmony like the soul, and serves to reorder disharmony within us [Plato] |
| 332 | One should exercise both the mind and the body, to avoid imbalance [Plato] |
| 328 | Everything that takes place naturally is pleasant [Plato] |
| 322 | Intelligence is the result of rational teaching; true opinion can result from irrational persuasion [Plato] |
| 331 | Bad governments prevent discussion, and discourage the study of virtue [Plato] |
| 311 | The cosmos must be unique, because it resembles the creator, who is unique [Plato] |
| 310 | The creator of the cosmos had no envy, and so wanted things to be as like himself as possible [Plato] |
| 325 | We must consider the four basic shapes as too small to see, only becoming visible in large numbers [Plato] |
| 327 | There are two types of cause, the necessary and the divine [Plato] |
| 314 | Heavenly movements gave us the idea of time, and caused us to inquire about the heavens [Plato] |
| 312 | Time came into existence with the heavens, so that there will be a time when they can be dissolved [Plato] |
| 309 | Clearly the world is good, so its maker must have been concerned with the eternal, not with change [Plato] |
| 308 | If the cosmos is an object of perception then it must be continually changing [Plato] |