Tarski's truth-conditional semantics demonstrates that a formally precise, philosophically tractable...