ここ数日で入手した文献の名を掲げる。順不同。
- Ross Brady Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006
- Morten Heine Sorensen and Pawel Urzyczyn Lectures on the Curry-Howard Isomorphism, Elsevier, Studies in Logic and the Foundations of Mathematics, vol. 149, 2006
- David Keyt “Deductive Logic,” in Georgios Anagnostopoulos ed., A Companion to Aristotle, Wiley-Blackwell, Blackwell Companions to Philosophy, 2009
- James Levine “[Review of] Stewart Candlish, The Russell/Bradley Dispute and its Significance for Twentieth-Century Philosophy, Palgrave Macmillan, 2007, 235pp., $84.95 (hbk), ISBN 9780230506855,” in: Notre Dame Philosophical Reviews, 2009.02.20
- Bob Hale “Neo-Fregeanism and Quantifier Variance,” in: Proceedings of the Aristotelian Society, vol. 107, no. 1, part 3, 2007
- Ian Rumfitt “Concepts and Counting,” in: Proceedings of the Aristotelian Society, vol. 102, no. 1, 2002
- Tsutomu Hosoi and Hiroakira Ono “Intermediate Propositional Logics (A Survey),” 『津田塾大学紀要』、第5号、1973年 (Journal of Tsuda College, no. 5, 1973)
- Laura Crosilla “Set Theory: Constructive and Intuitionistic ZF,” in: The Stanford Encyclopedia of Philosophy, February 20, 2009
- Dirk Schlimm “Bridging Theories with Axioms: Boole, Stone, and Tarski,” in B. van Kerkhove ed., New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics, Brussels, Belgium 26-28 March 2007, World Scientific, 2009, Preprint
- Ditto “On the Creative Role of Axiomatics: The Discovery of Lattices by Schröder, Dedekind, Birkhoff, and Others,” forthcoming in: Synthese, Preprint, 2008
- 脇圭平 『知識人と政治 ドイツ・1914〜1933』、岩波新書、岩波書店、1973年
また、定期購読している以下の Journal が届く。
- History and Philosophy of Logic, vol. 30, no. 1, 2009
書評を除く table of contents は次の通り。
- John Corcoran “Aristotle's Demonstrative Logic”
- José Sagüillo “Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence”
- David Bostock “Russell's Early Theory of Denoting”
- P. Cassou-Nogues “Gödel's Introduction to Logic in 1939”
- Peter Sullivan “Danielle Macbeth, Frege's Logic”