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.

---

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 such as the nature of logical constants, the philosophical significance of completeness, and the metaphysical and epistemological implications of logic are discussed in the context of the examination of the concept of logical consequence.