Evaluate the Ontological Argument for the Existence of God

The Ontological argument attempts to prove the existence of God deductively. Anselm is seen as having put forward this argument in its original form, paraphrased as the following syllogism: 1. The existence of an object is a necessary condition or attribute for its perfection 2. God is, by definition, perfect 3. God must exist There are two main problems with this argument. The first is known as the overload objection, which stipulates that this type of argument can be extrapolated to include virtually any form of existence. Gaunilo, one of Anselm's contemporaries, used it to postulate the necessary existence of a perfect island. While Anselm can somewhat reply to this objection, he fails to meet Kant and Frege's elucidation of the unusual grammatical behaviour of "existence": it cannot be used as a predicate in the above syllogism and the argument is therefore not sound.