最小命題論理（直観主義論理から矛盾律を除去した体系）で、¬¬¬ A⇒¬ AとA⇒¬¬ Aは証明できるが、¬¬A⇒ Aは証明できない、と言う話をしたんですよ*1。授業終了後、一人の学生がやってきて、「証明できない理由の説明が曖昧だったんですが、最小論理にはタブロー…

出席者3人、報告者は引き続きSさん。MaudlinはKleene三値論理を採用し、真理述語の導入・除去規則を維持したまま、⇒と¬の導入・除去規則を制限し、真理値が ungrounded の時には⇒と¬の導入規則が適用出来ないようにする。これで話が終わりかと思ったら、最後…

朝は雨、肌寒い。一日中降ったり止んだりを繰り返す。出勤して各種処理。その後非常勤先の大学へ。本日の授業の学生は24人、GW 後の雨の日にしては上出来の人数。授業終了後、パラドックス研に出てから帰宅。夕食はスモークサーモンのバゲットと牛すじトマト…