2007-09-29から1日間の記事一覧

ラッセルのパラドックス:傾向と対策 (3.1.5) : グリシン論理 (4)

ラッセル・パラドックスを回避する方法をご紹介するこのシリーズ、前回までは数学的な話が続いていましたが、今回は話を変えて、以下の問題を考えてみたいと思います。 包括原理も、グリシン論理上ならば無矛盾だということはわかった。 でも、非古典論理な…

曇り空。気温は低めでじっとしていると寒いが、湿度が高く動くと蒸し暑い。夜半になると雨が降り出す。 起床は11時半。読書をしたり、エントリーを書いたりして過ごす。夕食はハンバーグのトマトソース。 食後「メグレ警部」を見るが、Cが寝たので中断、エン…