91福利

Contact: Walter Dean (W.H.Dean@warwick.ac.uk) Associate Professor Department of Philosophy 91福利 Coventry CV4 7AL Office: Current project: For 2026-2029, I am the UK PI of the AHRC-DFG funded project "The mathematical turn in philosophy: measurement, computation, (de)idealization". For 2022-2023, I was a host by the . In 2021-2021, I was a von Humboldt fellow at the . Education: PhD Computer Science (2010, ), PhD Philosophy (2007, ), MSc Logic (1999, ) 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 . (See our events page here.) Please contact me if you have any questions about the degrees or are considering post-graduate work at 91福利 in logic or philosophy of mathematics.

Publications:

• (with Hidenori Kurokawa, forthcoming in the Journal of Symbolic Logic).
• "On open questions, artificial intelligence, and mathematical difficulty: A pr茅cis. Mitteilungen der Deutschen Mathematiker-Vereinigung, 33(3):172-177, 2025.
• , Proceedings of the Aristotelian Society, 120 (3), pp. 349–393.
•  Review of Symbolic Logic, 2018, 11(2), pp.295-346.
• (with Sean Walsh), Review of Symbolic Logic, 10(2), pp. 357-396.
• , Annals of the Japan Association for Philosophy of Science, 2017, 25, pp. 45-55.
• "
• .
• ".
• 鈥淎lgorithms and Ontology鈥� Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.
• 鈥淭he Knower Paradox and the Quantified Logic of Proofs鈥� (with Hidenori Kurokawa), Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.
• 鈥淥n Moschovakis鈥檚 theory of algorithmic identity鈥�, Proceedings of the 7th Panhellenic Logic Symposium, Volos, Greece.