•  42
    Beyond tense logic (review)
    Journal of Philosophical Logic 13 (3): 235-248. 1984.
  •  120
    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
  •  96
    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
  •  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}$
  •  127
    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
  •  147
    Logic and time
    Journal of Symbolic Logic 44 (4): 566-582. 1979.