先日注文した本の名を掲げます。論理学に関する用語辞典のようです。よく名前を見かける方々が執筆に参加されているみたいです。 Federica Russo and Jon Williamson ed. Key Terms in Logic, Continuum, Key Terms Series, Due in September 2010 An access…

次の本を予約する。 Penelope Maddy Defending the Axioms: On the Philosophical Foundations of Set Theory, Oxford University Press, Due in January 2011 Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assu…

Matthew E. Moore ed. New Essays on Peirce's Mathematical Philosophy, Open Court, Due in August 2010 Michael J. Loux ed. The Possible and the Actual: Readings in the Metaphysics of Modality, Cornell University Press, 1979 先日、次の文献を注…

Charles S. Peirce Philosophy of Mathematics: Selected Writings, Matthew E. Moore ed., Indiana University Press, Selections from the Writings of Charles S. Peirce, Due in August 2010 Robert B. Talisse, Scott F. Aikin and Steven M. Cahn ed. …

大出晁 『大出晁哲学論文集』、野本和幸編・解題、慶應義塾大学出版会、2010年5月20日発売予定 目次を見るとすごく便利そうだとわかります。勉強させていただきたく思い、注文致しました。

Hans Hüttel Transitions and Trees: An Introduction to Structural Operational Semantics, Cambridge University Press, Due in June 2010 興味深い入門書が出るようです。やさしく書かれているみたいで、勉強になりそうです。そのような訳で注文しました…

Gregory Landini Russell, Routledge, The Routledge Philosophers Series, Due in July 2010 Russell の論理学や、その周辺の哲学的事柄を中心に解説されているのではないかと思います。Landini さんが書かれているので、深く考えずにそのまま注文しました。

Stephen Neale Facing Facts, Clarendon Press/Oxford University Press, Due in August 2010 (First Published in 2001) Slingshot Argument の本。2001年に出た hard 版が、今回 paper として再刊されるようです。注文しておきました。Hard を以前に手に取…

Paolo Mancosu The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940, Oxford University Press, Due in September 2010 しばらく前に、この本を注文する予定だと、2010年3月27日の日記で述べていまし…

Stephen Cook and Phuong Nguyen Logical Foundations of Proof Complexity, Cambridge University Press, Perspectives in Logic Series, 2010 このような新刊が出ていることを、昨日まで知らなかった。という訳で、本日注文しておきました。

Mark Textor Routledge Philosophy GuideBook to Frege on Sense and Reference, Routledge, Routledge Philosophy GuideBooks Series, Due in August 2010 W. D. Hart The Evolution of Logic, Cambridge University Press, The Evolution of Modern Philos…

Gottlob Frege Grundgesetze der Arithmetik: Begriffsschriftlich abgeleitet, Band I und II, Mentis Verlag, 2009 Pasquale Frascolla Wittgenstein's Philosophy of Mathematics, Routledge, 1994 Arend Heyting Intuitionism: An Introduction, Third R…

Tom Ricketts and Michael Potter ed. The Cambridge Companion to Frege, Cambridge University Press, Cambridge Companions to Philosophy Series, Due in July 2010 Wolfgang Kienzler Begriff und Gegenstand: Eine historische und systematische Stud…

Solomon Feferman, Charles Parsons and Stephen G. Simpson ed. Kurt Gödel: Essays for his Centennial, Cambridge University Press, Lecture Notes in Logic Series, Due in May 2010 Nuno Venturinha ed. Wittgenstein after his Nachlass, Palgrave Ma…

Ernst Zermelo Collected Works/Gesammelte Werke, Volume I/Band I: Set Theory, Miscellanea/Mengenlehre, Varia, Springer, Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, no. 21, Due in J…

Nicholas Griffin and Dale Jacquette ed. Russell vs. Meinong: The Legacy of "On Denoting," Routledge, Routledge Studies in Twentieth Century Philosophy Series, 2008 近頃記述の理論を自分なりに考え直したいと思ったので注文。

Bertrand Russell My Philosophical Development, Revised ed., Routledge, 1995 (First Published in 1959) Ditto Autobiography, Routledge, Routledge Classics, 2009 (Originally Published in 3 vols., in 1967-69)

Francis Jeffry Pelletier ed. Kinds, Things, and Stuff: Mass Terms and Generics, Oxford University Press, New Directions in Cognitive Science Series, 2009 Herbert Enderton A Mathematical Introduction to Logic, Second Edition, Academic Press…

Bernard Linsky Russell's Metaphysical Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, 1999

Bertrand Russell Principles of Mathematics, Routledge, Routledge Classics Series, 1903/2009 Nicholas Griffin ed. The Cambridge Companion to Bertrand Russell, Cambridge University Press, Cambridge Companions to Philosophy, 2003 Peter Hylton…

Paradox 関係と Russell 関係を注文する。 Anil Gupta and Nuel Belnap The Revision Theory of Truth, The MIT Press, Bradford Books Series, 1993 Thomas Bolander, Vincent F. Hendricks and Stig Andur Pedersen, ed. Self-Reference, CSLI Publication…

実は以下の本を私は持っていない。 Paul Benacerraf and Hilary Putnam ed. Philosophy of Mathematics: Selected Readings, 2nd ed., Cambridge University Press, 1983 これはちょっとひどい話かもしれない。 ただ、中の論文を大抵 copy して持っているの…

次の本二点は確かに所有していない。 Frank Plumpton Ramsey Foundations of Mathematics and Other Logical Essays, Routledge, International Library of Philosophy Series, 2006 Ditto Philosophical Papers, D. H. Mellor ed., Cambridge University Pr…

とりあえず以下を注文して確保しておきます。 George Boolos The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 2009 (First Published in 1979) Ditto The Logic of Provability, Cambridge University Press, 1995…

Dov M. Gabbay and John Woods ed. Logic from Russell to Church, Elsevier, Handbook of the History of Logic, vol. 5, 2009 Louis Couturat La logique de Leibniz: D'après des documents inédits, Georg Olms, 1985 (First Published in 1901) E. J. L…

Francesco Berto There's Something About Gödel: The Complete Guide to the Incompleteness Theorem, Wiley-Blackwell, Due in November 2009 Contents Part I: The Gödelian Symphony: 1. Foundations and Paradoxes1 "This sentence is false" 2 The Lia…

本日5点、注文する。 Klaus Robering ed. New Approaches to Classes and Concepts, College Publications, Studies in Logic Series, vol. 14, 2008 Amilcar Sernadas and Cristina Sernadas Foundations of Logic and Theory of Computation, College Publ…

Cory Juhl and Eric Loomis Analyticity, Routledge, New Problems of Philosophy Series, due in August 2009 Frege において、数学の真理は分析的か、ということは、重要な topic なので、この概説書を注文しておきました。

Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited, Cambridge University Press, Due in November 2009 Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to…

G. E. Revesz Lambda-calculus, Combinators and Functional Programming, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 4, Due in June 2009 (Hardback Originally Published in 1988) Hans D. Sluga Gottlob Frege…