ytb https://blog.hatena.ne.jp/ytb/ あいまいな本日の私 blog https://ytb.hatenablog.com/ logic 皆様、いかがお過ごしでしょうか。ラッセルのパラドックスについて、ZFCなどの公理的集合論以外の解決法をいろいろ紹介しようというこのシリーズ、第三シリーズは論理を制約することでラッセルのパラドックスを解決しようという方法を紹介しています。前回で多値論理や縮約規則のない論理といった比較的メジャーな解決法の紹介も終わり、今回からはもっとマイナーな（というとおこられるかもしれませんが）Fitchによって始められた証明図の形に注目するアプローチについてご紹介したいと思います。 といっても、今回はその導入ということで、Fitchのアイディアを John Myhill が発展させた The "enterpr… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20071216%2Fp1" title=" ラッセルのパラドックス：傾向と対策 (3.4.1.1): 　John Myhillの &quot;Paradoxes&quot; (1) - あいまいな本日の私 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-12-16 00:00:01 rich https://ytb.hatenablog.com/entry/20071216/p1 1.0 100%