Gottlieb Frege claimed they were doomed because existence is a second-order predicate, so a first-order claim is meaningless.
th century examples include Alvin Plantinga's "victorious" modal one, as well as one by Kurt Gödel. Gottlieb Frege claimed they were doomed because existence is a second-order predicate, so a first-order claim is meaningless. Found in the Meditations of Descartes and the Proslogion, for ten points, name this argument, which St. Anselm used to prove the existence of God.
th century examples include Alvin Plantinga's "victorious" modal one, as well as one by Kurt Gödel.
{ontological} argument