laws of logic

On Malpass’s Dilemma

Alex Malpass has offered one of the most thoughtful critiques of the argument for God from logic in his 2020 Sophia article, “Problems for the Argument from Logic: a Response to the Lord of Non-Contradiction.” Here’s the abstract:

James Anderson and Greg Welty have resurrected an argument for God’s existence (Anderson and Welty 2011), which we will call the argument from logic. We present three lines of response against the argument, involving the notion of necessity involved, the notion of intentionality involved, and then we pose a dilemma for divine conceptualism. We conclude that the argument faces substantial problems.

In this post I will share some thoughts on the third of these “three lines of response,” which I take to be the most interesting point of criticism.1 (Note: I’m speaking only for myself in this post; Greg can speak for himself!)

The argument for God from logic involves defending a version of divine conceptualism (or better, “theistic conceptual realism,” to use Welty’s terminology) according to which the laws of logic, as necessarily true propositions, are ultimately just divine thoughts. Strictly speaking, the argument can be run from any necessary truths, not just the laws of logic, but the laws of logic serve as familiar and convenient examples of necessary truths.2

Horns of a DilemmaIn the last major section of his article, Malpass presents a “dilemma for divine conceptualism.” Rather than quote him at length, I will try to summarize the thrust of his challenge. He begins by observing that parts of our argument appeal to a distinction between “thoughts and the content of those thoughts” (see, e.g., footnote 31 of our 2011 article). But then he points out that this seems to raise a problem for the claim that propositions are divine thoughts. In the first place, he argues, “a thought cannot be the content of itself” (p. 251). The idea that a thought can be its own content is either flat-out incoherent or leads to a “vicious infinite regress” (p. 252). To avoid this, the divine conceptualist has only two options:

  1. A divine thought has no content.
  2. A divine thought has content distinct from the thought itself.

Option 1 looks like a non-starter. If divine thoughts have no content, they can’t be about anything. Isn’t it obvious that God’s thought that 2+2=4 is contentful? Doesn’t it have some content that distinguishes it from other thoughts (e.g., God’s thought that Socrates is mortal)?

Option 2, however, doesn’t look any more promising. Recall our contention that the laws of logic, as necessarily true propositions, are a special category of divine thoughts. Let LL be some proposition that expresses a law of logic (e.g., the law of non-contradiction). LL is ultimately just a divine thought, so we argue. But according to option 2, the content of LL is something other than LL itself. So what could it be? Presumably that content would have to be propositional or intentional in nature. But it couldn’t be a proposition other than LL, for two reasons. First, that would mean LL has the wrong content; the divine thought would be about something other than what it’s supposed to be about. To use Malpass’s example, LL couldn’t have the Pythagorean theorem as its content; it’s supposed to be about the law of non-contradiction, not a geometrical theorem. The second reason is that if the content of LL is a proposition, but not LL itself, then it must be some other proposition, and therefore (given divine conceptualism) some other divine thought. Call that other divine thought LL*. But then the same considerations will apply to the content of LL*, in which case we’re on the road to a never-ending regress of divine thoughts containing divine thoughts, their content being endlessly deferred.

  1. This criticism also came up in our conversation last September hosted by Parker Settecase.
  2. As we note in our paper, someone might take the laws of logic to be something other than propositions (e.g., relations), but in that case we can simply restate the argument in terms of necessarily true propositions about the laws of logic.

On Malpass’s Dilemma Read More »

A Friendly Question about God and Logic

Here’s a thoughtful email query I received with the title “Friendly Question about God and Logic”:

Recently, I have been reading about God and abstract objects and came across your article in Phil-Christi with Greg Welty regarding God and logic. I thoroughly enjoyed it and found it both persuasive and useful. In doing further reading on your website I came across a follow up article where you argue that atheism presupposes theism (and so does every other ism) and your argument gets close to an objection to the claim that logic depends on God that I have long wondered about. In the article, in reference to Atheism you argue the following:

(1) God does not exist. [assumption for reductio]
(2) It is true that God does not exist. [from (1)]
(3) There is at least one truth (namely, the truth that there is no God). [from (2)]
(4) If there are truths, they are divine thoughts.
(5) There is at least one divine thought. [from (3) and (4)]
(6) If there are divine thoughts, then God exists.
(7) Therefore, God exists. [from (5) and (6)]

Consider the following reconstruction:

(1*) God does not exist. [assumption for reductio]
(2*) It is true that God does not exist. [from (1*)]
(3*) There is at least one truth (namely, the truth that there is no God). [from (2*)]
(4*) Therefore, truth does not depend on God. [from (1*) and (3*)]

Let me make explicit why I think (1*-4*):

(5*) The laws of logic are divine thoughts.
(6*) According to the aseity-sovereignty doctrine if God did not exist then nothing would exist.
(7*) If God did not exist there would be no divine thoughts.
(8*) Therefore, there would be no laws of logic.

But if (5*-8*) hold, the proposition either God exists or He does not, would be a truthful description of that state of affairs and be an instance of the LEM. Likewise, the proposition God exists, would be false, not true. Not both true and false, thus an instance of the LNC.

Or another way of stating it would be:

If God did not exist then nothing would exist. But it seems that even if God did not exist there would be at least one thing that would exist, the state of affairs, nothing exists. Doesn’t that imply/entail that there is at least one truth about that state of affairs, the truth nothing exists? If that is the case don’t we have laws of logic?

I assume my objection is misguided in some way. If you have time to address this question and clarify my error I would appreciate it.

A Friendly Question about God and Logic Read More »

Truths, Propositions, and the Argument for God from Logic

A correspondent asked me if I could address an objection he had encountered to the argument for God from logic. Here’s the objection as he quoted it, with my comments interspersed:

The authors equivocate when they make the leap to claim that the laws of logic are thoughts. The propositions themselves are certainly thoughts, but how can the truths that the propositions bear be thoughts?

"I want the truth!"I’m pleased that the objector concedes that “propositions … are certainly thoughts” because that’s a crucial step in the argument! However, the latter part of the question reflects a confusion. In our paper, we adopted the conventional definition of propositions as primary truth-bearers. But this doesn’t mean that propositions bear truths (as though truths were something other than propositions). Rather, it means that propositions are things that can bear the property of truth; they’re things that can be true. Given this definition, truths just are propositions; specifically, they are true propositions.

Truths, Propositions, and the Argument for God from Logic Read More »

Are the Laws of Logic Propositions?

Justin Taylor has posted a link to the Anderson-Welty paper. Predictably enough, the comments weren’t too inspiring, but one criticism (by Derek DeVries) invited a reply:

The laws of logic are rules. And these rules can, but need not, be stated on proposition form according to which they would be truth-apt. The laws of logic, in themselves, are not the kind of thing that has any truth value; only propositional statements expressed in the some language is capable of having any truth-value. Thus, saying that the laws of logic are truths is false, or sloppy at best. Therefore, the conclusion that the laws of logic are metaphysically dependent on the existence of God does not follow necessarily. The argument is deductively unsound.

I posted the following reply:

Your criticism is dealt with (implicitly) on page 4 of the paper. Just substitute “truths about the laws of logic” for “laws of logic” and the argument goes through just as well. If there’s at least one necessary truth, that’s enough for the argument. Do you want to deny that there are any necessary truths?

Derek posted a reply, which deserves further comment. However, since I don’t want to clutter Justin’s combox with technical discussion, I’m copying Derek’s reply here, with my comments interspersed: …

Are the Laws of Logic Propositions? Read More »