「ラッセルのパラドックス」の記事の中で、プラヴィッツの体系 F と、Fitchのオリジナルな体系との関係について、事実誤認がありました。お詫びとともに訂正させていただきます。Fitch (1952)の体系は、擬ー演繹に矛盾をさけるためにいくつかad hocな制限を…

起床は8時半、出勤してコード書き。他に年間計画書の自己評価を完成させる。午後は上司と面談。コード書きの続きをして20時に退所。阪急駅前の書店で「おおきく振りかぶって」9巻を買って帰る。 帰宅は21時半、夕食はトマトソースパスタ、唐辛子がきいていた…