Skip to main content

Walter Dean

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

I am on leave in term 2 of 2016-2017.

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.

Midlands Logic Seminar:
I am the co-organizer (along with Richard Kaye) of the Midlands Logic Seminar.














Teaching:

2017-2018

  • PH210 Logic II: Metatheory (Term 1)
  • PH340 Logic III: Incompleteness & Undecidability (Term 2)
  • PH345 Philosophy of Computation (Term 2)

2016-2017

  • PH210 Logic II: Metatheory (Term 1)

  • on leave in term 2


Upcoming and recent talks:

  • History and Philosophy of Computing seminar, Lille 3, 7 June 2017
  • Arché Logic Seminar, Saint Andrews 30 May, 2017
  • LPS Colloquium, University of California, Irvine, 27 January 2017
  • MCMP Colloquium, LMU, 10 December, 2016
  • Oxford Philosophy of Mathematics Seminar, 21 November 2016
  • Midwest Phil Math Workshop, 12 November 2016
  • Computability in Europe, Paris, 27 June 2016 - July 2016


Publications:

2017:

2016:

2015

2014

2013

2011

2010:

2009:

2008:

  • “Algorithms and Ontology” Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.
  • “The Knower Paradox and the Quantified Logic of Proofs” (with Hidenori Kurokawa), Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.

2007:

  • “On Moschovakis’s theory of algorithmic identity”, Proceedings of the 7th Panhellenic Logic Symposium, Volos, Greece.