Professor Emeritus of History and Philosophy of Logic, University of St. Andrews in the Arché Research Centre for Logic, Language, Metaphysics and Epistemology, University of St. Andrews