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:

2016-2017

  • PH210 Logic II: Metatheory (Term 1)
  • on leave in term 2

2015-2016


Upcoming and recent talks:


Publications:

Forthcoming:

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.