ytb
https://blog.hatena.ne.jp/ytb/
あいまいな本日の私 blog
https://ytb.hatenablog.com/
logic
論文
読了
"The Revenge of the Liar" (ed. JC Beall, Oxford University Press)に掲載予定。論文ファイルはこちらから入手可能。 上の記事でも取り上げましたが、カリーのパラドックスにより、古典論理上では、算術上で全域的な真理述語を仮定するか、もしくは包括原理を仮定すれば矛盾が導出されます。で、上に上げたような解決策がある訳なんですが、さて、それらの「解決策」のコストはどれぐらいなのでしょうか。Restallは、非古典論理を採用し包括原理を救おうというプログラムの代償は、あまりに大きいと論じています。 そして、その論法ですが、「非古典論理を採用する…
190
<iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20071224%2Fp2" title=" "Curry's Revenge: the costs of non-classical solutions to the paradoxes of self-reference" (Greg Restall) - あいまいな本日の私 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-24 00:00:02
"Curry's Revenge: the costs of non-classical solutions to the paradoxes of self-reference" (Greg Restall)
rich
https://ytb.hatenablog.com/entry/20071224/p2
1.0
100%