back to ideas for this text


Single Idea 15332

[from 'The Tarskian Turn' by Leon Horsten, in 3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth ]

Full Idea

A theory of truth is 'reflexive' if it allows us to prove truth-iterations ("It is true that it is true that so-and-so").

Gist of Idea

'Reflexive' truth theories allow iterations (it is T that it is T that p)

Source

Leon Horsten (The Tarskian Turn [2011], 01.4)

Book Reference

Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.8