•  42
    Abstract Objects
    Philosophical Review 101 (2): 414. 1992.
  •  42
  •  34
    Axioms for tense logic. I. "Since" and "until"
    Notre Dame Journal of Formal Logic 23 (4): 367-374. 1982.
  •  48
    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. 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
  •  20
    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. Burge…Read more
  •  78
    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
  •  84
    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
  •  200
    Why I am not a nominalist
    Notre Dame Journal of Formal Logic 24 (1): 93-105. 1983.
  •  42
    Beyond tense logic (review)
    Journal of Philosophical Logic 13 (3): 235-248. 1984.
  •  23
    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}$
  •  101
    Dummett's case for intuitionism
    History and Philosophy of Logic 5 (2): 177-194. 1984.
    Dummett's case against platonism rests on arguments concerning the acquisition and manifestation of knowledge of meaning. Dummett's arguments are here criticized from a viewpoint less Davidsonian than Chomskian. Dummett's case against formalism is obscure because in its prescriptive considerations are not clearly separated from descriptive. Dummett's implicit value judgments are here made explicit and questioned. ?Combat Revisionism!? Chairman Mao
  •  150
    Logic and time
    Journal of Symbolic Logic 44 (4): 566-582. 1979.
  •  128
    The Development of Modern Logic
    History and Philosophy of Logic 32 (2). 2011.
    History and Philosophy of Logic, Volume 32, Issue 2, Page 187-191, May 2011