19時から22時、参加者3人。p.10第2段落-p.12第1段落。 Putnumは Syntaxとしてのmodal logic を考え、Box （必然性）をprimitiveとして取る。Putnum はどんな概念を抽象化してこの Box を導入したのか、Quine流Logical Validity と証明可能性のどちらだと解釈…

天気は晴れ、日差しも強めで少し汗ばむ。所内ではTシャツで過ごす。起床は8時半。出勤してコード書き。午後に打ち合わせ、緊張していたが問題なく終了。それから、先日の文字化けの原因についてTyさんに聞いたところ、NTemacsのバージョンの問題らしい。 帰…