Anselm’s Ontological Proof for God

Posted on December 30, 2008
Filed Under Philosophy, Religion | 9 Comments

D625F638-49E9-46E4-8130-7215864F5BBA.jpgI’d mentioned on the sidebar Richard’s discussion of the ontological proof for God. I wanted to return to this since I think the proof is just one of the most interesting arguments in philosophy. It’s been characterized many ways and most of the variations we have today owe at least as much to Kant as Anselm. The most interesting approach to the argument is, in my mind, Marion’s. (In “Is the Ontological Argument Ontological?” which has a nice history of the argument as well) Allow me to discuss the argument more from the perspective of Marion rather than Kant.

The argument is standardly presented as follows :

  1. God is something greater than which can not be conceived
  2. We can conceive of “a greater than which can not be conceived
  3. It is greater to exist than not exist
  4. Therefore “a greater than which can not be conceived” must both exist and be conceivable

Note that this is subtly different from how Richard presents it. From early on (at least since Gaunilo) this was reformulated as “greatest conceivable being” but that’s really not what Anselm is doing. Whether you agree with Marion or not it seems Anselm’s text is fairly clear.

“But certainly this same fool, when he hears this very thing that I am saying — something than which nothing greater can be imagined — understands what he hears; and what he understands is in his understanding, even if he does not understand that it is. For it is one thing for a thing to be in the understanding, and another to understand that a thing is.” (Anselm, Proslogion)

It’s just not the case that “something than which nothing greater can be imagined (conceived)” is the same as “greatest conceivable being.” After all something that is inconceivable may also have nothing conceived greater. And this is basically Marion’s line of argument.

If one takes this line of reasoning then Kant and most other arguments against Anselm fail. Consider Kant’s “existence is not a property” argument. It fails since Anselm isn’t treating it as such. (I’ll return to this in more depth later) For Marion God as such is inconceivable. (And Marion offers fair historical argument for traditional theologians seeing God as such as inconceivable) Thus the only thing conceivable about God is that he is beyond all conception. To speak about existence as a property is to speak of God as conceivable. (Since there is something you can predicate of God) The argument is not about the greatest conceivable being at all but rather the most inconceivable being.

Greater in this reading of Anselm consists of negating acceptable concepts. Thus the only way to be greater is to have less concepts. Now one can (and perhaps should) argue that even “a greater than which can not be conceived” is itself a concept. And there’s a whole debate about this. But let us say, in the path of negative theology, that we ought negate even this. That doesn’t really change the argument. God still is what is completely and utterly Other and we simply ought recognize that we simply can’t talk about such. That is we gesture towards what is unspeakable.

Now the tricky part is the “it is greater to exist than not exist.” However I think if we are talking about inconceivability then this makes sense — especially in light of our earlier talk of negations. To be in the mind is to be in part conceivable. Yet clearly an even more inconceivable ‘entity’ would have even that level of conceivability negated. That is it would be totally and utterly inconceivable. But the only way such inconceivability is possible is if it doesn’t exist in the mind. Now there’s two ways to look at that. As simply the empty set. That is there is no such entity. However it also logically is the case that it is simply existing without conceivability. The empty set however is more conceivable than what is purely inconceivable. (Since we clearly can talk of empty sets)

Whether the argument is convincing really ends up depending upon that final step. Thus for Marion God becomes what is totally Other.

Now for Marion there is a bit more in his thought – what he calls the saturated phenomena. And I’ll not get into that since I tend to disagree with Marion there. I just wanted to present a different way of reading the above. Of course this reading of the argument gets us into the question of metaphysics in the sense of the two senses of nothing. (Empty set versus what is not a thing) That debate goes back at least to the famous Heidegger versus Carnap debate and arguably back to medieval philosophy entirely. The point is though that to reject this form of the argument really entails adopting a strong metaphysical position that must be argued for.

Related posts:

  1. Ontological Argument
  2. Anomalous Monism Again
  3. Null Sets
  4. Heidegger and Science
  5. Plantinga’s Modal Ontological Argument
  6. Detecting Chance

Comments

9 Responses to “Anselm’s Ontological Proof for God”

‘The empty set however is more conceivable than what is purely inconceivable.’

Consider the set of all purely inconceivable sets whose members exist or don’t exist . . .

I smell a paradox, but could God live outside of this set? Is that would it would take to be Totally Other.

Can one have an inconceivable set?

But you’re right that I think there end up being paradoxes here. The bigger question is why on earth we should believe that this “a greater than which cannot be conceived” is God. Now for Anselm it’s because of faith (as the Proslogion makes clear). There is already a theological tradition. But then there’s the question of relating all these “Gods of the philosophers” like Aristotle’s causa sui to the God of the Bible. To me I think things get tricky fast here.

Then there’s the question of what this “Other” is. For Marion it is an excess of intuition (in the phenomenological sense). That is there is more givenness than our concepts can contain. So Marion sees this in terms of the hyerpousia of the medieval philosophers and presumably neoPlatonists. For someone like Derrida it’s the exact opposite. It’s an absolute lack. That debate is quite interesting but also a tad tricky.

For someone who just doesn’t buy into the theology of the medieval era or late antiquity one has to ask what the point of all this is. Thus you can have people like Heidegger or Derrida who rightly pass as atheists adopting this Otherness. Does one move towards a deism or something else?

I don’t think the argument with the three “nots” thrown in makes any sense at all. The conclusion is that something greater than that which cannot be conceived is conceivable. That is either trivial (if nothing is inconceivable) or a first class contradiction.

The premise of the argument is that God is greater than anything that is inconceivable. However, it is self-contradictory to assert that that which exists and is inconceivable can be compared on any metric (other than conceivability) with that which exists and is conceivable. “Inconceivable” means that such a comparison cannot be conceived of, by definition.

God must then also be inconceivable. However, the premise is that God is greater than anything that is inconceivable. This is a contradiction, because no valid comparison of any kind can be made between two existing entities that are inconceivable, and God cannot be consistently be held to be greater than himself in any case.

The shorter answer is that it is irrational to suppose that which is inconceivable even exists. The only way such a proposition makes the tiniest bit of sense is to adopt a dubiously subjective sense of conceivability different in degree but not in kind to the predicate “conceivable by a guinea pig”.

And if the inconceivable does not exist, all the argument demonstrates is that “something that exists” both exists and is conceivable. Not exactly a profound revelation.

As I said Mark, I think that issue of conceivability and inconceivability is key. If you accept it then the argument makes sense. If you don’t then it’s ludicrous. And of course there’s the issue of burden of proof there.

I would say that the premise is not that God is greater than anything that is inconceivable. It’s that we can conceive of “a greater than which can not be conceived” which then points us towards this issue of conceivability.

The question of whether comparisons can be done with inconceivable things is a fair one and I think I mentioned it in the post itself. I think the only solution is to continually negate things. Interestingly elsewhere Marion comes up with a “third way” between affirmation and negation which is roughly pragmatic performances. That is a kind of contentless ritual. While he and Derrida disagree on the issue of the hyperousia (and presumably how Marion conceives of Anselm’s argument) this issue of something else than true/false is interesting one. Although part of me thinks it’s sometimes little more than a category mistake.

Clark: The first premise is that God is “something greater than which can not be conceived”. I don’t know how you get from there to “premise is not that God is greater than anything that is inconceivable”.

I don’t think the second premise (We can conceive of “a greater than which can not be conceived”) makes any sense either, with the sole exception of the inconceivable being an empty set. How can anyone conceive of something that is greater than an (existent) inconceivable something? Inconceivable means such comparisions cannot be conceived of.

Sorry, I should have but quotes in there to clarify that. That’s my fault. (Fixed now)

With the way I had it the sentence was ambiguous and I can understand the confusion. (Dang it. I hate when I do that.) Realistically I shouldn’t have used the word “something” either. So I changed that as well.

I can see your point on the second premise which is why I said everyone won’t agree with that. There are two ways to conceive (if I dare use that word) of nothing. As the empty set and as not-a-thing. Heidegger and those who come after him think not-a-thing is very important and you end up with talk like “the nothing nothings.” Of course to folks who reject that notion, who in effect say that to exist is to be conceivable, this is all nonsense. This is why Heidegger and others suggest that before we can do much philosophy we have to engage with the question of being. However clearly many end up with de-facto conception of being.

For Marion it is this conception of being that then leads Kant (and perhaps even Descartes and Leibniz) to formulate the ontological argument as ontological. His point is to suggest we can frame the argument in a way in which it isn’t obviously false. Which if we conceive of being as presence (i.e. as something conceivable to mind) just doesn’t make much sense.

I should add that I still think there is a way to attack Marion’s reading. Indeed one of the very early posts in my blog I discussed Marion and Anselm and what I saw as the problem. Roughly my criticism is that “a greater than which can not be conceived” is still tainted with some conceivability. (I mentioned in passing this in my post above) Thus we end up with both “a greater than which can not be conceived” and then a further negation of that for total inconceivability. But we’re then left with Anselm not going far enough and an argument that might work but which can’t be made (since the first premise is of necessity unsayable) I made some similar points in a discussion with Jim F. of trancendence not long after. (If you read that you’ll note the discussion gets at the not-a-thing versus emptiness. But emptiness isn’t necessarily the empty set as traditional though but more something analogous to the set as a holder for things. Roughly as place itself. I reject Marion’s conception of not-a-thing as hyperousia but am very taken with Derrida and the notion of place.

The other obvious problem is one I mentioned in my post. Why should we conceive of “greater” as less conceivability? Or, in an other oft mentioned criticism of the traditional reading of the argument, why is existence greater than non-existence?

Just rereading your comment, Mark, to ensure I actually answered it. You said,

it is self-contradictory to assert that that which exists and is inconceivable can be compared on any metric (other than conceivability) with that which exists and is conceivable.

While I think this is a very good point, (how do you compare the inconceivable?) I think the comparison is over how inconceivable something is. Think of it in Kantian terms. You have the thing-in-itself and then the thing-as-manifest. For Kant those are absolutely separate even though they are the same thing. Now can we compare how inconceivable two entities are? I suspect one could argue that having fewer knowable properties means something is greater (in the sense Marion asserts)

As I said at the end of that last comment, the big question is to ask why “greater” is taken as “more inconceivable” or “more other.” That is quite unclear to me — especially in a Mormon setting where I think we move in the other direction. In a general Christian context when one talks about Christ it raises the obvious question of how we could proceed in this Anselm-like fashion. If we talk about God in his essence (i.e. the ousia) that’s fine. But then, in Kantian terms, we can ask why we can’t talk about the thing-in-itself for any entity. i.e. why is God special? I think Anselm would say that as creatures we don’t have this thing-in-itself. I’m not sure Marion can make that move though given his other philosophical commitments. (I don’t know – maybe someone more versed in Marion could chime in?)

8 Michael Dorfman on January 1st, 2009 12:55 am

Clark: Whether the argument is convincing really ends up depending upon that final step

I disagree. Step 3 is unsupported, and most likely false, so I don’t think the final step even gets into play.

There’s no inherent reason why existing should be considered “greater” than non-existing. In fact, I think that most evidence would point to the contrary.

In the absence of serious evidence to support step #3, I’d view Anselms’s argument as nothing more than wishful thinking.

Just to clarify, in case it wasn’t obvious, I don’t buy Anselm’s argument. I think there are a number of hidden premises that are needed for it to work and those are pretty controversial. I think though, to the degree I dare say I get Marion’s argument, that “greater” = “more inconceivable.” In that reading then I think it works, albeit still in a controversial fashion obviously.

As I mentioned to be completely inconceivable (Other) then you have to be outside of mind. So to me the controversial step is how to characterize (3) rather than necessarily (3) itself. Read the way you do, Michael, I agree it is ridiculous. In the argument as typically presented “greater” just seems like a hopelessly muddled term.

Worse yet even if we adopt “greater” as “more inconceivable” it’s hard to fathom why we ought call this otherness God in any sense of the Christian tradition. I think it unreconcilable to both the traditional Trinitarian doctrine let alone an interventionist God. It leads more to atheism or at best deism. If you read Marion’s paper he acknowledges this although I don’t think he has adequate responses beyond “it’s tradition.”

Leave a Reply