•  6
    No requirement of relevance
    In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press. pp. 727--750. 2005.
    There are schools of logicians who claim that an argument is not valid unless the conclusion is relevant to the premises. In particular, relevance logicians reject the classical theses that anything follows from a contradiction and that a logical truth follows from everything. This chapter critically evaluates several different motivations for relevance logic, and several systems of relevance logic, finding them all wanting.
  •  9
    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
  •  4
    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
  •  22
    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
  •  3
    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
  •  2
    Review: Beyond Tense Logic (review)
    Journal of Philosophical Logic 13 (3). 1984.
  •  13
    Probability logic
    Journal of Symbolic Logic 34 (2): 264-274. 1969.
    In this paper we introduce a system S5U, formed by adding to the modal system S5 a new connective U, Up being read “probably”. A few theorems are derived in S5U, and the system is provided with a decision procedure. Several decidable extensions of S5U are discussed, and probability logic is related to plurality quantification.
  •  7
    Marcus, Kripke, and names
    Philosophical Studies 84 (1). 1996.
  •  12
    It is shown that for invariance under the action of special groups the statements "Every invariant PCA is decomposable into (1 invariant Borel sets" and "Every pair of invariant PCA is reducible by a pair of invariant PCA sets" are independent of the axioms of set theory.