-
2University of Illinois at Urbana-Champaign, June 3–7, 2000Bulletin of Symbolic Logic 6 (3). 2000.
-
24Alternative Set TheoriesIn Dov Gabbay (ed.), The Handbook of the History of Logic, Elsevier. 2009.
-
Sets and extensions in the twentieth centuryIn Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic, Elsevier. 2004.
-
164Handbook of the history of logic (edited book)Elsevier. 2004.Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, includ…Read more
-
232000 Annual Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 6 (3): 361-396. 2000.
-
The Proceedings of the Twentieth World Congress of PhilosophyThe Proceedings of the Twentieth World Congress of Philosophy 6. 2000.Analytic philosophy, a dominant tradition of twentieth-century philosophy, can be informatively cast as the outgrowth of the investigations of logic and language of Gottlob Frege, Bertrand Russell, and Ludwig Wittgenstein, and in the next generation, of Rudolf Carnap and W.V. Quine. As such, it is a specific historical development, one that featured subtle dialectical interactions among its propounders, interactions that have been reflected or reenacted in later developments. Whatever its herita…Read more
-
33
-
18Shelah Saharon. Cardinal arithmetic. Oxford logic guides, no. 29. Clarendon Press, Oxford University Press, Oxford and New York1994, xxxi + 481 pp (review)Journal of Symbolic Logic 62 (3): 1035-1039. 1997.
-
12José Ferreirós. Labyrinth of thought. A history of set theory and its role in modern mathematics. Science networks, vol. 23. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, xxi + 440 pp (review)Bulletin of Symbolic Logic 7 (2): 277-278. 2001.
-
16
-
Putnam’s Constructivization ArgumentIn John Burgess (ed.), Hilary Putnam on Logic and Mathematics, Springer Verlag. 2018.
-
22Mathias and set theoryMathematical Logic Quarterly 62 (3): 278-294. 2016.On the occasion of his 70th birthday, the work of Adrian Mathias in set theory is surveyed in its full range and extent.
-
24The Mathematical Infinite as a Matter of MethodAnnals of the Japan Association for Philosophy of Science 20 3-15. 2012.
-
29Mathematical Knowledge : Motley and Complexity of ProofAnnals of the Japan Association for Philosophy of Science 21 21-35. 2013.
-
31The compleat 0†Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2): 133-141. 1990.
-
Proceedings of the 20th World Conress of Philosophy, Vol VI , Analytic Philosophy and Logic (edited book)Philosophy Document Center. 2000.
-
19Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics (review)Bulletin of Symbolic Logic 7 (2): 277-278. 2001.
-
62004–05 Winter Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 11 (3): 454-460. 2005.
-
69Gödel and set theoryBulletin of Symbolic Logic 13 (2): 153-188. 2007.Kurt Gödel with his work on the constructible universeLestablished the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and launched it with structured subject matter and specific methods of proof. In later years Gödel worked on a variety of set theoretic…Read more
-
The Infinite as Method in Set Theory and MathematicsOntology Studies: Cuadernos de Ontología 31-41. 2009.Este artículo da cuenta de la aparición histórica de lo infinito en la teoría de conjuntos, y de cómo lo tratamos dentro y fuera de las matemáticas. La primera sección analiza el surgimiento de lo infinito como una cuestión de método en la teoría de conjuntos. La segunda sección analiza el infinito dentro y fuera de las matemáticas, y cómo deben adoptarse. This article address the historical emergence of the infinite in set theory, and how we are to take the infinite in and out of mathematics.Th…Read more
-
18Review: Saharon Shelah, Cardinal Arithmetic (review)Journal of Symbolic Logic 62 (3): 1035-1039. 1997.
-
81In praise of replacementBulletin of Symbolic Logic 18 (1): 46-90. 2012.This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of modern set theory.
-
Boston UniversityRegular Faculty
Boston, Massachusetts, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |