13 ideas
| 5035 | The two basics of reasoning are contradiction and sufficient reason [Leibniz] |
| 17325 | Truth-maker theory can't cope with non-causal dependence [Liggins] |
| 17318 | Truthmakers for existence is fine; otherwise maybe restrict it to synthetic truths? [Liggins] |
| 17320 | Either p is true or not-p is true, so something is true, so something exists [Liggins] |
| 17326 | The dependence of {Socrates} on Socrates involves a set and a philosopher, not facts [Liggins] |
| 17327 | Non-causal dependence is at present only dimly understood [Liggins] |
| 17322 | Necessities supervene on everything, but don't depend on everything [Liggins] |
| 17324 | 'Because' can signal an inference rather than an explanation [Liggins] |
| 17321 | Value, constitution and realisation are non-causal dependences that explain [Liggins] |
| 17323 | If explanations track dependence, then 'determinative' explanations seem to exist [Liggins] |
| 5038 | Assume that mind and body follow their own laws, but God has harmonised them [Leibniz] |
| 22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |
| 5037 | God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz] |