-
13Review: Hao Wang, From Mathematics to Philosophy (review)Journal of Symbolic Logic 42 (4): 579-580. 1977.
-
226Quine, analyticity and philosophy of mathematicsPhilosophical Quarterly 54 (214). 2004.Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific the…Read more
-
35The decision problem for linear temporal logicNotre Dame Journal of Formal Logic 26 (2): 115-128. 1985.
-
312On a derivation of the necessity of identitySynthese 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
Princeton, New Jersey, United States of America