些細なことを一つ記します。2009年9月16日の日記で、入手した Priest 論文について以下のように書きました。 Graham Priest “The Structure of the Paradoxes of Self-Reference,” in: Mind, vol. 103, no. 409, 1994 Russell が様々な paradoxes をひとまと…

最近入手した文献の名を記します。 まず、Poincaré on the Foundations of Mathematics に関する文献。 今ちょっと impredicativity について調べているので、Poincaré。 Bertrand Russell “On ‘Insolubilia’ and their Solution by Symbolic Logic,” in his…