Virtually all of my research, both my early work in philosophy of physics and my later work on computationalism, has been concerned, in one way or another, with the connection between developments in logic and their impact on general philosophy and philosophy of science, and conversely, with the impact of philosophical theses on the continuing articulation of the concepts of modern logic.
Recently, I have been concerned with historical and systematic aspects of logicism in the philosophy of arithmetic, and with the approach to the theory of theories arising out of the tradition of Russell, Ramsey and Carnap. Both projects form part of a broader investigation into how early developments in the foundations of mathematics have influenced views of language and reality that lie at the basis of the analytic tradition.
On July 2011 I will begin a one year phased retirement which will see me retired on June 30, 2012. During the 2011-2012 academic year I will not teach any classes.