に夕方顔を出してみる。要は参加者の自由討議時間、主なテーマはLogical Prularismについて。Prulalismを推奨する発言者にShapiroが「ではmeta-theoryのためにどんな論理を採用するつもりか」と吐き捨てるように聞いていたのが印象的だった。確かに見過ごさ…

講演に出ず自分の原稿の修正に追われる。夕方"Round table"に顔を出すのみ。昼食は月曜に買って冷蔵庫に入れておいたサンドイッチ。必死の準備の甲斐あってか、何とか見られるものになってきた。人間、全力でやれば何とかなるものだと感心する。 21時に夕食…

Zach氏の"Vagueness and Fuzzy logic"を聞く。Godel logicに関する共著の結果の紹介と、後は他人の結果のサーベイ。Fuzzyは真理値が[0,1]の実数にexplicitに決まる点で真にvagueとは言えないので、実数値ではなくlatticeを考えたりしてみよう、という最近の…

起床は7時。朝から原稿書き。