取り急ぎ、近頃入手の文献を記しておきます。
まず Logic 関係。
- Thierry Libert “Positive Frege and its Scott-Style Semantics,” in: Mathematical Logic Quarterly, vol. 54 no. 4, 2008
- M. Forti and R. Hinnion “The Consistency Problem for Positive Comprehension Principles,” in: The Journal of Symbolic Logic, vol. 54, no. 4, 1989
- Roland Hinnion and Thierry Libert “Positive Abstraction and Extensionality,” in: The Journal of Symbolic Logic, vol. 68, no. 3, 2003
- Wil Dekkers, Martin Bunder and Henk Barendregt “Completeness of Two Systems of Illative Combinatory Logic for First-Order Propositional and Predicate Calculus,” in: Archive for Mathematical Logic, vol. 37, no. 5-6, 1998
- Solomon Feferman “Toward Useful Type-Free Theories. I,” in: The Journal of Symbolic Logic, vol. 49, no. 1, 1984
- 塩谷真弘 「ゲーデルの夢」、『数学セミナー』、2009年4月号
次に History of Philosophy of Science 関係。
- Thomas Uebel “Neurath’s Protocol Statements Revisited: Sketch of a Theory of Scientific Testimony,” in: Studies in History and Philosophy of Science Part A, vol. 40, no. 1, 2009
- Sarah S. Richardson “The Left Vienna Circle, Part 1. Carnap, Neurath, and the Left Vienna Circle Thesis,” in: Studies in History and Philosophy of Science Part A, vol. 40, no. 1, 2009
- Paolo Bussotti and Christian Tapp “The Influence of Spinoza’s Concept of Infinity on Cantor’s Set Theory,” in: Studies in History and Philosophy of Science Part A, vol. 40, no. 1, 2009
以上の文献のうちで、私が最も引きつけられるものは、一番最初の
- Thierry Libert “Positive Frege and its Scott-Style Semantics”
です。これは大変興味深い。これについては簡単なメモを記したいのだが、可能ならば後日にします。
おやすみなさい。