Tarski's model-theoretic account shows logical consequence is defined by truth-preservation across a...