21 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 12463 | Unlike correspondence, truthmaking can be one truth to many truthmakers, or vice versa [Jacobs] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 12270 | Being is one [Melissus, by Aristotle] |
| 14375 | If structures result from intrinsic natures of properties, the 'relations' between them can drop out [Jacobs] |
| 14378 | Science aims at identifying the structure and nature of the powers that exist [Jacobs] |
| 12467 | Powers come from concrete particulars, not from the laws of nature [Jacobs] |
| 14377 | Possibilities are manifestations of some power, and impossibilies rest on no powers [Jacobs] |
| 14376 | States of affairs are only possible if some substance could initiate a causal chain to get there [Jacobs] |
| 14379 | Counterfactuals invite us to consider the powers picked out by the antecedent [Jacobs] |
| 14372 | Possible worlds are just not suitable truthmakers for modality [Jacobs] |
| 12466 | All modality is in the properties and relations of the actual world [Jacobs] |
| 14371 | We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs] |
| 12465 | Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs] |
| 12464 | If some book described a possibe life for you, that isn't what makes such a life possible [Jacobs] |
| 12469 | Possible worlds semantics gives little insight into modality [Jacobs] |
| 3059 | There is no real motion, only the appearance of it [Melissus, by Diog. Laertius] |
| 5100 | The void is not required for change, because a plenum can alter in quality [Aristotle on Melissus] |
| 456 | Nothing could come out of nothing [Melissus] |