-
31Peter Schroeder-Heister on Proof-Theoretic Semantics (edited book)Springer. 2024.This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy o…Read more
-
24College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or (review)Bulletin of Symbolic Logic 17 (1). 2011.
-
24The Quest for Frege's NachlassIn Michael Beaney & Erich Reck (eds.), Gottlob Frege: Critical Assessments of Leading Philosophers, Vol. I, Routledge. pp. 54-67. 2005.
-
232011 spring meeting of the association for symbolic logicBulletin of Symbolic Logic 18 (1): 135-141. 2012.
-
23On the Consistency of the Δ1 1-CA Fragment of Frege's GrundgesetzeJournal of Philosophical Logic 31 (4): 301-311. 2002.It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicat…Read more
-
18College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or (review)Bulletin of Symbolic Logic 16 (3). 2010.
-
17Fragments of [mathematical formula] based on [mathematical formula]-inductionArchive for Mathematical Logic 36 (1). 1997.
-
Auf der Suche nach Freges NachlaßIn Gottfried Gabriel & Uwe Dathe (eds.), Gottlob Frege - Werk und Wirkung, Mentis. pp. 267-282. 2000.
-
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor). John Baldwin, John (review)Bulletin of Symbolic Logic 15 (2). 2009.
Irvine, California, United States of America
Areas of Specialization
23 more
Areas of Interest
27 more