The ontological argument, from St. Anselm to contemporary philosophers