The Stoic account conflates proof-theoretic derivability with semantic validity, a distinction Tarsk...