最近入手した文献の名を記します。
まず、Poincaré on the Foundations of Mathematics に関する文献。
今ちょっと impredicativity について調べているので、Poincaré。

  • Bertrand Russell  “On ‘Insolubilia’ and their Solution by Symbolic Logic,” in his Essays in Analysis, Douglas Lackey ed., Allen & Unwin, 1973 (First Published in French in 1906)
  • Janet Folina  “The Attack on Logicism,” in her Poincaré and the Philosophy of Mathematics, Macmillan in Association with the Scots Philosophical Club, Macmillan Studies in Contemporary Philosophy, 1992
  • Ditto    “Poincaré's Theory of Predicativity, ” in her Poincaré and the Philosophy of Mathematics, Macmillan in Association with the Scots Philosophical Club, Macmillan Studies in Contemporary Philosophy, 1992
  • Warren Goldfarb  “Poincaré against the Logicists,” in William Aspray and Philip Kitcher ed., History and Philosophy of Modern Mathematics, University of Minnesota Press, Minnesota Studies in the Philosophy of Science, vol. 11, 1988
  • Michael Detlefsen  “Poincaré against the Logicians,” in: Synthese, vol. 90, no. 3, 1992

Folina さんの本は以前持っていたのだが、Poincaré について本気で勉強することもなさそうだし、まぁいいか、と思って古書店に売ってしまったことがある。今では少し後悔しています*1


次にそれ以外の文献。

  • Jaakko Hintikka  “Identity, Variables, and Impredicative Definitions,” in: The Journal of Symbolic Logic, vol. 21, no. 3, 1956
  • Ditto     “Vicious Circle Principle and the Paradoxes,” in: The Journal of Symbolic Logic, vol. 22, no. 3, 1957
  • 飯田隆  「量化と受身」、日本科学哲学会第42回(2009年)大会シンポジウム・ワークショップ資料、ワークショップ「論理学教育: 論理学のヘビーユーザとしての哲学者養成に向けて」、2009年9月30日
  • 丹治信春  『クワイン ホーリズムの哲学』、平凡社ライブラリー 683、平凡社、2009年 (初版1997年)
  • 新井紀子、新井敏康  『計算とは何か』、math stories シリーズ、東京図書、2009年

*1:現在も新刊で手には入るようですが…。