•  47
    Kripke
    Polity. 2012.
    Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, _Naming and Necessity_, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection _Philosophical Troubles_. In this book Kripke’s long-time colleague, the logician and philosopher John P. B…Read more
  •  32
    Synthetic mechanics revisited
    Journal of Philosophical Logic 20 (2). 1991.
    Earlier results on eliminating numerical objects from physical theories are extended to results on eliminating geometrical objects
  •  231
    E pluribus unum: Plural logic and set theory
    Philosophia Mathematica 12 (3): 193-221. 2004.
    A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory
  •  21
    Review: Beyond Tense Logic (review)
    Journal of Philosophical Logic 13 (3). 1984.
  •  135
    Charles Parsons. Mathematical thought and its objects
    Philosophia Mathematica 16 (3): 402-409. 2008.
    This long-awaited volume is a must-read for anyone with a serious interest in philosophy of mathematics. The book falls into two parts, with the primary focus of the first on ontology and structuralism, and the second on intuition and epistemology, though with many links between them. The style throughout involves unhurried examination from several points of view of each issue addressed, before reaching a guarded conclusion. A wealth of material is set before the reader along the way, but a revi…Read more