The Godel proof of God I should say up front is something that I believe in. I know that as Dr. Kelly Ross wrote: "the modern principle in this respect is the formula, "Existence is not a predicate." Now, I tend to agree with this, but I do not think that the issue is anywhere near settled or certain. The modern case is compromised with the decision in logic to treat existence as part of the system of logical quantification. I think this is nonsense. In traditional logic and ordinary language, existence clearly is a predicate. A more sophisticated and accurate approach would be to develop the difference between verbal and nominal predicates. Existence would not seem to be a nominal predicate -- though there are indeed languages without a present tense verb "to be" that must use a nominal construction. "
In Mathematical Logic there are two principles which answer the objection of Kant.
(Completeness Theorem)(Compactness Theorem).
I am not at present involved in this subject but I thought to write it down just for a reminder to look at this later.
The place I learned about these two theorems was from Stefan Bilaniuk's book Chapter 4. [http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf]
In Mathematical Logic there are two principles which answer the objection of Kant.
(Completeness Theorem)(Compactness Theorem).
I am not at present involved in this subject but I thought to write it down just for a reminder to look at this later.
The place I learned about these two theorems was from Stefan Bilaniuk's book Chapter 4. [http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf]
