scottie said: Using a property of x to prove that x is true? Well that's called begging the question. |
Actually, since Kant's famous counterexample with the golden thalers, "existence as a property" has generally be considered an untenable position. So it's not as much begging the question as defining what a property is.
Anyone interested should research Frege and Russell, or on the other side Meinong or Goedel's "proof of existence of God" - if you really have the mathematical guts to delve in it.
Let's just say that the "old" ontological argument is dead and buried, but Meinongian theories at least shed an interesting light on the issue of negative proposition of existence.