That is true. However, if your perception of reality leads you to the thought that there might be an error with SS0 + SS0 = SSSS0, and you can’t find that error, then it is irrational to assume that there actually is an error with SS0 + SS0 = SSSS0 rather than with your perception of rationality or the concept of applying SS0 + SS0 = SSSS0 to reality.
I think so, if I understand you. But I think that you’re referring to a more restricted class of “perceptions of reality” than Eliezer is.
In the kind of scenario that Eliezer is talking about, your perceptions of reality include seeming to find an error in the alleged proof that SS0 + SS0 = SSSS0 (and confirming your perception of an error sufficiently many times to outweigh all the times when you thought you’d confirmed that the alleged proof was valid). If that is the kind of “perception of reality” that we’re talking about, then you should conclude that there was an error in the alleged proof of SS0 + SS0 = SSSS0.
That is all good and valid, and of course I don’t believe in any results of deductions with errors in them just based on said deductions. But that has nothing to do with reality. Two pebbles plus two pebbles resulting in three pebbles is not what convinces me that SS0 + SS0 = SSS0; finding the error is, which is nothing that is perceived (i.e. it is purely abstract).
If we’re defining “situation” in a way similar to how it’s used in the top-level post (pebbles and stuff), then there simply can’t exist a situation that could convince me that SS0 + SS0 = SSSS0 is wrong in peano arithmetic. It might convince me to check peano arithmetic, of course, but that’s all.
I try to not argue about definition of words, but it just seems to me that as soon as you define words like “perception”, “situation”, “believe” etcetera in a way that would result in a situation capable of convincing me that SS0 + SS0 = SSS0 is true in peano arithmetic, we are not talking about reality anymore.
Okay, I just thought of a possible situation that would indeed “convince” me of 2 + 2 = 3: Disable the module of my brain responsible for logical reasoning, then show me some stage magic involving pebbles or earplugs, and then my poor rationalization module would probably end up with some explanation along the lines of 2 + 2 = 3.
That is true. However, if your perception of reality leads you to the thought that there might be an error with SS0 + SS0 = SSSS0, and you can’t find that error, then it is irrational to assume that there actually is an error with SS0 + SS0 = SSSS0 rather than with your perception of rationality or the concept of applying SS0 + SS0 = SSSS0 to reality.
Can we agree on that?
I think so, if I understand you. But I think that you’re referring to a more restricted class of “perceptions of reality” than Eliezer is.
In the kind of scenario that Eliezer is talking about, your perceptions of reality include seeming to find an error in the alleged proof that SS0 + SS0 = SSSS0 (and confirming your perception of an error sufficiently many times to outweigh all the times when you thought you’d confirmed that the alleged proof was valid). If that is the kind of “perception of reality” that we’re talking about, then you should conclude that there was an error in the alleged proof of SS0 + SS0 = SSSS0.
That is all good and valid, and of course I don’t believe in any results of deductions with errors in them just based on said deductions. But that has nothing to do with reality. Two pebbles plus two pebbles resulting in three pebbles is not what convinces me that SS0 + SS0 = SSS0; finding the error is, which is nothing that is perceived (i.e. it is purely abstract).
If we’re defining “situation” in a way similar to how it’s used in the top-level post (pebbles and stuff), then there simply can’t exist a situation that could convince me that SS0 + SS0 = SSSS0 is wrong in peano arithmetic. It might convince me to check peano arithmetic, of course, but that’s all.
I try to not argue about definition of words, but it just seems to me that as soon as you define words like “perception”, “situation”, “believe” etcetera in a way that would result in a situation capable of convincing me that SS0 + SS0 = SSS0 is true in peano arithmetic, we are not talking about reality anymore.
Okay, I just thought of a possible situation that would indeed “convince” me of 2 + 2 = 3: Disable the module of my brain responsible for logical reasoning, then show me some stage magic involving pebbles or earplugs, and then my poor rationalization module would probably end up with some explanation along the lines of 2 + 2 = 3.
But let’s not go there.