nuhsnuh https://blog.hatena.ne.jp/nuhsnuh/ nuhsnuh’s blog https://nuhsnuh.hatenablog.jp/ Curry's Paradox Contraction (最近、精神的に疲労困憊し、しばらく寝込んでしまいました。不安を和らげる薬を生れてはじめて飲んで、心を落ち着かせようとしているところです。以下に掲げる文章は、寝込んでしまう前に大部分を書きました。ただし心穏やかでない時期に書いておりますので、推敲を経ておりません。そのため、ほとんど思い付きと言ってよいような文章です。間違っておりましたら大変すみません。) Unrestricted Comprehension Principle を保持したまま、Russell Paradox からの矛盾導出を防ぐ手段として、structural rules の一つを落とすということが、有望な手立てとして考えられ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20161211%2Fp2" title="　Why Contraction-Free Logics Aren&#39;t Convenient for Most of Us? - nuhsnuh’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/n/nuhsnuh/20161210/20161210235920.png Hatena Blog https://hatena.blog 2016-12-11 00:00:02 rich https://nuhsnuh.hatenablog.jp/entry/20161211/p2 1.0 100%