Reflection and Truth

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.