ytb https://blog.hatena.ne.jp/ytb/ あいまいな本日の私 blog https://ytb.hatenablog.com/ logic さて、ラッセル・パラドックスの知られざる解決法を紹介するこのシリーズ、長々と書いてきましたが、やっと縮約規則のない論理で包括原理を持つ集合論の話まで終わりました。 今回は、証明論的アプローチについて書ききれなかったことを補足し、次回から意味論的アプローチ（つまり多値論理）をご紹介したいと思います。 グリシン論理をもっと弱くする(BCK論理) 古典論理から縮約規則を除去したグリシン論理では包括原理が矛盾を導かないという事実は、当然、グリシン論理より証明力が弱い論理では包括原理を仮定しても全く問題がないということを含意します。というわけで、その代表例としてBCK論理をご紹介しましょう。 BCK論理… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20070930%2Fp1" title=" ラッセルのパラドックス：傾向と対策 (3.1.6) : 補足 - あいまいな本日の私 blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-09-30 00:00:02 rich https://ytb.hatenablog.com/entry/20070930/p1 1.0 100%