The Concept of Logical Consequence : An Introduction to Philosophical Logic

"The Concept of Logical Consequence" is a critical 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. This study evaluates and expands upon ideas set forth in Tarski's 1936 article on logical consequence, and appeals to his 1935 article on truth. Classical...