次回の日記で Curry's Paradox と類似の paradox を説明する予定のため*1、今日は前者の paradox の若干 formal な説明を行ないます。そのうちの truth-theoretic version と呼ばれる説明を示します。参考にするのは次の文献です。 Jc Beall ''Curry's Parad…

洋書 Jc Beall Spandrels of Truth, Oxford University Press, 2009 Nick Haverkamp Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic, Vittorio Klostermann, Studies in Theoretical Philosophy, vol. 2, 2015 英語論文 Greg Resta…