This argument was modified by Alvin Plantinga, who used modal logic and axiom S5, that possible necessity implies necessity, to prove it; this proof was restated by Godel in the 1970s. A parody of this argument by Gasking proves the exact opposite by supposing that something is more impressive the greater the handicap of the achiever. One of the first objections to it was raised by Hume in a general argument against a priori proofs. More familiar objections to this include Gaunilo's island and Kant's argument that exist
This argument was modified by Alvin Plantinga, who used modal logic and axiom S5, that possible necessity implies necessity, to prove it; this proof was restated by Godel in the 1970s. A parody of this argument by Gasking proves the exact opposite by supposing that something is more impressive the greater the handicap of the achiever. One of the first objections to it was raised by Hume in a general argument against a priori proofs. More familiar objections to this include Gaunilo's island and Kant's argument that existence is not a predicate. For 10 points, name this argument suggested by Anselm that uses the premise that existence is a perfection to show that God exists.
This argument was modified by Alvin Plantinga, who used modal logic and axiom S5, that possible necessity implies necessity, to prove it; this proof was restated by Godel in the 1970s.
ontological argument [accept obvious equivalents]