blog.kennypearce.net

Modal Collapse: Sobel's Objection to Gödel's Ontological Argument

The last ontological argument Sobel discusses is the Leibniz-inspired argument put forward by the famous logician Kurt Gödel. Gödel sets up a formal system in third-order quantified modal logic with equality and abstraction (!) and proves within that system the theorem: □∃xG(x) Where the predicate G is defined as follows: Gx ↔ ∀φ[P(φ) → φ(x)] Where P is primitive. (Sobel includes the complete source texts for Gödel's proof on pp. 144-146.) Now, unsurprisingly, given that the proof was originated by Gödel, everyone agrees that the proof is valid in the formal system. The question is whether there are any interpretations...
Continue reading "Modal Collapse: Sobel's Objection to Gödel's Ontological Argument"

A Genuine Dialectical Problem for Ontological Arguments

Sobel spends much of the third chapter Logic and Theism evaluating the dialectical status of ontological arguments, and, in particular, whether ontological arguers are entitled to the premise that it is possible that there be a perfect being. I am simply going to take the occasion here to state my opinion on the matter. There is a fundamental dialectical tension in the ontological arguments that start from this premise. If, on the one hand, necessary existence follows trivially from the stipulated definition of perfection, then the argument will beg the question as Sobel suggests that Anselm's argument does. That is...
Continue reading "A Genuine Dialectical Problem for Ontological Arguments"

Sobel's Argument Against Believing in the Possibility of a Perfect Being

My previous posts on Sobel's Logic and Theism, have been pretty favorable and made only minor criticisms or qualifications. In this post, my criticism will be much more strenuous for, in his criticism of modern modal ontological arguments, Sobel has made a serious error. Sobel wants to argue that there is no strong presumption in favor of the possibility of a perfect being, and that, because of contrary evidence (e.g. the problem of evil), if the ontological argument is to benefit the theist (by showing that, necessarily, there is a perfect being), rather than harm the theist (by showing that...
Continue reading "Sobel's Argument Against Believing in the Possibility of a Perfect Being"

The Dialectical Appropriateness of Ontological Arguments

After, for some reason or other, spending some 30 dense pages of Logic and Theism on the laughable ontological arguments of Descartes and Spinoza, Sobel moves on to the more interesting argument advanced by Anselm. (The next chapter deals with versions of the argument set in modern modal logic, such as those of Hartshorne and Plantinga.) In my view, the Descartes and Spinoza arguments don't even look good; the Anselm version at least produces puzzlement, insofar as the reasoning looks valid, yet it seems, intuitively, that no such strong conclusion could ever be derived from such weak premises. Sobel (fairly uncontroversially...
Continue reading "The Dialectical Appropriateness of Ontological Arguments"

Normative Skepticism and the Existence of God

As I discussed in my last post, Sobel argues that the main requirement anything has to fulfill in order to count as a god is that it must be deserving of worship. However, as Sobel argues on pp. 24-25 of Logic and Theism, this requires that it makes sense to talk about something being worthy or unworthy of worship. An error theory of the normative (a view that questioned whether statements about 'worthiness' and other such things were ever correct), such as the view espoused by J. L. Mackie, would have the result that no matter what might exist in...
Continue reading "Normative Skepticism and the Existence of God"

Divine Freedom and Worship

This is the first substantive post in my discussion of Sobel's Logic and Theism. The first chapter of Sobel's book focuses on the question of what people disagree about when they disagree about whether God exists. There are a lot of interesting metaphysical and linguistic issues here, like the meaningfulness of negative singular existentials, but this is all really preliminary to the real purpose of evaluating beliefs in God and the reasons for them, so, although these issues are interesting, I'm going to keep discussion of them to a minimum, and focus on what I take to be the first
Continue reading "Divine Freedom and Worship"

Sobel's Logic and Theism: An Introduction to my Forthcoming Discussion

Some time ago, I promised that I would take time on this blog to seriously engage with some recent work arguing in favor of atheism. The book chosen, mostly on Brandon's recommendation, was Jordan Howard Sobel's 2003 Logic and Theism: Arguments For and Against Beliefs in God. This summer I had a fairly long reading list of things more closely related to my main research directions in metaphysics and early modern philosophy so, unfortunately, I did not get started on this earlier. I have, however, now (one week before the start of classes) completed my other reading and begun working...
Continue reading "Sobel's Logic and Theism: An Introduction to my Forthcoming Discussion"

Seeing the World Through Teleology-Colored Glasses

My previous post on evaluating traditional theistic arguments has generated a lot of discussion! Thanks to Jonathan, Lewis, and Clayton for helping to clarify some issues with my initial presentation. Most of the discussion centered on the teleological argument. I'm not sure if that's just because I presented it first, or because it was the most problematic...Anyway, let me try to make my version of the argument a little more precise, and consider some objections. (The most important objection, I take it, is that we see the world through teleology-colored glasses, as it were; more on that below.) In trying to make the argument the more precise, I will ...
Continue reading "Seeing the World Through Teleology-Colored Glasses"

Evaluating the Traditional Arguments for God

Kant famously classified traditional arguments for the existence of a divine being into three categories: ontological, cosmological, and teleological. Very few, if any, philosophers today think that any of these forms of argument is conclusive. However, some philosophers do believe that a cumulative case for the existence of a divine being can be made out from these arguments. Atheist colleagues often respond that "three leaky buckets won't hold water any better than one." However, this reply assumes that the traditional arguments don't show anything at all. Specifically, those who respond this way are often assuming that the arguments are straightforwardly...
Continue reading "Evaluating the Traditional Arguments for God"

Best Recent Books For and Against Religious Belief

Right now there are two very active comment threads on this blog: the first discussing whether or not I should read The God Delusion and the second listing philosophical science fiction stories. As such, I thought I would combine the religious discussion with the successful attempt at blog bibliography by asking readers to list the best recent books for an against religious belief. I will admit that I actually haven't read any of the books below all the way through; I list them because they are commonly excerpted in philosophy of religion readers (I have read excerpts of most of...
Continue reading "Best Recent Books For and Against Religious Belief"

What Caused God?

In comments to my post on Dawkins and the Philosophers, atheist blogger Jonathan West has been pushing back against Michael Ruse's claim that Dawkins' prominent use of the "what caused God?" question is, as Jonathan puts it, 'fatuous.' Jonathan has also pushed this point in a recent blog post which considers this question in light of Swinburne's 'necessary being' arguments in The Existence of God. I will first make a few remarks about Swinburne's work in this area, and then proceed to show why the "what caused God?" question is indeed confused. To be fair, I admit...
Continue reading "What Caused God?"