■

まず洋書から。順不同。

• Roy L. Crole　　Categories for Types, Cambridge University Press, Cambridge Mathematical Textbooks, 1993
• Anil Gupta　　Truth, Meaning, Experience, Oxford University Press, 2011

次に和書。順不同。

• ウンベルト・エーコ　　『完全言語の探求』、上村忠男、廣石正和訳、平凡社ライブラリー 750、平凡社、2011年 (訳書初版1995年)
• 神崎繁、熊野純彦、鈴木泉編　　『西洋哲学史 II 「知」の変貌・「信」の階梯』、選書メチエ 512、講談社、2011年

そして論文。Frege 関係、または Frege に関係してくるもの。順不同。

• Jeremy Heis　　''[Review of] Michael Potter and Tom Ricketts (eds.), The Cambridge Companion to Frege,''　in: Notre Dame Philosophical Reviews , University of Notre Dame, Nov. 2011
• Øystein Linnebo　　''[Review of] Fixing Frege and Reason’s Proper Study,''　in: The Mathematical Intelligencer, vol. 29, no. 4, 2007
• Joongol Kim　　''What Are Numbers?''　forthcoming in Synthese
• Friederike Moltmann　　''Reference to Numbers in Natural Language,''　forthcoming in Philosophical Studies
• Anthony Brueckner　　''Comments on Crispin Wright on Basic Arithmetical Knowledge,''　forthcoming in Philosophical Studies
• Mark Balaguer　　''Is There a Fact of the Matter Between Direct Reference Theory and (Neo-)Fregeanism?''　in: Philosophical Studies, vol. 154, no. 1, 2011

次に lambda 関係論文。順不同。

• Timothy G. Griffin　　''A Formulae-as-Types Notion of Control,''　in: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages: Papers Presented at the Symposium, San Francisco, California, January 17-19, ACM, 1990
• Hugo Herbelin　　''A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure,''　in Leszek Pacholski, Jerzy Tiuryn ed., Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 Selected Papers, Springer, Lecture Notes in Computer Science 933, 1995
• 阪上紗里　　『型付き対称ラムダ計算の基礎理論』、お茶の水女子大学大学院、修士論文、2008年
• 阪上紗里、浅井健一　　「対称λ計算の基礎理論」、『コンピュータ ソフトウェア』、vol. 26, no. 2, 2009年
• 上田 やよい、浅井 健一　　「型付き対称λ計算と古典論理」、『第12回プログラミングおよびプログラミング言語ワークショップ論文集』、2010年3月3日-5日

最後にその他の文献。順不同。

• Göran Sundholm　　''''Inference versus Consequence'' Revisited: Inference, Consequence, Conditional, Implication,''　forthcoming in Synthese
• Dag Prawitz　　''The Epistemic Significance of Valid Inference,''　forthcoming in Synthese
• James Pearson　　''Distinguishing W. V. Quine and Donald Davidson,''　in: The Journal for the History of Analytical Philosophy, vol. 1, no. 1, 2011
• トマス・ホッブズ　　『物体論』 抄訳 (1) 献辞・第1部第1・6章、伊藤宏之、渡部秀和訳、『人間発達文化学類論集』、福島大学人間発達文化学類、5号、2007年

Pearson 論文は、以前から刊行が announce されていた the Journal for the History of Analytical Philosophy からの第一弾、巻頭論文。ようやくこの journal が start したようです。