前回は、ウカシェーヴィチ3値論理では、包括原理が矛盾を導くという話をいたしました。そのとき、「3値論理はアリストテレスの分析の結果、アリストテレスの意図を3値論理として再定式化したもの」と受け取れるような書き方をしましたが、それは実は間違いで…

起床は8時15分、とても眠い。出勤して論文を読み、紙にシャーペンでプログラムの骨組みを書く。午後は談話会、LTLのグラフィカルな表現について。19時半に退出、21時15分に帰宅。夕食は昨日のクリームシチューにマカロニを入れたもの。