 Many theories of truth are like the neo-classical correspondence theory in being as much theories of how truth-bearers are meaningful as of how their truth values are fixed. Again, abstracting from some complications about meaning, this makes them theories both of truth conditions and truth values. The Tarskian theory of truth can be construed this way too. This can be seen both in the way the Tarski biconditionals are understood, and how a recursive theory of truth is understood. As we explained Convention T in section 2.2, the primary role of a Tarski biconditional of the form \(\ulcorner \ulcorner \phi \urcorner\) is true if and only if \(\phi \urcorner\) is to fix whether \(\phi\) is in the extension of ‘is true’ or not. But it can also be seen as stating the truth conditions of \(\phi\). Both rely on the fact that the unquoted occurrence of \(\phi\) is an occurrence of an interpreted sentence, which has a truth value, but also provides its truth conditions upon occasions of use.