At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist a

A survey of the most important axiomatizations of truth, exploring their properties and how the logical results impinge on philosophical topics.

A philosopher proposes a new deflationist view of truth, based on contemporary proof-theoretic approaches. In The Tarskian Turn, Leon Horsten investigates the r

On the one hand, the concept of truth is a major research subject in analytic philosophy. On the other hand, mathematical logicians have developed sophisticated

Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theore