Craig on Objective Moral Values and the Existence of God
His argument (as I see it) goes like this:
It is a basic deductive argument for the existence of God. It goes something like this:
(1) If God does not exist, then objective moral values do not exist.
(2) Objective moral values do exist.
So,
(3) God exists.
Or formally,
Let 'G' stand for 'God exists', and 'M' stand for 'objective moral values exist', and where '>' represents the 'horsehorse' connective, so that
~G > ~M
M / :. G
-------------
(1) ~G > ~ M (premise)
(2) ~~M (premise)
(3) M (from 2, Double Negation)
(4) ~~G (from 1,2, Modus Tollens)
(5) G (from 4, Double Negation)
Q.E.D.
Sounds similar to saying:
(1) If God does not exist then the existence of objective moral values is impossible,
but
(2) the existence of objective moral values is possible (and actual!)
so that
(3) Therefore God exists.