The concept of logical consequence [electronic resource] : an introduction to philosophical logic / Matthew W. McKeon.

By: Contributor(s): Material type: TextTextSeries: American university studies. Series V, Philosophy ; ; v. 207.Publication details: New York : Peter Lang, c2010.Description: 164 pSubject(s): Genre/Form: DDC classification:
  • 160 22
LOC classification:
  • BC71 .M43 2010eb
Online resources:
Contents:
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 preliminaries ; Syntax of M ; Semantics for M -- Model-theoretic consequence. Truth in a structure ; Model-theoretic consequence defined ; The metaphysics of domains ; Interpretations ; The adequacy of the model-theoretic characterization of logical consequence ; What is a logical constant? -- Deductive consequence. Deductive system M ; The deductive-theoretic characterization and the common concept of logical consequence ; Inferentialism, harmony, and the justification of inference rules ; Tarski's criticism of the deductive-theoretic characterization of logical consequence ; Is N a correct deductive system?.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references.

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 preliminaries ; Syntax of M ; Semantics for M -- Model-theoretic consequence. Truth in a structure ; Model-theoretic consequence defined ; The metaphysics of domains ; Interpretations ; The adequacy of the model-theoretic characterization of logical consequence ; What is a logical constant? -- Deductive consequence. Deductive system M ; The deductive-theoretic characterization and the common concept of logical consequence ; Inferentialism, harmony, and the justification of inference rules ; Tarski's criticism of the deductive-theoretic characterization of logical consequence ; Is N a correct deductive system?.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.