13 ideas
| 16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
| 16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
| 16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |
| 16039 | Supervenience: No A-difference without a B-difference [Bennett,K] |
| 16043 | Supervenience is non-symmetric - sometimes it's symmetric, and sometimes it's one-way [Bennett,K] |
| 16047 | Weak supervenience is in one world, strong supervenience in all possible worlds [Bennett,K] |
| 16040 | Aesthetics, morality and mind supervene on the physical? Modal on non-modal? General on particular? [Bennett,K] |
| 16044 | Some entailments do not involve supervenience, as when brotherhood entails siblinghood [Bennett,K] |
| 16046 | Reduction requires supervenience, but does supervenience suffice for reduction? [Bennett,K] |
| 16049 | Definitions of physicalism are compatible with a necessary God [Bennett,K] |
| 16042 | The metaphysically and logically possible worlds are the same, so they are the same strength [Bennett,K] |
| 16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |