MysticKnight Wrote:a -> b is "If (objective) morality exists, then God exists".
But this is circular, which is what I was getting at originally. "If objective morality exists, then God exists, which would then prove 'a'; that objective morality exists". This is what you have said in terms of 'a', 'b' and 'c' but I've written it out in English.
"It is the mark of an educated mind to be able to entertain a thought without accepting it" ~ Aristotle