Look, there seems to be some disagreement about what it means to exist necessarily. The way my intro professor put it, is that there are four categories of types of existence, the first three of which are fairly intuitive.
1. Contingent existence: Something exists, but there's no contradiction in its not existing. Cats, dogs, Aunt Peggy.
2. Contingent non-existence: Something doesn't exist, but there's no contradiction in its existing. Unicorns, a golden mountain, my daughter Rae.
3. Impossible existence: Something doesn't exist, but there's a contradiction involved in its existing. A square circle.
The fourth is that of Impossible non-existence, which would be something that exists, and it's non-existence is contradictory. The Ontological Argument seeks to show that God belongs to this fourth category.
__________________
"Die Deutschen meinen, daß die Kraft sich in Härte und Grausamkeit offenbaren müsse, sie unterwerfen sich dann gerne und mit Bewunderung:[...]. Daß es Kraft giebt in der Milde und Stille, das glauben sie nicht leicht."
"The Germans believe that power must reveal itself in hardness and cruelty and then submit themselves gladly and with admiration[...]. They do not believe readily that there is power in meekness and calm."
-- Friedrich Nietzsche
|