The Ontological Argument

Anselm, Plantinga, modal logic, and whether existence can follow from a definition.