No I have only assumed the truth of steps 1 and 2.
Yes, but I don’t believe we can properly conceive of a necessary existence as it’s beyond our level of existence, but I’m ignoring those reservations for the sake of argument.
If something exists necessarily it must exist, period. To deny the possibility of necessary existence is to make the absolute statement that all existence is contingent, or that everything is necessarily contingent.
I’m not denying the possibility of necessary existence, but I’m not assuming it either. Remember, the point of this proof is precisely to prove that this necessary existence is indeed real; we can’t assume it in order to prove it. A necessary thing exists by necessity, but you haven’t yet established that there really IS a necessary thing, only that it can be imagined in some manner and isn’t self-contradictory.
But if everything exists contingently, then it is conceivable that absolutely nothing could exist, a “state of affairs” which is, if you really think about it, inconceivable. And if absolutely nothing existed, and nuttin can come from nuttin, then why is there something? We can only conclude that something or other exists necessarily, and Step 3 stands.
This is Aquinas’ Third Way, and does not apply to the Ontological Argument. It’s a sound proof for God, but it’s not the one you’re arguing for here.
Remember, the Ontological Argument is essentially that if I can conceive of the greatest possible being, then the being must really exist because existence is greater than mental existence. The Ontological Argument is an argument based on the very definition of God, not an argument from the contingency of real things.
This step in the argument doesn’t say that anything in particular (triangles, islands, etc.) exists necessarily; it just says something or other (nonspecified) exists necessarily. And when you think about it, it doesn’t make any sense to attach the adjective “necessary” to any contingent thing (e.g. an island or mah huntin dawg) or to something established by convention (e.g. a triangle).
You’re right that it doesn’t make sense to attach “necessary” to any contingent thing, which is precisely why you can’t attach it to the idea of God: my idea of a necessary being is not itself necessary, but contingent, and the Ontological Argument is asking me to work only with contingent ideas. The Ontological Argument never makes it passed contingent things, namely ideas, and therefore can’t be a proof of God (this goes back to my original objections in previous posts).
The Ontological Argument does argue for a particular necessary thing, however, and that is TTWNGCBT. It’s saying that this “greatest thing”, which is God, must really exist because it is greater to exist necessarily than contingently. This doesn’t establish the actual existence of this thing, however. All it does is state that it is greater to exist necessarily than contingently. I can concede that and still not admit to the actual existence of the thing in question because all you’re asking me to do is think of an “actual greatest thing” rather than a “mental greatest thing”, which I can do but it remains a thought only.
Here you are importing elements from the first argument which is not under discussion.
I’m not importing elements from the first discussion. Remember, I said in our first discussion that I don’t accept the premise that we can conceive of necessary existence, and here I’m admitting it and showing how even with that admission the Ontological Argument fails to do what it claims to do, which is carry over from the mental definition to actual reality.
Again, even if I can conceive of a necessary reality that doesn’t prove that the necessary reality exists outside of the mind. Since my thought of a necessary reality is itself merely a contingent reality it doesn’t logically follow that a real necessary being exists just because I can formulate a contingent thought I call “necessary”.
Where this form of the argument really comes completely undone is #7, because you’ve gone from speaking of a contingent idea, namely the idea of a necessary being, to a necessary reality. I can admit that God must be logically necessary without admitting that that God is really necessary. A contingent God is self-contradictory, and any definition of God includes necessary existence, but this remains nothing more than a contingent idea within my own mind; we haven’t bridged the gap between my admitting the logical necessity of God being necessary, to the reality of a necessary God.
Given our givens, if you concede the possibility of necessary existence, the conclusion is inevitable. Unless you don’t trust the rules of logic.
As I pointed out above, I can admit that a necessary triangle is necessary, and that a necessary triangle is
logically possible, but this is not the same as admitting that a necessary triangle actually exists or is
actually possible. Since all of my thoughts are merely contingent there is no actual necessity given to my ideas; if my thoughts had any kind of necessity then I wouldn’t need to be led through argument, but my thoughts are contingent upon my understanding and reasoning things through (not to mention actually conjuring them up in my mind), and therefore you can’t argue from them (contingent as they are) to actual necessity.
In the end all this does is argue the logical necessity that any definition of God include necessity, but as with the “necessary triangle” it does not prove actual existence of the idea, only a self-consistent (and contingent) thought.
Peace and God bless!