Just my luck. After taking a few days off for Yule and winter solstice, I discover that someone pushed the pause
button on our very verbose friend here. Anyway, I doubt I’ll be able to catch up on all of it, but here are a few bits:
That’s a rather trivial truth. Of course there are assertions which cannot be rationally denied, like
- there is extraterrestrial life
- the universe is infinitely big
- there is no god or gods
The reason they are assertions is because they cannot be proven using scientific means. And analogically, within logic (and by extension mathematics), I’m sure you are aware that within a big enough axiomatic system, there are true statements that cannot be proven. So there you have it. There are true assertions that cannot be proven. So what?
But your deepity above draws the attention away from the real point, which was
It all boils down to the input to the logics, i.e. the axioms. They are of a kind that have not been linked to an objective reality.
There is also this thing about “possible worlds” which seems dubious. If there are other worlds, they wouldn’t be interacting with our world (otherwise, they would be part of this world and hence not another world). Thus, there is nothing we can know about them. Heck, they might not even operate on logic as we know it, and be contradictory as we see it. So in view of the above, here’s an assertion for you: There exist other worlds that do not operate on our kind of logic. If true, Gödel’s ontological “proof” (GOP) would not apply there. But since you cannot check out this other world, you cannot rationally deny it. So let us assume that GOP is true here, and that it cannot apply in the other world, as the rules are different there. But GOP states that it would be true in all possible worlds. I have no idea whether this is profound or just a big pile of shite, because I just pulled it out from my arse. But that’s exactly the kind of problems you get when you speculate about “possible worlds” that you cannot interact with in any way. It remains pure speculation.
And then there is the definition “An object x is God-like if, and only if, x has all positive properties.” What the hell is even a “positive property”? It has not been defined, but as presented, it seems awfully subjective (as others here have repeatedly pointed out). Who decides whether a property is positive or not positive? Is it voted upon, and can I or anyone else veto it? And how many “positive properties” (which really are subjective) are there? If there are a finite number N of identified positive properties, how can you prove that there is not N+1? Or infinitely many? If infinitely many, are they countable or uncountable? Note that GOP says “if and only if, x has all positive properties”. So there is a condition that this “God” has ALL positive properties. Is it even possible, especially if there are infinitely many such properties? What if two “positive properties” are contradictory or that possessing two particular “positive properties” lead to a contradiction? If this “God-like x” also possess a negative property (whatever that might be), will it still be considered god-like? What if it possesses more negative properties than positive properties — would it be “anti-god-like”? And so on.
So the definition does not really make any sense. To make it make sense, you have to define what a positive property is (and make sure that they are not subjective), and you have to show that no positive properties are contradictory or that possessing them is not contradictory.
It’s late, and I have to get up in the morning, so I’ll leave it at that for now. I might comment more later, if I feel I can be arsed.
Edit: Oh, I forgot — if you feed your logic shit assumptions or definitions that fail to reflect reality, you get shit results. Or in short: Shit in, shit out. Data is king.
Edit 2: Some cleanup because there were just too many typos. And a few small additions.