上記のPhilosophia Mathematicaの内容は以下の通り。 Introduction Richard Tieszen Are There Absolutely Unsolvable Problems? Gödel's Dichotomy Solomon Feferman On the Question of Absolute Undecidability Peter Koellner Gödel on Computability Wi…

Neil Tennant “Frege's Content-Principle and Relevant Deducibility”, in: Journal of Philosophical Logic, vol. 32, 2003 ditto “Natural Logicism via the Logic of Orderly Pairing”, in: Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo…

例によって昨晩も電気付けたまま…