•  80
    Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
    Croatian Journal of Philosophy 26 (2): 11--27. 2012.
    Some central philosophical issues concern the use of mathematics in putatively non-mathematical endeavors. One such endeavor, of course, is philosophy, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics
  •  253
    Truth, function and paradox
    Analysis 71 (1): 38-44. 2011.
    Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but he adds that each of the contenders …Read more
  •  118
    Turing projectability
    Notre Dame Journal of Formal Logic 28 (4): 520-535. 1987.
  •  1
    Intensional Mathematics
    Philosophy of Science 56 (1): 177-178. 1989.
  •  194
    Second-Order Logic, Foundations, and Rules
    Journal of Philosophy 87 (5): 234. 1990.