Reflection and Truth

Research project
Active research
Project size
Project period
2016 - 2021
Project owner
Department of Philosohy, Linguistics and Theory of Science

Short description

What is truth?, how do we come to recognise it? and why do we trust it?

The project Reflection and Truth seeks to shed light on some of the most puzzling questions that logicians and philosophers have grappled with since the birth of science. We examine our understanding of truth within the formal framework provided by logic, and develop modern methods for the analysis of truth with applications to philosophy, mathematics, and computer science.

Contact person

Graham E. Leigh (