2009-08-20から1日間の記事一覧
Studia Logica (2000) 64(1): 3-20。こちらから入手可能。証明論的意味論に関するよくまとまったサーベイ。 (内容は後で追加します)
The Review of Symbolic Logic (2009), 2:342-359。こちらから入手可能。重要な論文なんだと思います。もう一回読み直さないと。 著者は、非古典論理に関する論理的複数主義*1を検討し、DummettやBeal-Restallらの複数主義を拒否します。そして論理に関する…
暑い日。6時半起床、関空へ。 行きの乗り合いタクシー車内でCが右瞼上を蜂に刺された。関空到着後は医務室へ直行。 飛行機は旧式の747、しかし席は前の方の比較的いい席。 乗り換えの空港でCの携帯の詰め替えバッテリーを買う。電気製品は日本より高いが、No…