先日、街を歩いたり、地下鉄に乗ったり、廊下を歩いたりしていた時に、つらつらと考えていたことがある。そしてその過程で個人的にちょっと驚いたことがあった。補足を加えつつ、そのことを今回再構成してみたい。以下で記すことは、今述べたように、歩きな…

大森荘蔵 『大森荘蔵セレクション』、飯田隆、丹治信春、野家啓一、野矢茂樹編、平凡社ライブラリー 748, 平凡社、2011年 八木沢敬 『分析哲学入門』、選書メチエ 517, 講談社、2011年 砂田利一、長岡亮介、野家啓一 『数学者の哲学＋哲学者の数学 歴史を通…

Roy L. Crole Categories for Types, Cambridge University Press, Cambridge Mathematical Textbooks, 1994 Description This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantic…