２値論理において、totalな真理述語を仮定すると「嘘つきパラドックス」を招き、矛盾を起こすことが知られている。一方、多値論理（例えばファジイ論理）では真理述語を仮定しても矛盾は導かない。それでは枠組みを多値論理にして真理述語を仮定するとき、本…

7時半に空腹感で目が覚める。食欲は回復傾向か。天気は曇り、朝は小雨交じりだったが、徐々に晴れ間が見えてくる。 今朝は雑用。他にプラハ行き航空券の手配（結局またHIS頼みとなった）。午後は試験監督、受験者が3人しかいない上にノート・教科書などすべ…