Browse/search for people

Professor Leon Horsten

Professor Leon Horsten

Professor Leon Horsten
M.A.(Minn.), Ph.D.(Leuven)


Area of research

Formal Methods in Philosophy

Office 1.07, Cotham House
Cotham House,
Cotham Hill, Bristol BS6 6JL
(See a map)

+44 (0) 117 954 5534


My research is concentrated chiefly on bringing formal methods to bear on philosophical problems. Formal methods are meant to include not only logical methods, but also methods from other areas of mathematics and computer science (graph theory, probability theory, complexity theory, etc.). And while there is no implication that formal methods can on their own solve philosophical problems, it is my conviction that they can shed light on them. I have applied formal methods to problems in the philosophy of science, the philosophy of mathematics, the philosophy of language, epistemology and metaphysics.


Faculty International Director, 2017-2018

Head of the School of Arts, 2013-2017.

Deputy Head of Research of the School of Arts, 2010-2012.

Professor, Department of Philosophy, University of Bristol, 2009-present.

Lecturer, Department of Philosophy, University of Bristol, 2007-2008.

Associate Professor, Department of Philosophy, University of Leuven, 1999-2007.

Postdoctoral Researcher, Belgian Fund for Scientific Research 1993-1999.

PhD in Philosophy, University of Leuven, 1993.

MA in Philosophy, University of Minnesota, 1989.








I mostly teach courses in Logic and Philosophy of Mathematics at the undergraduate and at the postgraduate level.


  • Philosophical Logic
  • Philosophy of Mathematics



Department of Philosophy

Academics by department

Selected publications

Read more >

Recent publications

View complete publications list in the University of Bristol publications system

Edit this profile If you are Professor Leon Horsten, you can edit this page. Login required.

PDF versionDownload PDF