The Perfect Goodness of God – Again (Part 2)

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 similar to entailment in that both logical relationships have the characteristic of transitivity. Since I was basically using this feature of conditional statements, I can revise my reasoning to make use of the transitivity of entailment, rather than the transitivity of implication:

(PFO1*) ‘There is a person who is both perfectly free and omniscient’ entails the statement ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P knows that P is in C, P is in C, P knows that A is the morally best action for P in C, P knows everything that is entailed by the A being the morally best action for P in C, and P is able to do A in C’.
[a necessary truth based on the meaning of ‘omniscient’ and on the principle that ‘ought implies can’]

(PFO2*) ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P knows that P is in C, P is in C, P knows that A is the morally best action for P in C, P knows everything that is entailed by the A being the morally best action for P in C, and P is able to do A in C’ entails the statement ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P knows that P is in C, P is in C, P knows that A is the most rational action for P in C, and P is able to do A in C.’
[a necessary truth based on the fact that ‘A is the morally best action for P in C’ entails ‘A is the most rational action for P in C’]

(PFO3*) ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P knows that P is in C, P is in C, P knows that A is the most rational action for P in C, and P is able to do A in C.’
entails the statement ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P believes that P is in C, P is in C, P believes that A is the most rational action for P in C, and P is able to do A in C.’
[a necessary truth based on the fact that ‘P knows that X is the case’ entails ‘P believes that X is the case’]

Therefore:
(PFO4*) ‘There is a person who is both perfectly free and omniscient’ entails the statement ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P believes that P is in C, P is in C, P believes that A is the most rational action for P in C, and P is able to do A in C.’
[a deduction from (PFO1*), (PFO2*), and (PFO3*) based on the transitivity of entailment: A entails B; B entails C; C entails D; therefore: A entails D.]

(PFO5*) ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P is perfectly free, P believes that P is in C, P is in C, P believes that A is the most rational action for P in C, and P is able to do A in C.’ entails the statement ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P will do A in C.’
[a necessary truth based on the meaning of ‘perfectly free person’ which entails being a person who always does what he/she believes to be the most rational action, when there is such an action that he/she is able to do]

Therefore:
(PFO6*) ‘There is a person who is both perfectly free and omniscient’ entails the statement ‘There is a person P who is so constituted that if P is in circumstance C and A is the morally best action for P in C, then P will do A in C.’

[ a deduction from (PFO4*) and (PFO5*) based on the transitivity of entailment: A entails B; B entails C; therefore: A entails C.]

""The rejection of theism does NOT imply the rejection of belief in an afterlife."Excellent point. ..."

ATHEISM 101
"Thanks for this. It seems to me that while general descriptions can be valuable, they ..."

ATHEISM 101
"However, I prefer "rejecting the statement 'God exists' " over "not holding the claim 'God ..."

ATHEISM 101
""Agnosticism is a form of skepticism about the claim that God exists."Even apart from discussions ..."

ATHEISM 101

Browse Our Archives

Follow Us!


What Are Your Thoughts?leave a comment