まず、書籍。
- Giovanni Sommaruga ed. Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, vol. 76, 2011
- Allen L. Mann, Gabriel Sandu and Merlijn Sevenster Independence-Friendly Logic: A Game-Theoretic Approach, Cambridge University Press, London Mathematical Society Lecture Note Series, no. 386, 2011
- 矢野道雄 『インド数学の発想 ＩＴ大国の源流をたどる』、NHK出版新書 348, NHK出版、2011年
矢野先生の本は、先生がお書きになっていることから想像されるように、インドの数学史、天文学史、科学史にかかわる本。インド文化の変容を、数学史、天文学史、科学史を題材に分析し、インド文化の行く末を展望することを目指して書かれている本のようです。インド数学史、天文学史、科学史そのものの本という訳ではないですが、多くがその種の話になっており、新書本ではかつて中公新書から出ていた林隆夫先生の『インドの数学』を補完するようないみ合いを持った本になっているようです。という訳で、勉強になりそうなので購入させてもらいました。
次に論文の類い。最初に Leśniewski 関係。
- John Thomas Canty ''The Numerical Epsilon,'' in: Notre Dame Journal of Formal Logic, vol. 10, no. 1, 1969
- Ditto ''Ontology: Leśniewski's Logical Language,'' in: Foundations of Language, vol. 5, no. 4, 1969
- Vito F. Sinisi '' ''ε'' and Common Names,'' in: Philosophy of Science, vol. 32, no. 3/4, 1965
- John T. Sanders ''Stanislaw Leśniewski's Logical Systems,'' in: Axiomathes, vol. 7, no. 3, 1996
そして P. Lorenzen, Wittgenstein, Russell, Aristotelian Logic 関係等々。
- Gert H. Müller ''On the Operational Foundations of Logic and Mathematics,'' in: Ratio, vol. 1, no. 1, 1957
- Paul Bernays ''Comments on Ludwig Wittgenstein's Remarks on the Foundations of Mathematics,'' in: Ratio, vol. 2, no. 1, 1959
- Hao Wang ''Russell and His Logic,'' in: Ratio, vol. 7, no. 1, 1965
- Joseph A. Novak ''Some Recent Work on the Assertoric Syllogistic,'' in: Notre Dame Journal of Formal Logic, vol. 21, no. 2, 1980
- Nicolas Fillion ''Two Accounts of Aristotle’s Logic: A Comparison of Łukasiewicz’s and Corcoran-Smiley’s Reconstructions,'' Seminar on Aristotelian Logic, University of Western Ontario, 39 pp, April 16, 2007
- Louise Nisbet Roberts ''A Chimera Is a Chimera: A Medieval Tautology,'' in: Journal of the History of Ideas, vol. 21, no. 2, 1960
- J. F. Staal ed. ''Formal Logic and Natural Languages (A Symposium),'' in: Foundations of Language, vol. 5, no. 2, 1969
最後の Staal ed. の文献は、1967年に開催された symposium の記録で、'The Role of Formal Logic in the Evaluation of Argumentation in Natural Languages' というテーマで行われた討論を活字化したもの。討論に参加した人々の名前を、発言順に掲げると次の通りです(敬称略)。Y. Bar-Hillel (Jerusalem), J. J. Katz (MIT), A. Stroll (California Univ. at San Diego), J. Hintikka (Helsinki, Stanford), M. Black (Cornell), E. Stenius (Finland), J. F. Staal (Amsterdam), J. Lyons (Edinburgh), E. M. Barth (Amsterdam), S. Gorn (Pennsylvania Univ.), F. Sommers (Brandeis), R. Montague (UCLA), M. Dummett (Oxford). なお、symposium に出席できなかった P. Geach の書簡が討論の中で読み上げられていて、その内容も今取り上げている文献中に収録されている。
