I promise to take it seriously if you need to refer to Löb’s theorem in your response. I once understood your cartoon guide and could again if need be.
If we concede that when people say “wrong”, they’re referring to the output of a particular function to which we don’t have direct access, doesn’t the problem still arise when we ask how to identify what function that is? In order to pin down what it is that we’re looking for, in order to get any information about it, we have to interview human subjects. Out of all the possible judgment-specifying functions out there, what’s special about this one is precisely the relationship humans have with it.
I promise to take it seriously if you need to refer to Löb’s theorem in your response. I once understood your cartoon guide and could again if need be.
If we concede that when people say “wrong”, they’re referring to the output of a particular function to which we don’t have direct access, doesn’t the problem still arise when we ask how to identify what function that is? In order to pin down what it is that we’re looking for, in order to get any information about it, we have to interview human subjects. Out of all the possible judgment-specifying functions out there, what’s special about this one is precisely the relationship humans have with it.