Doctor en filosofía por la Universidad de Harvard, es profesor de filosofía en la Universidad de North Carolina en Chapel Hill desde 1967 y miembro del comité editorial de la revista "History and Philosophy of Logic". Al lado de numerosos ensayos en revistas, publicó las obras Elementary Logic y Frege and the Philosophy of Mathematics.