We can go even stronger than mathematical truths. How about the following statement?
~(P &~P)
I think it’s safe to say that if anything is true, that statement (the flipping law of non-contradiction) is true. And it’s the precondition for any other knowledge (for no other reason than if you deny it, you can prove anything). I mean, there are logics that permit contradictions, but then you’re in a space that’s completely alien to normal reasoning.
So that’s lots stronger than 2+2=4. You can reason without 2+2=4. Maybe not very well, but you can do it.
So Eliezer, do you have a probability of 1 in the law of non-contradiction?
If you get past that one, I’ll offer you another.
“There is some entity [even if only a simulation] that is having this thought.” Surely you have a probability of 1 in that. Or you’re going to have to answer to Descartes’s upload, yo.