Full Idea
There are semantical theories of truth, concerned with models for languages containing the truth predicate, and axiomatic (or syntactic) theories, interested in basic logical principles governing the concept of truth.
Gist of Idea
Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles
Source
Leon Horsten (The Tarskian Turn [2011], 01.1)
Book Reference
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.3
A Reaction
This is the map of contemporary debates, which seem now to have given up talking about 'correspondence', 'coherence' etc.