洋書

  • Gaisi Takeuti  Proof Theory, Second Edition, Dover Publications, Dover Books on Mathematics Series, 2013 (originally published in 1987, the first edition published in 1975)
  • Gregory H. Moore  Zermelo's Axiom of Choice: Its Origins, Development, and Influence, with a New Preface and an Expanded Bibliography, Dover Publications, Dover Books on Mathematics Series, 2013 (originally published in 1982)


英語論文

  • Sébastien Gandon and Brice Halimi  ''Introduction: Logicism Today,'' in: Philosophia Mathematica (III), Special Issue: Logicism Today, vol. 21, no. 2, 2013
  • Bob Hale  ''Properties and the Interpretation of Second-Order Logic,'' in: Philosophia Mathematica (III), Special Issue: Logicism Today, vol. 21, no. 2, 2013
  • Mark Wilson  ''Enlarging One's Stall or How Did All of These Sets Get in Here?,'' in: Philosophia Mathematica (III), Special Issue: Logicism Today, vol. 21, no. 2, 2013


和書

森先生の本には、ε-δ 論法が割と解説されています。
トロツキー』は以前に学校で手に取って眺めたことがある。古書店でも見かけたことがある。ただ、logic の話は一切出てきていないようだったので、購入しなかった。しかし、その後、何となく気になっていた。そんな折に古書店で再び見かけたので購入しておきました。


邦語論文など

  • 岡本賢吾  「論理学/数学の哲学における概念分析は、形而上学の動態化にどう寄与しうるか 〈遷移構造の意味理論〉の現況と今後を瞥見する」、2011年度哲学若手研究者フォーラム講演要旨、『哲学の探求』、哲学若手研究者フォーラム刊、第38号、2011年
  • 金子洋之  「論理学はなぜ有用か」、2011年度哲学若手研究者フォーラム講演要旨、『哲学の探求』、哲学若手研究者フォーラム刊、第38号、2011年
  • 金子洋之  「論理の有用性から証明の認識論へ」、『哲学の探求』、哲学若手研究者フォーラム刊、第39号、2012年
  • 吉田知行  「イプシロン・デルタ論法はいらない 数列編」、『数学セミナー』、2013年7月号