Associate Professor of Philosophy, Logic Coordinator
Rome 555, Office Hours: M 3:50-5:00
Areas of Expertise
Philosophy of mathematics, philosophy of logic, logic, philosophy of science, metaphysics, epistemology, philosophy of language, philosophy of ecological economics, philosophy of computer science
Teaching: University of Reading, London School of Economics and University of Manchester.
Work in artificial intelligence as ontological engineer for Cycorp.
Ph.D. 1997 University of St. Andrews
(2014) Pluralism in Mathematics; a New Position in Philosophy of Mathematics. Logic, Epistemology and the Unity of Science, Springer.
Introducing Philosophy of Mathematics. Published by Acumen publishers in the U.K. (March 2007), by McGill - Queens in Canada and by Cornell University Press in the U.S.A.
Induction, Algorithmic Learning Theory and Philosophy. A collection of papers jointly edited by Valentina Harizanov, Norma Goethe and Michele Friend, in the series: Logic, Epistemology and the Unity of Science, edited by Shahid Rahman and John Symons. (Springer, Aug. 2007). To order a book, go to the Springer web site. In this book I co-authored the Introduction chapter wrote the chapter "Some Philosophical Issues Concerning the Confidence in Confident Learning Theory".
(2012) Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices. Paraconsistency: Logic and Applications. Koji Tanaka, Franz Berto, Edwin Mares and Paoli Francesco (eds.). Berlin: Springer. 277 – 309.
(2012) God ‘Promptly Vanished in a Puff of Logic’. Philosophy and The Hitchhiker’s Guide to the Galaxy. Nicholas Joll (ed.). London: Palgrave. 185 – 212.
(2015) Using Mathematics to Explain a Scientific Theory Co-written with Daniele Molinini. Philosophia Mathematica.
(2015) On the Epistemological Significance of the Hungarian Project. Synthese, special edition: Logic and Relativity Theory. Vol. 192, Issue 7 (2015), pp. 2035-2051.
(2013) Embracing the Crisis in the Foundations of Mathematics. La crise des fondements : quelle crise?, François Lepage et Karine Fradet. Les Cahiers d'Ithaque
(2011) Are Mathematicians Better Described as Formalists or Pluralists? Co-written with Andrea Pedeferri. L&PS – Logic and Philosophy of Science; selected proceedings of the SILFS 2010 International Congress. Vol.IX, No.1. Section 2.
(2011) An Analysis of the Notion of Rigour in Mathematical Proof. Co-written with Andrea Pedeferri. L&PS – Logic and Philosophy of Science; selected proceedings of the SILFS 2010 International Congress. Vol.IX, No.1. Section 2.
(2010) Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Co-written with Norma B. Goethe. Studia Logica Volume 96, Number 2. 273-288.
(2010) Boole: From Calculating Numbers to Calculating Thoughts. Ferreira, F., Löwe, B., Mayordomo, E., Gomes, L.M. (eds.) Programs, Proofs and Processes; 6th Annual Conference on Computability in Europe; 6th Conference on Computability in Europe, Ponta Delgada, Azores Portugal, June/July 2010, Proceedings. Springer: Berlin 2010. 172-179.
Continuing with pluralism in mathematics, a book project on meta-philosophy, developing some aspects of a pluralist accounting system for the environment.
PHIL 2045.10 MW 12:45-2:00
PHIL 3121.10 MW 2:20-3:35