Leon Horsten is a contemporary Belgian philosopher at the University of Bristol, specializing in philosophy of mathematics, philosophy of logic, and the theory of truth. He is best known for his rigorous investigations into deflationary theories of truth and their expressive limitations, as well as contributions to mathematical structuralism and the epistemology of formal systems.
Authored 'The Tarskian Turn' (2011), a systematic treatment of deflationism and axiomatic truth theories
Developed influential critiques of deflationary theories of truth, arguing they face expressive and explanatory limitations
Contributed to debates on typed and untyped axiomatic truth predicates in formal systems
Worked on reflection principles and their role in arithmetic and proof theory
Advanced research on mathematical structuralism and the ontology of mathematical objects
Dive Deeper
Explore Truth & Knowledge→