6 ideas
5035 | The two basics of reasoning are contradiction and sufficient reason [Leibniz] |
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
5038 | Assume that mind and body follow their own laws, but God has harmonised them [Leibniz] |
4784 | Salmon says processes rather than events should be basic in a theory of physical causation [Salmon, by Psillos] |
5037 | God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz] |