Richard G. Heck, Jr Frege's Theorem, Clarendon Press / Oxford University Press, 2011 Michael Dummett Frege: Philosophy of Mathematics, Duckworth, 1991 デヴィッド Z. アルバート 『量子力学の基本原理 なぜ常識と相容れないのか』、高橋真理子訳、…

J. Lambek and P. J. Scott Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge Studies in Advanced Mathematics, no. 7, 1988

Dummett さんの本を読んだり、Frege の書簡を読んだりしていると、個人的に意外に感じられることが一つあった。 もしも可能ならば、後日そのことをこの日記で記したい。