godelian wrote: ↑Wed Apr 03, 2024 3:49 am
Veritas Aequitas wrote: ↑Wed Apr 03, 2024 2:24 am
Standard logic?
That is classical logic with merely has its limited use.
There are other versions of logic other than classical and standard logic.
Gödel ended up using higher-order modal logic. Switching to higher-order logic is generally not considered a plus but a minus. There is actually an outspoken preference for first-order logic:
https://en.wikipedia.org/wiki/Lindstr%C ... 7s_theorem
In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the strongest logic[1] (satisfying certain conditions, e.g. closure under classical negation) having both the (countable) compactness property and the (downward) Löwenheim–Skolem property.[2]
When possible, quantification over properties is replaced by an inline, infinite axiom schema in order to remain in first-order logic. This does not seem to be possible in Gödel's ontological proof. Otherwise, he would surely also have applied a complexity-reducing hack.
Veritas Aequitas wrote: ↑Wed Apr 03, 2024 2:24 am
As such, whatever the conclusion of logic, it is never realistic.
That is not how we define realism and anti-realism in mathematics. It has nothing to do with correspondence to the physical universe.
https://en.wikipedia.org/wiki/Philosophy_of_mathematics
Mathematical realism, like realism in general, holds that mathematical entities exist independently of the human mind. Thus, humans do not invent mathematics, but rather discover it, and any other intelligent beings in the universe would presumably do the same.
Mathematical anti-realism generally holds that mathematical statements have truth-values, but that they do not do so by corresponding to a special realm of immaterial or non-empirical entities.
When we talk about realism in mathematics, it is about the correspondence to an abstract, Platonic world.
An ontological proof quantifies over an abstract, Platonic multiverse in which our own universe is just one member:
Gödel left a fourteen-point outline of his philosophical beliefs in his papers.[1] Points relevant to the ontological proof include:
4. There are other worlds and rational beings of a different and higher kind.
5. The world in which we live is not the only one in which we shall live or have lived.
The proof[8][10] uses modal logic, which distinguishes between necessary truths and contingent truths. In the most common semantics for modal logic, many "possible worlds" are considered. A truth is necessary if it is true in all possible worlds. By contrast, if a statement happens to be true in our world, but is false in another world, then it is a contingent truth. A statement that is true in some world (not necessarily our own) is called a possible truth.
When reasoning about the existence of God, it does not make sense to reason from within this physical universe. God created this physical universe. Therefore, God's existence precedes the physical universe. Gödel therefore switched to a multiverse approach in which our universe appears and ultimately disappears.
If we want to reach conclusions that aim to be realistic across the various universes of a multiverse, then modal logic is the way to go.
Realism is a very loose word.
What is reality [proper] is contingent upon an embodied human based Framework and System of Emergence & Realization of Reality and Cognition {knowledge}]
FSRC.
Platonic realism is not realistic [proper].
If it is not realistic then it is illusory, unreal, and false.
In that case, you are reasoning your existence of God from falsehoods.
"God created this physical universe"
You have to prove God is real [not illusory] before you can claim a real God created a real physical universe.
It does not follow that an
unreal God created a
real physical universe.
Are you familiar with the contention between the Ontological [reason] versus the Cosmological [Physical Universe] argument for God's existence.
The ontological argument is condemned for being out of touch with reality.
So many theists favor the cosmological argument which starts with the real physical universe which is justified by science.
Example Craig's Cosmological Argument he adapted from Ghazali.
- 1. Everything that begins to exist has a cause.
2. The universe began to exist. [Science - Big Bang]
3. Therefore, the universe has a cause.
From the above the cause is claimed to be the first-cause which they call God.
At least the cosmological argument is reasoned from a real physical universe compared to to the ontological which is reasoned out of thin air.
But Kant argued the cosmological has a hidden ontological basis [necessary being] within it.
Godel's argument is not realistic [proper].
Kant argued all arguments for god existence [including those which start with real experiences] all end up with the ontological argument which is baseless.
Theists must claim for a real god, not a false god based on logic and reasoning.
Your god condemned idol-god but your god itself is an idol, i.e. merely a linguistic idol.
You need to claim your god is real [not an idol] and provide justifications your god is real, else it is unreal, illusory and false