SilasBarta comments on The role of mathematical truths - 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 (81)
The interpersonal aspect is in there to constrain what the symbols in "2+2=4" actually mean; it has no bearing on the underlying logical truth (part 2). Nevertheless, common agreement in the use of terms is necessary to give those terms meaning. In that respect, the opinions of other people do impact whether such a statement evaluates to "true". For the same reason, the isolated statement "2+2=6" should evaluate to "false", even though someone could say, "oh no, see, here, I meant this '6' symbol to mean '4'." That person may have an accurate internal model of reality, but hasn't correctly conveyed it.
Words can be wrong in terms of sudden unexplained deviation from common usage.