Translate

Friday, August 3, 2012

Modal Arguments for God: A Guide

If you've been around apologists or philosophically-minded theists long enough, you've run into someone advocating an ontological argument (OA for short) or some modal argument for God's existence (MAG). Maybe it's a modal cosmological argument, an argument relating to the principle of sufficient reason (PSR), a modal epistemic argument, etc. I, along with many other atheists and some theists, tire of these arguments. MAG proponents often engage in special pleading, ad hoc re-definitions of terms, or simply lack a basic understanding of the concepts involved in their own argument. Hovwever, remember that most MAG advocates are genuine, well-meaning people who either: 1) missed out on some crucial philosophical information [happens to the best of us], or 2) were misled by the most deceptive philosopher I've ever seen: William Lane Craig. Yet as most atheists soon realize, you can explain a MAG's fallacies, equivocations, etc. and proponents still support the argument. So I am writing this brief guide to help combat this problem. Most of my advice will come from my experience with the PSR and the OA (see my exchange with Mentat1231 and my post "Ontological Arguments: A Critique"). However, this advice should aid atheists and theists in combating other MAGs as well. Here we go!


First, let the proponent lay out their MAG. Then ask them to clearly define their termsYOU HAVE NO IDEA HOW IMPORTANT THIS STEP IS. For instance, presuppositionalists, the class of apologists who most frequently run OAs, are famous for equivocating. They will use a term T to mean one thing in their argument, then change T's meaning part-way through the argument without noting the change in meaning. This becomes apparent in many presuppositionalists use of Alvin Plantinga's modal OA. In this argument one can define God as the MGB (maximally great being) or the MEB (maximally excellent being). These definitions are not equivalent, as Plantinga explicitly notes. The MGB is defined as an MEB that exists in every possible world (i.e. an NE MEB), while the MEB is not defined as existing in every possible world. Of course, this does not stop some proponents of Plantinga's argument from equivocating between these two definitions. They will claim that in order to show the MGB is impossible, you must show the MEB is impossible; this is false. Or they claim that evidence for the existence of the MEB is evidence for the possibility of the MGB; this is also false. 

Remember: equivocations are often difficult to spot. For example, a modal OA advocate might say, "the Kalam Cosmological argument at least shows that God is possible, which supports the modal OA's premise that God is metaphysically possible." This may seem like a harmless claim, until we ask the proponent to define what they mean by "God." Kalam has no bearing on the MGB since the Kalam does not make claims regarding every possible world. So if the proponent is to avoid an equivocation, they must claim "God" means "MEB" both times it is used. In that case, however, the Kalam has no bearing the Plantinga's OA, since Plantinga's argument needs the MGB to be possible, not just the MEB; there is all the difference in the world (both this world and other possible worlds) between saying "the MEB is possible" and "the MGB is possible." We can avoid difficult-to-spot equivocations by: 1) asking the MAG proponent to clearly define their terms and, 2) sticking to terms that have clear definitions. So I recommend asking the MAG proponent avoid the term "God" unless they explicitly define "God" and agree to stick to that definition, unless otherwise noted. Otherwise, just ask them to use the clearly defined terms "MEB," "MGB," etc. in order to prevent equivocations.

Asking for clear definitions also benefits MAG critics in other ways: apologists are notoriously vague about the meaning of terms such as "greater, better, perfection," etc. So if a MAG critic argues that greatness, perfection, etc. implies an impossible to instantiate property, or a property lacked by the theist's God, or some description which could apply to both the theist's God and another entity, etc. the MAG proponent can just switch to an ad hoc definition of greater, better, etc. that is tailor-made to avoid the critic's objection and have greatness, perfection, etc. only apply to God and only imply instantiable properties. I discuss this more in Ontological Arguments: A Critique. Expect the MAG proponent (or some apologists in general) to make the same "ad hoc red-definition" move regarding any vaguely defined term in any theistic argument. So it is always important to ask for clear definitions. Better to be safe than sorry.

Some apologists also tend to attach the label "God" to random stuff, simply to produce an argument for "God's" existence. For instance, a theist might use a PSR to argue that "God" is "the necessary thing which serves as the reason/explanation for contingent things." "Thing" here has no mental connotations: the thing could be a mind or a non-mental entity. So many, if not most, PSR proponents subtly rephrase the definition of “God” into "the necessary being which serves as the reason/explanation for contingent things," where “being” is meant to be read as "mental entity." This begs the question against atheists and pantheists who claim that the entity the PSR argues for could be a non-mental thing. The PSR argument does not show that the necessary entity is a mind; the PSR proponent need a separate argument for that conclusion. If you point this out to an apologist, expect them to respond that they always meant "being" to be read as neutral between "mind" and "not a mind." Of course, if you never pointed this out to them, they would have been happy to go on claiming the PSR implied a necessary mind existed. But if the PSR only shows that there is a "necessary thing which serves as the reason/explanation for contingent things" (call this thing N), why think N has thoughts, beliefs, etc. Why is the MAG advocate offering an argument for N, when we have no reason for thinking N is the God of traditional theism; i.e. a mind that communicates with people, has thoughts, etc.? To compensate, many theists resort to very poor supplemental arguments to show that N is a mind (see my exahange with Mentat1231). These arguments are normally much weaker than the PSR itself. So when we ask theists to provide clear definitions for terms such as "God", we often discover that their arguments are much less plausible than they first appeared.

The apologetic tendency to label random things “God” arises even in non-MAG arguments. For instance, I have seen theists argue that since naturalistic evolution cannot explain the diversity of life (a patently false claim, by the way), whatever does explain the diversity of life, that thing is probably God. Theist who ran this argument 300 years ago would say, "since scientists lack an explanation for the diversity of life, whatever does explain the diversity of life, that thing is probably God." So 300 years later, we discovered that naturalistic evolution is probably God! This "God-of-the-gaps" reasoning results from apologists attaching the label "God" to random thing X, without showing that X has any of the other properties usually associated with God. So once you ask an apologist to define "God" in the context of their argument, you'll usually find they are arguing for something completely uninteresting or only very tangentially related to the version of God which most religions adhere to (i.e. a powerful mind that interacts with humans, created this universe for the purpose of containing life, is at least mostly good, has knowledge far surpassing any other existent being, etc.; of course, all of these properties could apply to aliens, so I offer these conditions as necessary, but not jointly sufficient, conditions for God).


Second, if you are not familiar with the presented MAG or you cannot quickly recognize the flaws in the argument, then politely withdraw from the conversation and do some reading on the argument and its underpinnings. Nothing is more exasperating than dealing with someone who has no idea what they’re talking about and act as if they do (*cough* InspiringPhilosophy and MessianicDrew *cough*). Do not be that person. There is a huge difference between a person making a subtle error relating to something they are knowledgeable about (i.e. Plantinga’s mistakes in his presentation of the modal OA), and an uninformed person making absurd claims that would be fixed by perusing Wikipedia (i.e. every proponent of the modal OA who claims the argument proves God exists). However, don't be too depressed if you need to do some reading; most MAGs employ similar concepts and make similar mistakes. So once you've become familiar with some basic terminology such as modality, analyticity, question-begging, parody arguments, etc., you will be able to spot a MAG’s errors relatively quickly. 


Third, ask the MAG proponent to explain the type of modality involved in their argument. Is this physical modality, epistemic modality, logical modality, broadly logical (or metaphysical) modality, etc.? Many, if not most, MAG proponents confuse the latter two. Logical modality relates to conceptual coherence and incoherence, while broadly modality relates to instantiability or actualization. William Lane Craig, disingenuous man that he is, states that broadly logical modality differs from logical modality while simultaneously associating broadly logical impossibility with incoherence and broadly logical possibility with coherence. His error has been explained to him before; he simply does not care. As long as his audience lacks the knowledge necessary to spot his mistake and correct him, he will continue to spout the same falsehood. And once he's among competent philosophers, he'll simply note that broadly logical impossibility differs from logical impossibility without daring to associate the former with incoherence, lest his claim be ripped to shreds. Since many MAG proponents do not understand modality, Craig is able to hoodwink them into confusing broadly logical modality with coherence.

But surely if we explain the difference between logical and broadly logical modality, show why almost every philosopher (or really: every modal philosopher I know of, including Plantinga) either reduces broadly logical modality to logical modality or distinguishes coherence/incoherence from broadly logically possible/broadly logically impossible (never both) [this is not an argument from the authority since we can cite the arguments these philosophers use to reach their conclusions; Craig provides no arguments for his ludicrous position], etc. modal OA proponents will see the error in Craig's ways? Well...no. Some modal OA proponents will simply ignore the logical/broadly logical distinction and demand that you show them the incoherence in the definition of "MGB" even though the MGB includes broadly logical, not logical, necessity. So some people will follow Craig no matter what he says without bothering to actually provide arguments for what he says or addressing critiques of his claims. After all, thinking for oneself is hard. However, you should still ask the MAG proponent what type of modality they are employing so you can hold them to that choice later. 


Fourth, and finally, ask the MAG proponent to justify their choice of modality. As both I and Rayndeon note (see "Ontological Arguments: A Critique" and Rayndeon's blog), necessity is not granted by fiat. One does not just get to include necessity in one's being's description and expect the rest of us to take it seriously. Nor does one just get to claim that something is logically necessary or metaphysically necessary or epistemically impossible without justifying this modal claim. So if a PSR proponent claims God is logically necessary, ask them where the contradiction is in denying God's existence. Or if a modal OA proponent claims that God is metaphysically necessary, ask them what metaphysical absurdity (or unactualizable/uninstantiable situation) results from denying God's existence. You'll soon realize that most MAG proponents include necessity in their definitions of God for the sole purpose of running MAGs. They either: 1) have no justification for including necessity in God's existence, 2) do not understand the relevant modality well enough to provide a justification, or 3) their justification would work for a myriad of other beings; a fact which they usually avoid by engaging in special pleading.


Hopefully if you follow these guidelines in your encounters with MAG proponents, you can lead them to see the error in their arguments. And who knows, a proponent could address all of these questions while presenting a sound, non-question-begging MAG? But based on my personal experience, I doubt it.



10 comments:

  1. Very nice snapshot of modal theistic arguments.

    However, interestingly, there is a sense in which one can construe the KCA - if you think it is successful (which I do not) - such that it shows a first cause necessarily exists, or one close enough to it, exists. Just something fun you might find interesting.

    So, let's lay out the basic KCA:

    (1) anything that begins to exist has a cause
    (2) the universe began to exist
    (3) the universe had a cause

    As Craig explicates, "begins to exist" means that x begins to exist at interval t iff (i) x exists at t (ii) there are no prior timers at which x exists (iii) x's existence at t is a tensed fact and (iv) there are no facts expressing x's timeless existence.

    Take (1) as being necessarily true.

    In support of (2), we need to take the philosophical arguments in support of it. So, considerations of Big Bang cosmology will not suffice. The philosophical arguments are anti-infinitist arguments and they establish - if sound - that actual infinities are impossible. A past-infinite universe is an actual infinite and if actual infinities are impossible, then in every possible world at which a universe exists, that universe has a beginning. Note that we must also hold that presentism

    However, one could argue something stronger - namely, in every possible world at which concrete objects exist, they have a beginning. But then, in any possible world at which concreta exist and begin to exist, there must be a cause. Moreover, if one has a concreta that doesn't begin to exist, since actual infinities are impossible, it must be a timeless concreta. But, one can argue that the only timeless concreta that are possible must be minds.

    But then, it follows that if concreta exist, then a first cause exists. This first cause must be a mind. It must be enormously powerful and knowledgeable, since it can bring about any concrete state of affairs. If we hold to a framework of substance theory, we might even be able to conclude that this first cause is the same mind in every world at which concreta exist. Let us designate this first cause "Logos."

    So, we arrive at the conditional "if concreta exist, Logos exists." Now, this is equivalent to saying that "Either concreta do not exist or Logos exists." But, what does it mean to say that concreta do not exist at all? It is to say that there are no concreta - that is not anything, nothing. Perhaps one might preclude abstracta from the definition of "nothing" and construe it as simply saying that no concrete particulars exist. So, let us define "nohing" for our purposes to be the thesis that no concrete particulars exist. Hence, it follows that

    "Either nothing exists or Logos exists."

    Interestingly, there is only one possible world at which nothing exists. For the nothing world is a world at which no concreta exist - but the only objects that exist are concreta or abstracta. Abstracta exist in all possible worlds, so they can't be used to delineate one world from another. Instead, we need to appeal to the existence of concreta, but there is precisely one world at which no concreta exist.

    Hence, Logos exists in every possible world - except the world at which there is nothing. This is about as close to metaphysical necessity as would suffice for many people. As long as any modal claim is located in a world where concreta exists, it follows that Logos exists.

    Note we can argue now that the Logos is not just extremely powerful, but pretty much omnipotent - or perhaps omnificent is a better term. That is because this being can bring about any possible concreta - that is, it can actualize any logically possible state of affairs. Consider why: this being doesn't bring about abstracta since either they don't exist or if they do, they cannot be brought into existence. As for concreta, there is only concreta that doesn't begin to exist and hence require cause - namely Logos itself.

    ReplyDelete
  2. Hence, the only states of affairs that could be brought about at all are precisely concreta apart from Logos - but then Logos can bring about any logically possible state of affairs. So Logos is omnipotent.

    Furthermore, as a mind, Logos intentionally brings about each state of affairs and is aware of them. Hence, Logos is omniscient with respect to the properties, relata, etc corresponding to every possible concreta. Also, one can argue that Logos - in being able to link any qualia to any physical correlates - must be omnisubjective like Zagzebski argues, it has all possible experiential knowledge. One might then argue that on this basis, this being knows at least many, many necessary truths, by having the experience of knowing them. So, it seems that Logos must be omniscient, or close to it.

    Perhaps one might then argue - along the lines of Koons or Rasmussen, that a necessarily being has its intrinsic properties essential. While Logos is not strictly necessary, the only world at which it fails to exist is the world at which nothing exists. So, one might argue that the moral status of Logos is an essential property. For any particular moral status Logos has, it might had more or less. So, it must have either no or unlimited moral status. That is, either Logos is amoral, maximally evil, or maximally good. One might argue that Logos cannot be amoral, even that Logos is aware of moral status and what moral properties are like. Also, one might argue that Logos cannot be maximally evil since Logos can reason to the necessary moral truths and realizes that it should do the moral things since it is an eminently rational being - this requires an account of reason externalism however and that moral truths are fundamentally motivating. Hence, the moral status of Logos is that it is maximally good.

    Also, perhaps one might argue - as Bede Rundle does - that a world bereft of concreta is impossible. Then, we go back to the dilemma "Either nothing exists or Logos exists." Then, argue "Necessarily, it is not the case that nothing exists." Hence, by modal modus tollens it is the case that, "Necessarily Logos exist." Therefore, there is a necessary being - Logos.

    Hence, there is a necessarily existent, maximally good, omnipotent, omniscient creator of everything apart from it. As Aquinas would say, this all men call God.

    Now, while it was fun to work out just how far you could take the argument, it's noteworthy how much very questionable sub-arguments and premises it requires. First, it requires that (1) be necessarily true and I see no reason to grant that - I actually think (1) suffers from enormous problems. (2) is problematic because it requires that the anti-infinitst argument works. It also requires that presentism is necessarily true. Without these three premises, all of which I think are false, this modified KCA never gets off the ground to show that there is a first cause.

    As for the arguments that the first cause is God, each of them are highly suspect. I think the argument that the first cause is a mind is weak - it requires a notion of disembodied consciousness and atemporal consciousness and you said you had problems with the latter. I'm not sure how you can get the uniqueness of the first cause without some sort of substance theory and without uniqueness, you cannot get omnipotence or omniscience or maximal goodness. There are also concerns that each of the mentioned properties are incoherent, but that's an aside. The argument that the being must be maximally good is highly suspect. First, there doesn't seem to be any real reason to think that the moral status must be unlimited - whatever that means. A coherent account of maximal goodness must be sketched out for that argument to have any real force. Also, that an omniscient being cannot fail to be maximally good is highly suspect since it requires reasons externalism, that moral properties are intrinsically motivating, that rationality entails morality, etc.

    Anyway, hope you enjoyed this modified KCA.

    ReplyDelete
    Replies
    1. Novel and well-thought out as always, Rayndeon. You managed to pull me away from Archspire’s new track, which is quite an achievement.

      I’ll throw in a one minor points. As stated in the KCA, the link between the Logos and the universe is causal. So the relationship between Logos and what it creates cannot be trivial; if I say “the Logos does not exist” then I should be able to conclude that “the universe lacks a cause and thus could not have come into being”, or “the universe has another cause”, or…Again, I need to infer something interesting here or, as in section III-B of “Ontological Arguments: A Critique”, the reasoning involved in the KCA is crippled. But if the Logo’s is logically necessary then I can only draw any conclusion I want from the non-existence of the Logos; you can derive any claim you want from a contradiction. But this totally undercuts the reasoning involved in the KCA (i.e. imagining what the world would be like if the Logos did not exists, what causal relations would fail to obtain, etc.). So the theist cannot argue the Logos is logically necessary without retracting the KCA and instead offering an argument that shows that denying the Logo’s existence results in a contradiction.

      I might have more to say on this argument later, but that’s all for now.

      Thanks,
      Slaking’s Ability Suppressor

      Delete
  3. One thing I'll say for Plantinga is that he was very honest in carefully distinguishing between an MEB from an MGB, and in doing so made the difficulties in the ontological argument more scrupulous. Most advocates of the ontological argument take it for granted there is no difference between the two, because properly understood, an MEV must necessarily exist to truly be omnipotent. The reasoning for this is suspect, but of course that requires a whole separate argument.

    One thing I've learned is that in debating the an ontological argument with someone is you can't assume they understand it themselves. As a result, if you want to engage them, you have to forget what you know, and ask them what the justification is for the various steps in the argument. You may then find they're making a far more elementary error than the philosopher who originally propounded the argument did, so that your elegant take down is irrelevant. People must be engaged where they are at.

    ReplyDelete
    Replies
    1. I agree Rick; I've got to gauge where the OA proponent is before discussing the argument. I've constantly made the mistake of assuming people knew the difference between logical modality (i.e. coherence) and boadly logical modality (i.e. the modality involved in Plantinga's argument), and would then get unnecessarily surprised when I realized they didn't. And then I would get even more upset when I explained the distinction to them, pointed to passages where Plantinga (and Craig and other philosophers) gave the same distinction, and they blithely ignored my evidence. Sometimes apologetics can be frustrating.

      I simply lack the patience people older them me seem to have. Hopefully if a mathematician like you patiently explains these issues to people, they'll take it more seriously than when it comes from me.

      I look forward to your future Youtube videos and written work.

      P.S. Slaking.

      Delete
  4. This comment has been removed by the author.

    ReplyDelete
  5. A summary of the modal ontological argument.

    Step 1
    Argue that God must must must be a necessary being. Argue that philosophers all know this and you're just stupid if you question it. Make it part of the definition if you have to, but take for granted that it's provably true due to his other attributes.

    Step 2
    Invoke a logic system which has a high standard for what it requires of a necessary being, so that we may not even speak of a being possibly existing until its established it actually exists, and in fact necessarily exists.

    Step 3
    Argue that of course it's possible God exists! Atheists must be very arrogant if they think it's impossible God exists. Why you'd have to be omniscient to know it's impossible for God to exist. And besides, the concept of God appears perfectly coherent. So the assumption that God doesn't exist leads to a ridiculous conclusion, and we conclude therefore God exists, and exists necessarily.

    P.S.
    You might want to check your blog account, I think it's buggy. It seems to insert PS's with nonsense words in them.

    ReplyDelete
    Replies
    1. Slaking Slaking Slaking Slaking Slaking Slaking Slaking Slaking Slaking Slaking

      I'm going to keep bringing this up until you agree that we need an item-suppressing ability for Slaking!

      Just out of curiosity, for step 1, do you agree there are some beings that really do need to be metaphysically necessary: i.e. denying their existence results in (as Rayndeon calls it) a metaphysical absurdity or logical incoherence? I know Platonists will argue that abstract objects (such as number, sets, etc) must be necessary based on just such an argument. But I'm not a Platonist. And I know you cannot use such an argument to justifiy include necessary existence in God's definition. Just curious about your own views.

      Slaking

      Delete
    2. First, it seems to me that the sense in which something in reality actually exists, and the sense in which Sherlock Holmes exists, and the sense in which a number exists, are all different.

      I'm not sure the idea of necessary existence makes sense to me, except in relation to a larger structure that is presumed to exist. The number 5 by itself doesn't mean much of anything. It only gains meaning in a larger structure, like that of the integers, or pehaps as a measure for the size of sets.

      In mathematics, we typically start by creating axioms which themselves are not justified, and some of the axioms involve axioms of existence. So for example in Euclidean geometry we must assume as an axiom there exist 3 non-linear points. In the Peano axioms, we assume 0 exists as a whole number. These axioms seem to come from our intuition.

      --Rick

      Delete
  6. Another form of the ontological argument, meant to highlight its structure.

    Suppose it were the case it was possible an MGB does not exist.

    Then it would be the case that an MGB doesn't exist (as if it did, by definition it would exist necessarily).

    If that were true, then it would be impossible that it was necessarily the case an MGB exists (as if it were necessarily the case, it would have to actually be the case--S5, B).

    But if it were impossible for it to necessarily be the case an MGB exists, then it would be impossible for an MGB to exist (as again, an MGB can only exist if it necessarily exists).

    But that's silly, of course it's possible an MGB exists.

    Therefore our original assumption has lead to an absurd conclusion, and it must not be possible than an MGB doesn't exist.

    ReplyDelete