Skip to content

Professor Leon F M HorstenMA(Minn), PhD(Leuven)

Professor

Leon Horsten

Professor Leon F M HorstenMA(Minn), PhD(Leuven)

Professor

Member of

Research interests

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.

View research connections

Postal address:
School of Arts
43 Woodland Road
Bristol
United Kingdom