S教授曰く「日本の論理学者は皆、証明論を研究しているんだよね」 ... 。それは竹内外史およびA教授の印象が強すぎるから、そう思うのです。

午後も面白い話が多かったです。 Always more (Greg Restall) いや、面白い発表だったんです。可能世界意味論では「命題=可能世界の集合」と、外延的な関係が成り立つと言われています。もっと正確に言うと、 任意の可能世界では任意の命題の真理値が決定さ…

本日午前は証明論的意味論系の話が多い。 Field's paradox and its Medival solution (Stephen Read) Hartly Field は "Saving truth from paradox" のなかで、真理述語の全域性を許す体系の代償として、否定のルールがおかしい（弱まった）矛盾許容論理を導…

起床は7時、眠い。一日会議。夕食後は聖堂内のツアーと、論理学のネット学習システムの紹介。その後「コンゴ」へ。