Full Idea
In the axiomatic approach we take the truth predicate to express an irreducible, primitive notion. The meaning of the truth predicate is partially explicated by proposing certain laws of truth as basic principles, as axioms.
Gist of Idea
Axiomatic theories take truth as primitive, and propose some laws of truth as axioms
Source
Leon Horsten (The Tarskian Turn [2011], 04.2)
Book Reference
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.49
A Reaction
Judging by Horsten's book, this is a rather fruitful line of enquiry, but it still seems like a bit of a defeat to take truth as 'primitive'. Presumably you could add some vague notion of correspondence as the background picture.
Related Idea
Idea 15337 The correspondence 'theory' is too vague - about both 'correspondence' and 'facts' [Horsten]