■

某有名HPから以下をDL。

• Haim Gaifman　　“Naming and Diagonalization, From Cantor to Godel to Kleene”,　in: Logic Journal of the IGPL, October, 2006
• ditto　　　　“The Easy Way to Godel's Proof and Related Matters”,　Expositlory lecture on the incompleteness results
• ditto　　　　“Some Thoughts and a Proposal in the Philosophy of Mathematics”,　in: P.H. Hajek, L.V., VIllanueva and D. Westerstahl ed., Logic Methodology and Philosophy of Science, Proceedings of the Twelvth International Congress, 2005
• Panu Raatikainen　　“Truth, Correspondence, Models, and Tarski”, forthcoming in: Pihlstrom et al. ed., Approaching Truth, College Press
• Matti Eklund　　“Carnap and Ontological Pluralism”,　in: David Chalmers, David Manley and Ryan Wasserman ed., Metametaphysics, Oxford University Press
• ditto　　　　　“Putnam on Ontology”,　forthcoming in: Maria Uxia Rivas Monroy, Concepcion Martinez Vidal and Celeste Cancela ed., Following Putnam's Trail: On Realism and Other Issues. Proceedings from Conference on Hilary Putnam's Pragmatism in Santiago de Compostela, Spain, May 2004, Rodopi
• Storrs McCall　　“Hilbert's Second Problem”,　2007
• ditto　　　　　“The Consistency of Arithmetic”,　2007

この後は、Russell関係を調べたい。眠いし、頭痛いけど…。