-
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.
-
29Mathematical Knowledge : Motley and Complexity of ProofAnnals of the Japan Association for Philosophy of Science 21 21-35. 2013.
-
24The Mathematical Infinite as a Matter of MethodAnnals of the Japan Association for Philosophy of Science 20 3-15. 2012.
-
13Perfect-set forcing for uncountable cardinalsAnnals of Mathematical Logic 19 (1-2): 97-114. 1980.
-
21Laver and set theoryArchive for Mathematical Logic 55 (1-2): 133-164. 2016.In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.
-
362004–05 Winter Meeting of the Association for Symbolic Logic (review)Bulletin of Symbolic Logic 11 (3): 454-460. 2005.
-
Structures and the Hyperarithmetical Hierarchy. Knight has directed or co-directed seven doctoral dissertations in mathematics and one in electrical engineering. She served on selection panels for the NSF Postdoctoral Fellowships, on program committees of numerous meetings, and as an editor of The Journal of Symbolic Logic (1989-1995) (review)Bulletin of Symbolic Logic 6 (1). 2000.
-
17Regressive partition relations, n-subtle cardinals, and Borel diagonalizationAnnals of Pure and Applied Logic 52 (1-2): 65-77. 1991.We consider natural strengthenings of H. Friedman's Borel diagonalization propositions and characterize their consistency strengths in terms of the n -subtle cardinals. After providing a systematic survey of regressive partition relations and their use in recent independence results, we characterize n -subtlety in terms of such relations requiring only a finite homogeneous set, and then apply this characterization to extend previous arguments to handle the new Borel diagonalization propositions
-
103Cohen and set theoryBulletin of Symbolic Logic 14 (3): 351-378. 2008.We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing
-
125The mathematical import of zermelo's well-ordering theoremBulletin of Symbolic Logic 3 (3): 281-311. 1997.Set theory, it has been contended, developed from its beginnings through a progression ofmathematicalmoves, despite being intertwined with pronounced metaphysical attitudes and exaggerated foundational claims that have been held on its behalf. In this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and…Read more
-
Boston UniversityRegular Faculty
Boston, Massachusetts, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |