What is Logic? “Baby, don’t hurt me…” Oops! Wrong Song

Argument From Logic to God

In a recent conversation, it was asserted that logic can exist all by itself and even “stands above God.” My interlocutor even suggested a logical version of the Euthyphro Dilemma whereby either things are logical because God says they are, and therefore could have been otherwise, or God says they are because they are logical, and therefore God is subject to logic, which would mean God is unnecessary to explain logic. This view fails for the same reason that the Euthyphro Dilemma in moral argumentation fails, because God is the ground of Logic, just as he is for morality. This solution was dismissed out of hand because it was somehow “illogical” for an eternal, self-existent being to exist. However, my friend seems to admit that logic is indispensible. He seems to think it can stand on its own. In order to resolve this, we need to look at just what logic is.

According to MirriamWebster.com:


: a proper or reasonable way of thinking about or understanding something

: a particular way of thinking about something

: the science that studies the formal processes used in thinking and reasoning

From dictionary.com


  1. the science that investigates the principles governing correct or reliable inference.
  2. a particular method of reasoning or argumentation:
  3. the system or principles of reasoning applicable to any branch of knowledge or study.
  4. reason or sound judgment, as in utterances or actions:
  5. convincing forcefulness; inexorable truth or persuasiveness

From the Stamford Encyclopedia of Philosophy:

“Philosophically, logic is at least closely related to the study of correct reasoning. Reasoning is an epistemic, mental activity. So logic is at least closely allied with epistemology.”[1]

Finally, the Internet Encyclopedia of Philosophy says thus:

For the purposes of this entry, let us define logic as that field of inquiry which investigates how we reason correctly (and, by extension, how we reason incorrectly).  Aristotle does not believe that the purpose of logic is to prove that human beings can have knowledge.  (He dismisses excessive scepticism.)  The aim of logic is the elaboration of a coherent system that allows us to investigate, classify, and evaluate good and bad forms of reasoning.[2]

With the exception of source titles, italicized words denote mental activity, which is activity engaged in by a mind. The only way logic can exist is if there is a mind in which it operates.

Logic is not one of many possible conditions. It is a necessary reality in any world that exists. Keith Yandell writes, “Logic holds in all possible worlds. It applies to anything there possibly is, and hence to everything there actually is. To deny this is to embrace a self-contradictory claim.”[3]

Having laid this groundwork, l could lay out my argument in syllogistic form:[4]

  1. Logic is the structure of mental activity
  2. Mental activity is that which is engaged by a mind.
  3. Because logic holds necessarily, it must be grounded in a mind that exists necessarily.
  4. A mind must be had by a person.
  5. Human persons are contingent.
  6. A divine mind, if it exists, exists necessarily.
  7. On 3, if logic holds, a divine mind exists.
  8. If a divine mind exists, God exists.
  9. Logic holds, therefore God exists.

It might be objected that the only minds known to exist are human minds. However, this would beg the question, since such “knowledge” presupposes logic, which would have to exist prior to the arrival of the first humans.

Another issue that could be raised, “Then who made the divine mind?” This would be the same as asking, “Who made God?” However this would be a category error since the God posited by classical theists is, by definition, self-existent. Moreover, such a question raises the issue of an infinite regress. If you say some agent made God, you could ask who made that agent, ad infinitum. However, in his work on the Kalam Cosmological Argument, Craig shows that an actual infinite number of things cannot exist in the world (such as an infinite number of moments in time.) Moreover, even if it were possible, you could not accumulate an infinite number of things, like seconds, weeks, years, etc by successive addition.[5]

Ultimately, since logic is a related to mental activity, it is not possible for it to hold if no minds exist. Moreover, it is not a defect on God’s part if he cannot violate the laws of logic any more than it is a defect that he cannot do evil. This is a perfection, not a defect. That he cannot violate logic just means he cannot err in his thinking. Likewise, that he cannot do evil means he cannot fail to be perfectly good. All this is to say that God cannot fail to be God.

Logic holds in all possible worlds. Logic is mental activity. Mental activities are activities of a mind. Logic must be grounded in the mind of a necessary person. Humans are contingent. Only divine minds can exist necessarily. Therefore, logic is grounded in a divine mind, therefore God exists.

[1] http://plato.stanford.edu/entries/logic-classical/#1

[2] http://www.iep.utm.edu/aris-log/, “Laws of Thought”

[3] Yandell, Keith E. (2002-01-22). Philosophy of Religion: A Contemporary Introduction (Routledge Contemporary Introductions to Philosophy) (p. 70). Taylor and Francis. Kindle Edition.

[5] An article that goes into more detail on this can be found at http://www.reasonablefaith.org/forming-an-actual-infinite-by-successive-addition

Author: apologeticsminion

Daniel has an MA in Christian Apologetics from Biola University. He is married and has four grown children. Professionally, Daniel is a sign language interpreter.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s