The Concept of Logical Consequence

An evaluation of the model-theoretic and proof-theoretic characterizations of logical consequence that proceeds from Alfred Tarski's characterization of the informal concept of logical consequence. It evaluates and expands upon ideas set forth in Tarski's 1936 article on logical consequence, and appeals to his 1935 article on truth.