The Concept of Logical Consequence

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.

Auteur

Matthew W. McKeon is Associate Professor of Philosophy at Michigan State University. He received his Ph.D. from the University of Connecticut. His dissertation is on modal logic. McKeon s primary area of publication is the history and philosophy of logic.

Résumé
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.