Tyrrell_McAllister comments on Philosophy: A Diseased Discipline - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (425)
If someone were to claim the following, would they be making the same point as you are making?
"The non-psychological fact that 'SS0 + SS0 = SSSS0' is a theorem of Peano arithmetic is evidence that 2 added to 2 indeed yields 4. A psychological precondition for grasping this evidence is to go through the process of mentally verifying the steps in a proof of 'SS0 + SS0 = SSSS0' within Peano arithmetic.
"This line of inquiry would provide evidence to the verifier that 2+2 = 4. However, properly speaking, the evidence would not be the psychological fact of the occurrence of this mental verification. Rather, the evidence is the logical fact that 'SS0 + SS0 = SSSS0' is a theorem of Peano arithmetic."