Browse/search for people

Professor Leon Horsten

Formal Methods in Philosophy

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.

Research keywords

  • Philosophical Logic
  • Philosophy of Mathematics