ytb https://blog.hatena.ne.jp/ytb/ あいまいな本日の私 blog https://ytb.hatenablog.com/ logic このアプローチは、 古典論理の上で、包括原理からラッセル・パラドックスを導出する際、どのようなルールを使っているかを調べる。 古典論理からそのルールを除去した部分論理体系を構成し、そこで包括原理が矛盾を起こさないことをチェックする。 ということを目指します。このことで、包括原理と古典論理の性質についてもっとよく知ることができるのでは、と期待されます。 注意ですが、このエントリーの記号の使い方として、記号 ⊥ は矛盾を表します。また、論理式 P の否定 ?P は、実は P→⊥ の略記であると考えることとします。 パラドックスの導出課程（古典論理） では、ラッセル・パラドックスの導出課程をおさらい… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20070917%2Fp2" title=" ラッセルのパラドックス：傾向と対策 (3.1.0) : 古典論理を制限するラッセル・パラドックスへの証明論的アプローチ（縮約規則！） - あいまいな本日の私 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-17 00:00:02 rich https://ytb.hatenablog.com/entry/20070917/p2 1.0 100%