Contact:

Walter Dean (W.H.Dean@warwick.ac.uk)
Associate Professor
Department of Philosophy
University of Warwick
Coventry CV4 7AL
Office: Social Studies S2.70

For 2022-2023, I am on research leave as a fellow of the French Institute for Advanced Study host by the Institut d'études avancée de Paris.

For terms 2 and 3 of 2020-2021 and all of 2021-2022, I was on research leave as a von Humboldt fellow at the MCMP in Munich.

Education:
PhD Computer Science (2010, CUNY), PhD Philosophy (2007, Rutgers), MSc Logic (1999, Amsterdam)

Interests:
Philosophy of mathematics, mathematical and philosophical logic, theoretical computer science, history and philosophy of computation.

Mathematics and Philosophy Degree:
I am the Philosophy convenor of the Mathematics and Philosophy joint degrees. (See our events page here.) Please contact me if you have any questions about the degrees or are considering post-graduate work at Warwick in logic or philosophy of mathematics.

Teaching:

2020-2021

• Term 1: PH210 Logic II
• Term 2: On research leave.

2021-2022

• On research leave.

2022-2023

• On research leave.

Upcoming and recent talks:

• "Mathematical difficulty, SAT solvers, and bounded arithmetic" (with Alberto Naibo), Artificial Intelligence and Theorem Proving (AITP 7), Aussois, 4-7 September 2022.
• "On abstraction principles for algorithms", 9ème Ecole Thématique du GDR PhilMath 27 June-1 July 2022, Château de Goutelas , Marcoux.
• "On the indispensability of mathematics to philosophy", Reverse Mathematics and its Philosophy, University of Chicago Center in Paris, 13–17 June 2022.
• "Arithmetical forcing and internal categoricity" workshop on internal categoricity, Helsinki 23-25 May 2022.
• "Strict finitism, feasible arithmetics, and nonstandard models", Séminaire Infini mathématique, Paris 7 (SPHERE), 5 May 2022.
• "On geometric consistency from the finitary standpoint", Modern Geometry and its Foundations, University of Vienna, 13-15 January 2022.
• "Algorithms and Ontology", Computability, Algorithms, Types and Proofs Lyon 3 22-24 November, Definitions of algorithms : from logic to law, Paris 1 (IHPST), December 10-11 2-21.
• "Machine intelligence and intrinsic mathematical difficulty" (with Alberto Naibo, Paris 1), 13th French Phil Math Workshop, Université Cote d'Azur Nice, 7-9 October 2022 and Saint Andrews Philosophy Society, 15 November 2022.
• "Informal rigour and the origins of forcing", Munich-Konstanz Workshop on Philosophy of Mathematics/Logic 19-20 November, 2021 MCMP and
  Association for the Philosophy of Mathematical Practice, 1 July 2021.
• "A Royal Road to Incompleteness?", PhilMath Intersem, Paris 7, 9 June 2021.
• "The Liar and the Sorites: Towards a unified arithmetical treatment", Lisbon Mathematical Logic Seminar, 22 March 2021.
• "On the methodology of informal rigour: Set theory, semantics, and intuitionism" (with Hidenori Kurokawa), MWPMW, 2 December 2020.
• "On consistency and existence in mathematics", Notre Dame, 8 November 2019 and Aristotelian Society, 15 June 2020.