注文文献

Hartry Field Saving Truth From Paradox, Oxford University Press, 2008

Walter Sinnott-Armstrong, Diana Raffman and Nicholas Asher ed. Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus, Cambridge University Press, 1995/2009 Contents Bibliography of the Philosophical Works of Ruth Barcan Mar…

Wolfgang Künne Die philosophische Logik Gottlob Freges: Ein Kommentar mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I-IV, Vittorio Klostermann, Klostermann RoteReihe, in Vorbereitung für Frühja…

Stephen G. Simpson Subsystems of Second Order Arithmetic, 2nd Edition, Cambridge University Press, Perspectives in Logic Series, Due in May 2009

つい先日まで、以下の本がもうすぐ出るということに気が付かなかった。よく知られた先生方が多数寄稿されている。という訳で注文しておく。 Dr Pierre Wagner ed. Carnap's Logical Syntax of Language, Palgrave Macmillan, History of Analytic Philosophy…

Morten Heine Sorensen and Pawel Urzyczyn Lectures on the Curry-howard Isomorphism, Elsevier, Studies in Logic and the Foundations of Mathematics, vol. 149, 2006 著者のお一人 Sorensen さんはかつて日本にも一時期おられたようである。 P.S. 先日…

Ross Brady Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006 入門書をいくつかひも解いてみると、この本でなされていることは、簡単に言って、次のようなことのようである。 Comprehen…

J. Roger Hindley Basic Simple Type Theory, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 42, 2008 (Hardback Edition First Published in 1997)

Petr Hájek Metamathematics of Fuzzy Logic, Springer, Trends in Logic, vol. 4, 2002

以下の文献を注文。 A.S. Troelstra Lectures on Linear Logic, CSLI Publications, CSLI Lecture Notes, 1992

A. S. Troelstra and H. Schwichtenberg Basic Proof Theory, Second Edition, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 43, 2000 書店で手に取って購入を迷ったこともあったが、やはり買っておくことにする。そ…

Donald Gillies Revolutions in Mathematics, Oxford University Press, Oxford Science Publications, 1995 科学の歴史においてKuhnさんの言う科学革命があったかどうかが問題とされるように、数学の歴史においても同様の事柄があったかどうかが論じられて…

Leila Haaparanta ed. The Development of Modern Logic, Oxford University Press, due in February 2009 Description This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth centu…

哲学のjournalのback issueと、やはり哲学のdictionary 2nd ed.を注文。 また、しばらく前に注文した洋書が書店に届いたが、月末も近くお金も危ないので、後日受け取ることにする。

Donald Davidson Truth and Predication, Kevin Sharpe ed., Belknap Press/Harvard University Press, 2008 (First Published in 2005)

今日、Edinburgh UP の catalogue を見ていると、logic の dictionary が近刊とある。「そうか、logic の dictionary か。しかしどうなんだろうね。」と思いながら、description をつらつらと読む。あまり logic の dictionary は見かけないし、個人的には重…

Ingolf Max und Wolfgang Stelzner Hrsg. Logik und Mathematik: Frege-Kolloquium Jena 1993, Walter de Gruyter, Perspektiven der Analytischen Philosophie / Perspectives in Analytical Philosophy, vol. 5, 1995 Peter Aczel Non-Well-Founded Sets, …

Harvard UPのHPを見ているとQuineさんの文集が二点、近々刊行されるとある。そこで注文しておく。その二点とは以下の本である。 W. V. Quine Confessions of a Confirmed Extensionalist and Other Essays, Dagfinn Follesdal and Douglas B. Quine ed., Har…

Springerのcatalogueを見ていると、以下の文献の近刊(再刊)情報が出ている。 Wolfram Pohlers Proof Theory: The First Step into Impredicativity, Springer, Universitext Series, 2nd Printing, Due in September 2008. (1st ed. published in 1989) 内容…

Alonzo Church The Calculi of Lambda Conversion, Princeton University Press, Annals of Mathematics Studies, no. 6, 1985 (first published in 1941) この本はまだ新刊(reprint)として入手可能なようである。歴史的な記念碑的著作であり、paperで手頃な…

Agustín Rayo and Gabriel Uzquiano ed. Absolute Generality, Clarendon Press / Oxford University Press, 2006 この本はNeo-Fregeanismに関係してくるので、注文しておく。

以下の近刊書を注文しておく。 Douglas Patterson ed. New Essays on Tarski and Philosophy, Oxford University Press, September 2008 Michael Potter Wittgenstein's Notes on Logic, Oxford University Press, October 2008

次の文献を直接刊行元に注文する。 Rajesh Bhatt, Patrick Hawley, Martin Hackl, and Ishani Maitra ed. The Linguistics/Philosophy Interface: MIT Working Papers in Philosophy and Linguistics, #1, MIT Working Papers in Linguistics, 2000 MITの院…

Harold W. Noonan Frege : A Critical Introduction, Polity Press, Key Contemporary Thinkers Series, 2001 J. Roger Hindley and Jonathan P. Seldin Lambda-Calculus and Combinators: An Introduction, 2nd Edition, Cambridge University Press, Estim…

Mathieu Marion Wittgenstein, Finitism, and the Foundations of Mathematics, Oxford University Press, Oxford Philosophical Monographs, August 2008. (First published in 1998)

先日はCharles Parsonsさんの新刊 Mathematical Thought and Its Objects を購入したので、まだ入手していない次の本も注文しておく。 Charles Parsons Mathematics in Philosophy: Selected Essays, Cornell University Press, Cornell Classics in Philoso…

Gila Sher and Richard Tieszen ed. Between Logic and Intuition: Essays in Honor of Charles Parsons, Cambridge University Press, 2000 Graham Priest An Introduction to Non-Classical Logic: From If to Is, 2nd Edition, Cambridge University Pres…

Gottlob Frege Funktion, Begriff, Bedeutung: Fünf logische Studien, Günther Patzig Hg., Vandenhoeck & Ruprecht, 2008 この本のMark Textorさん編集版は持っていたが、古くからあるGünther Patzigさん編集版はまだ持っていなかった。 今年になって再刊…

Charles Parsons Mathematical Thought and Its Objects, Cambridge University Press, 2007 少し前に出たこちらの本を注文しておく。数学的対象とは何であるかについて、理解を深めたいために購入する。

Charles S. Peirce ed. ‘Studies in Logic’ by Members of the Johns Hopkins University (1883), with an introduction by Max H. Fisch, with a preface by Achim Eschbach, John Benjamins Publishing, Foundations of Semiotics 1, 1983 この文献が、論…