Those convenient conditions are trust. The point I’m trying to get at is that while “common knowledge of each other’s rationality, honesty and beliefs” is an excessively strong condition for it to commonly occur, sufficiently strong knowledge of rationality/honesty to obtain trust and sufficiently strong knowledge of beliefs to obtain information is a common occurence.
It doesn’t literally appear constantly, because there are many situations where it doesn’t, and where it doesn’t the boiler plate does matter. You have a half-truth that you have stated as a truth.
I mean yes, people regularly interact with untrustworthy (crazy/liar) people, and it is a condition for Aumann’s theorem that the people in question are neither crazy nor liars. I was interpreting Stephen Bennett to point at the stronger aspects of the condition (common knowledge technically being a very strong condition), but maybe that wasn’t his intent.
The argument you are linking to only shows that Aumann’s theorem.works under convenient conditions.
Those convenient conditions are trust. The point I’m trying to get at is that while “common knowledge of each other’s rationality, honesty and beliefs” is an excessively strong condition for it to commonly occur, sufficiently strong knowledge of rationality/honesty to obtain trust and sufficiently strong knowledge of beliefs to obtain information is a common occurence.
It doesn’t literally appear constantly, because there are many situations where it doesn’t, and where it doesn’t the boiler plate does matter. You have a half-truth that you have stated as a truth.
I mean yes, people regularly interact with untrustworthy (crazy/liar) people, and it is a condition for Aumann’s theorem that the people in question are neither crazy nor liars. I was interpreting Stephen Bennett to point at the stronger aspects of the condition (common knowledge technically being a very strong condition), but maybe that wasn’t his intent.