•  51
    Book Reviews
    Philosophia Mathematica 1 (2): 180-188. 1993.
  •  214
    Quinus ab Omni Nævo Vindicatus
    Canadian Journal of Philosophy 27 (sup1): 25-65. 1997.
    Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development of new ‘dir…Read more
  •  73
    Read on relevance: a rejoinder
    Notre Dame Journal of Formal Logic 25 (3): 217-223. 1984.
  •  396
    On a derivation of the necessity of identity
    Synthese 191 (7): 1-19. 2014.
    The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.
  •  84
    Axioms for tense logic. II. Time periods
    Notre Dame Journal of Formal Logic 23 (4): 375-383. 1982.
  •  20
    Adapated from talks at the UCLA Logic Center and the Pitt Philosophy of Science Series. Exposition of material from Fixing Frege, Chapter 2 (on predicative versions of Frege’s system) and from “Protocol Sentences for Lite Logicism” (on a form of mathematical instrumentalism), suggesting a connection. Provisional version: references remain to be added. To appear in Mathematics, Modality, and Models: Selected Philosophical Papers, coming from Cambridge University Press.
  •  133
    Synthetic mechanics
    Journal of Philosophical Logic 13 (4): 379-395. 1984.
  •  153
    Decidability for branching time
    Studia Logica 39 (2-3): 203-218. 1980.
    The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.
  •  130
    Philosophy of Mathematics in the Twentieth Century: Selected Essays
    History and Philosophy of Logic 36 (1): 93-95. 2015.
    The second volume of Charles Parsons’ selected papers, dedicated to Solomon Feferman, Wilfred Sieg, and William Tait, collects eleven mainly historical essays and reviews on philosophy and philosop...
  •  183
    Thomas McKay. Plural predication
    Philosophia Mathematica 16 (1): 133-140. 2008.
    This work, the first book-length study of its topic, is an important contribution to the literature of philosophical logic and philosophy of language, with implications for other branches of philosophy, including philosophy of mathematics. However, five of the book's ten chapters, including many of the author's most original contributions, are devoted to issues about natural language, and lie pretty well outside the scope of this journal, not to mention that of the reviewer's competence. For thi…Read more
  •  188
    Hintikka et Sandu versus Frege in re Arbitrary Functions
    Philosophia Mathematica 1 (1): 50-65. 1993.
    Hintikka and Sandu have recently claimed that Frege's notion of function was substantially narrower than that prevailing in real analysis today. In the present note, their textual evidence for this claim is examined in the light of relevant historical and biographical background and judged insufficient.
  •  29
    In this era when results of empirical scientific research are being appealed to all across philosophy, when we even find moral philosophers invoking the results of brain scans, many profess to practice "naturalized epistemology," or to be "epistemological naturalists." Such phrases derive from the title of a well-known essay by Quine,[1] but Paul Gregory's thesis in the work under review is that there is less connection than is usually assumed between Quine's variety of naturalized epistemology …Read more
  •  143
    On the Hanf number of souslin logic
    Journal of Symbolic Logic 43 (3): 568-571. 1978.
    We show it is consistent with ZFC that the Hanf number of Ellentuck's Souslin logic should be exactly $\beth_{\omega_2}$
  •  279
    Logic and time
    Journal of Symbolic Logic 44 (4): 566-582. 1979.
  •  74
    Synthetic mechanics revisited
    Journal of Philosophical Logic 20 (2): 121-130. 1991.
    Earlier results on eliminating numerical objects from physical theories are extended to results on eliminating geometrical objects.
  •  202
    Discussion—Soames on Empiricism
    Philosophical Studies 129 (3): 619-626. 2006.
    Philosophical Analysis in the Twentieth Century by Scott Soames reminds me of nothing so much as Lectures on Literature by Vladimir Nabokov. Both are works that arose immediately out of the needs of undergraduate teaching, yet each manages to say much of significance to knowledgeable professionals. Each indirectly provides an outline of the history of its field, through a presentation of selected major works, taken in chronological order and including items that are generally recognized as marki…Read more
  •  102
    Abstract Objects
    Philosophical Review 101 (2): 414. 1992.
  •  69
    One textbook may introduce the real numbers in Cantor’s way, and another in Dedekind’s, and the mathematical community as a whole will be completely indifferent to the choice between the two. This sort of phenomenon was famously called to the attention of philosophers by Paul Benacerraf. It will be argued that structuralism in philosophy of mathematics is a mistake, a generalization of Benacerraf’s observation in the wrong direction, resulting from philosophers’ preoccupation with ontology.
  • John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be o…Read more
  •  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.
  •  66
    How Foundational Work in Mathematics Can Be Relevant to Philosophy of Science
    PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992 433-441. 1992.
    Foundational work in mathematics by some of the other participants in the symposium helps towards answering the question whether a heterodox mathematics could in principle be used as successfully as is orthodox mathematics in scientific applications. This question is turn, it will be argued, is relevant to the question how far current science is the way it is because the world is the way it is, and how far because we are the way we are, which is a central question, if not the central question, o…Read more