• 論理学ゼミ。一階述語論理の四方山話。アンセルムスの存在論的論証をぞんざいに一階述語論理で証明するということをやっていたが、明らかにvalidではない。これは、後日、Treeをやってから間違っていることを確認するのだろうと思ってあえて黙っておく。小テストは簡単な翻訳問題。
• あまりよくない連絡が一通。どうしたものか。
• 明日の認識論ゼミはKvanvig氏のTalk。準備をしようとするが、本一冊読んできなさいというのはあんまりなので、JGの本の翻訳を進める。
• 夕方ジム。最近、月曜と水曜に行くようになっている。水曜の方が体が軽い。
• 夕食はポークのロースト。肉の種類と味付けでいろんなバリエーションがある。
• 明日から寒くなる予報。昨日まで30℃あったのに、明日から気温が下がり、明後日の最高温度は9℃。「セントルイスに秋はない」とだれかが言っていたのを思い出す。