11月21日（土）に、科学哲学会大会で以下の発表をします。 嘘つきのパラドックスにより、古典論理上の公理的真理理論は部分的な真理述語 T のみを持つ。しかし、真理述語に関する制限は、真理述語の全域性だけではない。すなわち、十分な表現力を持つ真理理…

11月20日（金）に、TPP (Theorem Proving and Prover) meeting 2009 研究集会（websiteはこちら）において、 以上のタイトルで発表をします。

寒い日。朝は雨、夕方には止む。今年始めてセーターを着て出勤。研究所でSMTツールの続き。午後は非常勤先で授業、本日は矛盾律と矛盾許容論理について。Gの空手着の写真が一部に妙に受けていた。帰宅して夕食は回鍋肉丼。