■

本日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 Publications, Computing Series, vol. 10, 2008
• Dov Gabbay and John Woods ed.　　The International Directory of Logicians: Who's Who in Logic, College Publications, 2009
• Shahid Rahman and Juan Redmond　　Hugh MacColl: An Overview of his Logical Work with Anthology, College Publications, Texts in Philosophy Series, vol. 7, 2007
• Otávio Bueno and Øystein Linnebo ed.　　New Waves in Philosophy of Mathematics, Palgrave Macmillan, New Waves in Philosophy Series, due in September 2009

このうち一番最初の本は、最も興味深く思っているので、その description も掲載しておきます。

Classifying objects — thus collecting them into classes — is an operation both fundamental and common in everyday life as well as in scientific endeavours. Logic, philosophy, mathematics and computer science analyse this activity by means of such notions as ‘class’, ‘set’, and ‘type’.
Furthermore, according to the so-called “logical (or naïve) conception of classes”, these notions are related to the notion ‘concept’ in that classes are considered ‘extensions’ of concepts. This relationship, however, is a delicate one — as we have learned from the paradoxes of class theory. The contributions to this volume shed new light both on concepts and classes and their delicate relationship. New and original approaches to these issues (e.g., map theory, -sets, intensional type theory, AFA set theory) are presented and discussed in the broader context of their application to problems from informatics and linguistics. The focus is on such matters as unrestrictive comprehension, extensionality, the relationship between the notions of concept, class and extension, and on unfounded (circular and infinitely descending) patterns of elementhood. These and related problems have always played a role in the development of set theory and have always delivered motivation for the development of unorthodox views and theories. This is also demonstrated in this volume by contributions dealing with the history of Zermelo’s axiomatization of set theory and Ackermann’s class theory with unrestrictive comprehension, respectively.

The contributions of this volume are based on the presentation at a Workshop on “Alternative Set Theories — Alternatives to Set Theory” held at the University of Southern Denmark in 2006.