Well, your argument should be able to kill the concept of Tegmark mathematical multiverse then, so you can guess it is not a “silver bullet” :) Two possible answers:
1. You can not just change the word “mathematical universe” to the word “fact” in my definition E. “Mathematical universe stating that...” makes no sense for me.
However, there are different set theory axiomatics. Some of them allow universal sets
OK, that’s a good point. I had not heard of the universal sets that contain themselves, which I thought would lead to contradictions.
should be able to kill the concept of Tegmark mathematical multiverse
I’m really not persuaded by the MUH, but at least it’s based on reasoned a priori arguments. Do you have similar a priori arguments for God? There’s no way for evidence to ever be enough establish omniscience by itself.
Yeah, given New Foundations, I’m no longer confident that “omniscience” is a logical contradiction, but neither am I confident that it isn’t. And I still think it would take an infinite amount of evidence to prove inductively, so you would need some kind of a priori argument for it instead (or why believe it at all?). That’s one obstacle down, but still a long way to go.
Well, your argument should be able to kill the concept of Tegmark mathematical multiverse then, so you can guess it is not a “silver bullet” :) Two possible answers:
1. You can not just change the word “mathematical universe” to the word “fact” in my definition E. “Mathematical universe stating that...” makes no sense for me.
2. Cantor’s theorem is based on particular set axiomatic. However, there are different set theory axiomatics. Some of them allow universal sets https://en.wikipedia.org/wiki/Universal_set
OK, that’s a good point. I had not heard of the universal sets that contain themselves, which I thought would lead to contradictions.
I’m really not persuaded by the MUH, but at least it’s based on reasoned a priori arguments. Do you have similar a priori arguments for God? There’s no way for evidence to ever be enough establish omniscience by itself.
″ OK, that’s a good point. I had not heard of the universal sets than contain themselves, which I thought would lead to contradictions. ”
Great, the update of belief :)
Yeah, given New Foundations, I’m no longer confident that “omniscience” is a logical contradiction, but neither am I confident that it isn’t. And I still think it would take an infinite amount of evidence to prove inductively, so you would need some kind of a priori argument for it instead (or why believe it at all?). That’s one obstacle down, but still a long way to go.