13 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 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] |
| 15561 | The events that suit semantics may not be the events that suit causation [Lewis] |
| 15565 | Events have inbuilt essences, as necessary conditions for their occurrence [Lewis] |
| 15566 | Events are classes, and so there is a mereology of their parts [Lewis] |
| 15567 | Some events involve no change; they must, because causal histories involve unchanges [Lewis] |
| 15564 | An event is a property of a unique space-time region [Lewis] |
| 15563 | Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 15562 | Causation is a general relation derived from instances of causal dependence [Lewis] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |