St. Anselm's Proof: A Problem of Reference, Intentional Identity and Mutual Understanding (G. Klima) For my own purposes, I'll summarise my response to the article.
The first section advocates an account of meaning in terms of the intent of the speaker or user of the language, so that a reference refers to what the speaker intends it to refer to. Relying on intent fails to account for many aspects of language use. Relying on intent also renders the context opaque, since someone's intent can only be inferred from what they say and do. This is particularly clear in the mooted "object of thought", which seems to be very much the sort of thing rejected by the Private Language argument.
This opacity carries in to the argument proper in section two, were god is defied as a thought-object. This is perhaps most apparent at line five, were the thought-object is substituted into a thought in order to construct a contradiction, despite it not being obvious that this substitution can be done salva veritate. The argument also defines god as the maximum element in a sequence that may have no limits. There is a move from ens rationis to ens reale, that can be brought out by using Free Logic. Finally, that the first assumption, "God is only in the intellect", is the one that must be rejected is not satisfactorily argued.
Section three addresses Anselm's second ontological argument, and has similar problems to the first argument. But in addition there is the problem of how to deal with a necessary being without the consequence of modal collapse. Here are also offered three defences of the argument, which seem inadequate.
And here we begin to see the thesis of the article: that those who disagree with the argument have not understood the idea of god.
Section four returns to the theory of reference, The problem with the article's argument here is clear enough: how could we know that "the questioner thinks of the same thought object as the answerer"? And further, how can the "thought-object" in the mind of the saint be said to be the same as the "thought-object" in the head of the fool - and indeed, how could they be said to be different?
The final section sets out an account of Aquinas' rejection of Anselm's argument, on the grounds that the non-believer may well not accept that the sequence of greatness has a limit. Klima's thesis is here explicated somewhat. Those who have not agreed with the argument do so becasue they do not have an adequate understanding of god; and that their understanding is inadequate is shown by their not accepting that the sequence of greatness has a limit. The circularity of this approach is obvious.
The ontological argument may well be a way for the theist to grasp what it is they believe. But there are sufficient problems with the argument for it to be discounted as a demonstration of theism. Of course it does not follow that there is no god. Similarly the thesis of this article, that those who disagree with the argument have not understood the idea of god, may give solace to believers but is dependent on an approach to reference that ignores the communal dynamics of language.
I've enjoyed reading this article in detail, so thanks for this thread. In the end I doubt that anything is changed by such rumination, but they can be entertaining. Ontological shock, the surprise we feel at there being something rather than nothing, is not answered by such discussions. To my eye it is more honest to simply admit that there are things we do not, and perhaps cannot, understand.