The Concept of Logical Consequence
β Scribed by John Etchemendy
- Publisher
- CLSI Publications
- Year
- 1999
- Tongue
- English
- Leaves
- 183
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years. But logic has moved forward dramatically in the past century - largely as a result of bringing mathematics to bear on the field. The infusion of mathematically precise definitions and techniques has turned a field dominated by homely admonitions into one characterized by illuminating theorems. The aim of this book is to correct a common misunderstanding of one of the most widely used techniques of mathematical logic. Central to the received view is Tarski's model-theoretic analysis of logical consequence, which Etchemendy argues is fundamentally mistaken. Save indirectly, by those who question classical principles, this standard analysis has gone unchallenged for half a century, with the result that it has come to seem a piece of common knowledge. Etchemendy's critique will shatter the complacency.
π SIMILAR VOLUMES
Introduction -- The concept of logical consequence. Tarski's characterization of the common concept of logical consequence ; Logical constants ; Model-theoretic and deductive-theoretic approaches to logic -- Set-theoretic and linguistic preliminaries. Set-theoretic preliminaries ; Linguistic preli
<span>This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while c
This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central