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 logic, as well as extensions and deviations are considered. Issues in the philosophy of logic su...