•  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
  •  21
    Review: Beyond Tense Logic (review)
    Journal of Philosophical Logic 13 (3). 1984.
  •  78
    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.
  •  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.
  •  87
    Marcus, Kripke, and names
    Philosophical Studies 84 (1). 1996.