Yeah, there’s only about 900 years or so of critique… But let’s cut to the chase here.
For sake of argument, let’s grant that there is some meaningful “greater than” order between beings (whether or not they exist) that there is a possible maximum to the order (rather than an unending chain of ever-greater beings), that parodies like Gaunilo’s island fail for some unknown reason, that existence is a predicate, that there is no distinction between conceivability and logical possibility, that beings which exist are greater than beings which don’t, and a few thousand other nitpicks.
There is still a problem that premises 1) and 2) don’t follow from Anselm’s definition. We can try to clarify the definition like this:
(*) G is a being than which a greater cannot be conceived iff for every possible world w where G exists, there is no possible world v and being H such that H in world v is greater than G in world w
No difficulty there… Anselm’s “Fool” can coherently grasp the concept of such a being and imagine a world w where G exists, but can also consistently claim that the actual world a is not one of those worlds. Premise 1) fails.
Or we can try to clarify it like this:
(**) G is a being than which a greater cannot be conceived iff there are no possible worlds v, w and no being H such that H in world v is greater than G in world w
That is closer to Plantinga’s definition of maximal greatness, and does establish Premise 1). But now Premise 2) is implausible, since it is not at all obvious that any possible being satisfies that definition. The Fool is still scratching his head trying to understand it...
I am no longer responding to arguments on this topic, although I will clarify my points if asked. Political argument in an environment where I am already aware of the consensus position on this topic is not productive.
It bugs the hell out of me not to respond to comments like this, but a lengthy and expensive defence against arguments that I have already encountered elsewhere just isn’t worth it.
Sorry my comment wasn’t intended to be political here.
I was simply pointing out that even if all the classical criticisms of St Anselm’s OA argument are dropped, this argument still fails to establish that a “being than which a greater cannot be conceived” is a logically necessary being rather than a logically contingent being. The argument just can’t work unless you convert it into something like Alvin Plantinga’s version of the OA. Since you were favouring St A’s version over Plantinga’s version, I thought you might not be aware of that.
Clearly you are aware of it, so my post was not helpful, and you are not going to respond to this anyway on LW. However, if you wish to continue the point by email, feel free to take my username and add @ gmail.com.
The phil. community is pretty close to consensus , for once, on the OA.
Yeah, as far as the “classical ontological arguments” are concerned, virtually no philosopher considers them sound. On the other hand, I am under the impression that the “modern modal ontological arguments” (Gödel, Plantinga, etc...) are not well known outside of philosophy of religion and so there couldn’t be a consensus one way or the other (taking philosophy as a whole).
I am no longer responding to arguments on this topic, although I will clarify my points if asked. Political argument in an environment where I am already aware of the consensus position on this topic is not productive.
It bugs the hell out of me not to respond to comments like this, but a lengthy and expensive defense against arguments that I have already encountered elsewhere just isn’t worth it.
I have read the critiques, and the critiques of the critiques, and so on and so forth. If there is some “magic bullet” argument I somehow haven’t seen, LessWrong does not seem the place to look for it.
I will not respond to further attempts at argument. We all have political stakes in this; LessWrong is generally safe from mindkilled dialogue and I would like it to stay that way, even if it means accepting a consensus I believe to be inaccurate. Frankly, I have nothing to gain from fighting this point. So I’m not going to pay the cost of doing so.
Yup. It’s the Anslem one, in fact.
Well, it’s not like there’s a pre-existing critique of that, or anything.
Yeah, there’s only about 900 years or so of critique… But let’s cut to the chase here.
For sake of argument, let’s grant that there is some meaningful “greater than” order between beings (whether or not they exist) that there is a possible maximum to the order (rather than an unending chain of ever-greater beings), that parodies like Gaunilo’s island fail for some unknown reason, that existence is a predicate, that there is no distinction between conceivability and logical possibility, that beings which exist are greater than beings which don’t, and a few thousand other nitpicks.
There is still a problem that premises 1) and 2) don’t follow from Anselm’s definition. We can try to clarify the definition like this:
(*) G is a being than which a greater cannot be conceived iff for every possible world w where G exists, there is no possible world v and being H such that H in world v is greater than G in world w
No difficulty there… Anselm’s “Fool” can coherently grasp the concept of such a being and imagine a world w where G exists, but can also consistently claim that the actual world a is not one of those worlds. Premise 1) fails.
Or we can try to clarify it like this:
(**) G is a being than which a greater cannot be conceived iff there are no possible worlds v, w and no being H such that H in world v is greater than G in world w
That is closer to Plantinga’s definition of maximal greatness, and does establish Premise 1). But now Premise 2) is implausible, since it is not at all obvious that any possible being satisfies that definition. The Fool is still scratching his head trying to understand it...
I am no longer responding to arguments on this topic, although I will clarify my points if asked. Political argument in an environment where I am already aware of the consensus position on this topic is not productive.
It bugs the hell out of me not to respond to comments like this, but a lengthy and expensive defence against arguments that I have already encountered elsewhere just isn’t worth it.
Sorry my comment wasn’t intended to be political here.
I was simply pointing out that even if all the classical criticisms of St Anselm’s OA argument are dropped, this argument still fails to establish that a “being than which a greater cannot be conceived” is a logically necessary being rather than a logically contingent being. The argument just can’t work unless you convert it into something like Alvin Plantinga’s version of the OA. Since you were favouring St A’s version over Plantinga’s version, I thought you might not be aware of that.
Clearly you are aware of it, so my post was not helpful, and you are not going to respond to this anyway on LW. However, if you wish to continue the point by email, feel free to take my username and add @ gmail.com.
Fair enough. I was indeed aware of that criticism, incidentally.
Or counters to those pre-existing critiques, etc...
The phil. community is pretty close to consensus , for once, on the OA.
Yeah, as far as the “classical ontological arguments” are concerned, virtually no philosopher considers them sound. On the other hand, I am under the impression that the “modern modal ontological arguments” (Gödel, Plantinga, etc...) are not well known outside of philosophy of religion and so there couldn’t be a consensus one way or the other (taking philosophy as a whole).
I am no longer responding to arguments on this topic, although I will clarify my points if asked. Political argument in an environment where I am already aware of the consensus position on this topic is not productive.
It bugs the hell out of me not to respond to comments like this, but a lengthy and expensive defense against arguments that I have already encountered elsewhere just isn’t worth it.
Source?
I have read the critiques, and the critiques of the critiques, and so on and so forth. If there is some “magic bullet” argument I somehow haven’t seen, LessWrong does not seem the place to look for it.
I will not respond to further attempts at argument. We all have political stakes in this; LessWrong is generally safe from mindkilled dialogue and I would like it to stay that way, even if it means accepting a consensus I believe to be inaccurate. Frankly, I have nothing to gain from fighting this point. So I’m not going to pay the cost of doing so.