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.
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. My views on these topics are set forth in my book, Logicism and Its Philosophical Legacy, which is a combination of new and previously published papers, published by Cambridge University Press (2013).
I retired from Western on June 30, 2012.