ここ数日中に入手した文献の名を掲げます。
まずJournal Modern Logic から。以前からこの Journal の論文はそのうち入手したいと思っていた。今回まとめて手に入れる。
以下では特集の名前と収録巻号年を記し、続いてその巻号に掲載されている入手論文名を掲載する。
Tableaux Methods in: Modern Logic, vol. 1, no. 1 (1990)
- Irving H. Anellis “Editor's Note: A History of Logic Trees”
- Francine F. Abeles “Lewis Carroll's Method of Trees: Its Origins in Studies in Logic”
- Irving H. Anellis “From Semantic Tableaux to Smullyan Trees: A History of the Development of the Falsifiability Tree Method”
E. Schröder in: Modern Logic, vol. 1, no. 2-3 (1990-1991)
- Irving H. Anellis “Editorial”
- Volker Peckhaus “Introduction”
- Randall R. Dipert “The Life and Work of Ernst Schröder”
- Randall R. Dipert “Individuals and Extensional Logic in Schröder's Vorlesungen über die Algebra der Logik”
- Christian Thiel “Ernst Schröder and the Distribution of Quantifiers”
- Volker Peckhaus “Ernst Schröder und die ''pasigraphischen Systeme'' von Peano und Peirce”
- Nathan Houser “The Schröder-Peirce Correspondence”
- Irving H. Anellis “Schröder Material at the Russell Archives”
Dipert さんによる Schröder の伝記が興味深い。
Jean van Heijenoort in: Modern Logic, vol. 2, no. 3 (1992)
- Irving H. Anellis “Editor's Introduction”
- W. V. Quine “van Heijenoort”
- John W. Dawson “Jean van Heijenoort: An All Too Brief Acquaintance”
- Anita Burdman Feferman and Solomon Feferman “Jean van Heijenoort (1912-1986)”
- Irving H. Anellis “A Sketch of Jean van Heijenoort's View of the History of Modern Logic: Introduction to an Unpublished Paper”
- Jean van Heijenoort “Historical Development of Modern Logic”
- Jean-Yves Girard “The Fly in the Bottle (in Memory of Jean van Heijenoort)”
- Jesús Padilla-Gálvez “Theory of Quantification, Logic and Language (concerning the Selected Essays of Jean van Heijenoort)”
- Gregory H. Moore “Reflections on the Interplay between Mathematics and Logic”
- Irving H. Anellis “Jean van Heijenoort's Contributions to Proof Theory and its History”
R. Dedekind in: Modern Logic, vol. 3, no. 3 (1993)
- Irving H. Anellis “Editor's Note”
- Philip E. B. Jourdain “Richard Dedekind (1833-1916)”
G. Frege in: Modern Logic, vol. 3, no. 4 (1993)
- Irving H. Anellis “Editorial”
- Christian Thiel “Introduction”
- Gottlob Frege “Letter to Bertrand Russell, 22 June 1903 (reproduction)”
- Uwe Dathe “Freges Weg vom Logizismus zum Versuch einer geometrischen Grundlegung der Arithmetik”
- Antoni Diller “Is the Concept Horse an Object?”
- Gottfried Gabriel “Fictional Objects: A ''Fregean'' Response to Terence Parsons”
- Benjamin S. Hawkins “Peirce and Frege: a Question Unanswered”
- Ignacio Angelelli “Critical Remaks on Michael Dummett's Frege and Other Philosophers”
ここには Russell's Paradox 発見の知らせに対し、驚きを表明している Frege の返信書簡 photo copy 版が、収録されていて興味深い。
この photo は、野本先生の Frege 入門書 (勁草書房) にその一部が掲載されている。Felix Meiner の二つのドイツ語書簡集 ( Wissenschaftlicher Briefwechsel と Gottlob Freges Briefwechsel mit D. Hilbert, ... ) にもその一部が掲載されている。野本先生版も両ドイツ語書簡集にも、Frege の「驚いた」という率直な真情が語られている部分が掲載されている。
今回の Modern Logic 誌における reproduction は書簡全文で、Russell Archive のものではなく、Münster 版である。この全文は四ページ、または四葉に渡っていることがわかる。四枚の便箋に書かれて Russell に送られたのであろうか。野本先生版、及び両ドイツ語書簡集での reproduce はこの四ページのうち、第二ページ目になっていることがわかる。
以上、ささいなことだが、Frege が Russell に宛てて書簡を書いている様が何となく思い起こされて興味を引かれた。
How Old Is First-Order Logic? in: Modern Logic, vol. 6, no. 3 (1996)
- Kai F. Wehmeier “How Old Is First-Order Logic?”
- Moses Klein “Reply to Query: How Old Is First-Order Logic?”
- Irving H. Anellis “Reply to Query: How Old Is First-Order Logic?”
Logical Machines in: Modern Logic, vol. 7, no. 1 (1997)
- Blaise Pascal “Machine d'arithmétique”
- Benjamin Peirce “New System of Binary Arithmetic, by Benjamin Peirce, Consulting Geometer, United States Coast Survey”
- C. S. Peirce “Logical Machines”
- James Mark Baldwin “Logical Machine”
次に、やはり Journal Modern Logic から、興味を覚えた個々の文献の名を記す。
- María J. Frápolli “Is Cantorian Set Theory an Iterative Conception of Set?,” in: Modern Logic, vol. 1, no. 4, 1991
- M. Borga and D. Palladino “Logic and Foundations of Mathematics in Peano's School,” in: Modern Logic, vol. 3, no. 1, 1992
- Valentine A. Bazhanov “C. S. Peirce's Influence on the Logical Work of N. A. Vasiliev,” in: Modern Logic, vol. 3, no. 1, 1992
- Warren Goldfarb “Herbrand's Error and Gödel's Correction,” in: Modern Logic, vol. 3, no. 2, 1993
- Ignacio Angelelli “Abstraction and Number in Michael Dummett's Frege: Philosophy of Mathematics,” in: Modern Logic, vol. 4, no. 3, 1994
- István Tamássy “Interview with Róza Péter,” in: Modern Logic, vol. 4, no. 3, 1994
- Leon Harkelroad “Clarification on Róza Péter's Internment,” in: Modern Logic, vol. 4, no. 4, 1994
- Irving H. Anellis “Grandfather of Fuzzy Logic?,” in: Modern Logic, vol. 4, no. 3, 1994
- Irving H. Anellis “Review of Bart Kosko, Fuzzy Thinking: The New Science of Fuzzy Logic and Daniel McNeill and Paul Freiberger, Fuzzy Logic,” in: Modern Logic, vol. 5, no. 4, 1995
最後の二つの文献では、Fuzzy Logic の Grandfather として Russell の名が上がっていることについて、検討している。
続いて、Modern Logic 以外からの入手文献名を記す。
- Marco Forti and Furio Honsell “Set Theory with Free Construction Principles,” in: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, Sér. 4, vol. 10, no. 3, 1983
- Ross T. Brady “Entailment, Negation and Paradox Solution,” Abstract, First World Congress on Paraconsistency, 30 July – 2 August 1997, Universiteit Gent, Blandijnberg 2, B-9000 Ghent, Belgium
- Alan Weir “Naive Set Theory, Paraconsistency and Indeterminacy,” Abstract, First World Congress on Paraconsistency, 30 July – 2 August 1997, Universiteit Gent, Blandijnberg 2, B-9000 Ghent, Belgium
- Stewart Shapiro “The Objectivity of Mathematics,” in: Synthese, vol. 156, no. 2, 2007
- Sean Crawford “Quantifiers and Propositional Attitudes: Quine Revisited,” in: Synthese, vol. 160, no. 1, 2008
- 丸山眞男手帖の会編 『丸山眞男話文集 4 』、みすず書房、2009年
- 木村彰一、吉上昭三、ヘンルィク・リプシッツ協力 『ポーランド語の入門』、白水社、1973年
最後のポーランド語の入門書は、新刊である。古書ではない。我ながらこの本が新刊で手に入るとは思わなかった。長年求めていた本である。復刊でもしてくれない限り、もう新刊では手に入らないのだろうな、と思いつつ、書店のポーランド語の書棚の前に立つと、いつもこの本を探していた。そんな思いで今日も書棚の前に立つと、見たようなタイトルが目に飛び込んできて、一瞬疑問を感じ、次の瞬間に目をむいてしまった。すぐさま手に取って間違いがないことを確認し、即購入。驚いた。こんなことがあるんだ。あきらめなくてよかった。