私の発表は15時から、70分しゃべる（10分オーバー）。 pdfファイルを大学のサイトにおいてあります。興味のある方はどうぞご覧ください。ちなみに発表スライドの一枚目(introduction)は以下の通り。 Sainsburyの主張: 集合を使用して述語を定義することとは…

起床は9時半、京都へ。12時半に京大会館へ到着、ロビーでコンビニおにぎりを食べる。 コロキアムは13時から。参加者は15名ぐらい、京大科哲の院生さんの多さが目を引く。まず金田さんの発表は真理についてのGuptaのパラドックスについて、GuptaとBarwiseの対…