• 論理学ゼミ。Kripkeモデルでの証明問題。学生から質問を受けてかなり丁寧にやっている。しかしこれでは様相述語論理と反事実的条件文をやる時間がなくなるんではないかと心配する。
• 夕方ジム。例によって新聞をもらって帰る。