講演内容(午前)

Zach氏の"Vagueness and Fuzzy logic"を聞く。Godel logicに関する共著の結果の紹介と、後は他人の結果のサーベイ。Fuzzyは真理値が[0,1]の実数にexplicitに決まる点で真にvagueとは言えないので、実数値ではなくlatticeを考えたりしてみよう、という最近の動きの紹介・・・余り面白い論点のようにも・・・。Zach氏は背が高く顔も長い、ついでにやせ形で黒縁メガネ、頭はいいけれど少し内気そうに見える。