私は正直者です
世界には次の2タイプが(だけが)いるとする
常に正しいことを話す正直者
常に嘘を話す狂人
ある人$ P(どっちかはわからない)が文$ s「私は正直者です」と言ったとき,
$ Pが正直者だった場合
「私は正直者です」はそのままの意味で「$ Pは正直者である」という事実を表す
実際これは正しい(そう仮定した)ので,$ sは正しい.
$ Pが狂人だった場合
「私は正直者です」は嘘なので「$ Pは正直者ではない(=狂人である)」という事実を表す
実際これも正しい(そう仮定した)ので,$ sは正しい
つまり,$ Pの発言$ s「私は正直者です」から「$ Pは正直者である」か「$ Pは狂人である」のどちらも言えてしまうのである