このアプローチは、 古典論理の上で、包括原理からラッセル・パラドックスを導出する際、どのようなルールを使っているかを調べる。 古典論理からそのルールを除去した部分論理体系を構成し、そこで包括原理が矛盾を起こさないことをチェックする。 というこ…

ラッセル・パラドックスの解決法といえばZFが有名ですが、他にもいろいろな解決法が提案されています。それらあまり有名でない解決法を紹介しようというこのシリーズ、読者置いてきぼりの進み方で、どれだけの方に読んでいただけるのか非常に不安ですが、や…

土日に引き続き、本日もとても暑い一日。湿度も高く、夕方は強い雨が降る。 起床は9時半、CとCの実家に出かけ、義理の祖母の敬老の日のお祝い会に出る。今年初めて松茸を食べる。その後本屋に行き、夕食（サンマ）をごちそうになって帰宅。 「今日の早川さん…