2007-10-13から1日間の記事一覧

ラッセルのパラドックス:傾向と対策 (3.2.3) : ウカシェーヴィチ無限値述語論理 ∀L・・・包括原理の限界

前回は、ウカシェーヴィチ3値論理 L3 において包括原理を仮定した場合、ラッセルのパラドックスだけなら解決できるが、莫少揆のパラドックスにより結局矛盾を導いてしまう、という話を紹介いたしました。今回は、その続きとして、ウカシェーヴィチ3値論理を…

起床は10時半、電話で起こされる。昼食はほうれん草のパスタにミートソ−ス。 夕方、美容院に行くが、いすの上で爆睡する。夕食はラザーニャ、ひさしぶり。Cと録画した「絶望先生」を見る。