In my previous post on this topic, I used conditional derivation to try to prove that one statement entailed another statement, to show that 'There is a person who is omniscient and perfectly free' entails 'There is a person who is perfectly good'. But because I'm a bit unclear on how the logic of conditional statements relates to entailment, I'm not sure that conditional derivation can be used this way. In any case, implication (the logical relationship in a true conditional statement) is … [Read more...]