I had no intention of being overly snippy, jayjay, but conceptualizing reality has been a longstanding problem for philosophers and scientists since recorded history. I personally find philosophy incredibly important, and I constantly find references to navel-gazing, angel-dancing, and handwaiving to be slightly annoying.
You ask, do logical proofs of God mean anything, and then clarify the stress on the logic. Do logical proofs of anything mean anything? Of course they do! Logic is one of the many symbol-sets and systems that we use to understand this mess we’re in. Ayn Rand has said that one can avoid reality, but one cannot avoid the consequences of avoiding reality. Truer words were never spoken, whether you think she was a crazy old bat or not. Understanding reality isn’t angels dancing on pins, and angels dancing on pins is, to some people, a rather interesting question about the nature of beings which they think exist.
You think a ball point pen exists, it is real, and it fits in your hand. You like empirical demonstrations. Yet a long line of empiricists have attacked such knowledge, beginning largely with Hume, moving on to Kant, and up to the present day. The matter might not ever be solved, but its examination serves to clarify just what the hell we mean when we do anything.
Is the question, “What is existence?” so unimportant when you hold a pen in your hand? Isn’t declaring it real and available accepting “existence”? And don’t you depend on logic to assert its existence anyway: “I feel it and see it; therefore it is.”
I don’t mind people waving off philosophical discussion; it simply isn’t for everyone. But when people attempt to attack it as unimportant they do so from a position that itself came from such handwaving.
Hume denied that tautologies say anything about the world. Kant told us that our very existence gave us special knowledge that was neither logical nor empirical in nature. Russell (and a group of others besides him) felt that everything that could be understood was either a function of the language used to express it or able to be demonstrated, that in fact metaphysical propositions are strictly meaningless (contrary especially to Kant). Wittgenstein showed us that our languages shape the way we think about the world, and also showed us that the way we think about the world is revealed by our language, and as he said, “What we cannot speak about we must pass over in silence” (only later to go against this very proposition).
Why is rejecting Anselm a good idea? The questions are logically opposite and should be answerable in the same manner, yet one seems so obvious to you. Why? Is the answer to that like arguing about how many angels can dance on the head of a pin?
Some people feel a god of some kind exists, others think ball point pens exist, and both have boon looking for quite some time at a proof that would demonstrate that these things’ existence is necessary. Some people just like to toy with logic and see what its limitations are, the study of which is a form of logic in a sense. Some people just pass over it in silence. You don’t choose silence, yet look to explanation as handwaiving. I do not understand.