The concept of logical consequence
McKeon, Matthew W.
The concept of logical consequence an introduction to philosophical logic / [electronic resource] : Matthew W. McKeon. - New York : Peter Lang, c2010. - 164 p. - American university studies. Series V, Philosophy, v. 207 0739-6392 ; . - American university studies. Series V, Philosophy ; v. 207. .
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.
Logic.
Electronic books.
BC71 / .M43 2010eb
160
The concept of logical consequence an introduction to philosophical logic / [electronic resource] : Matthew W. McKeon. - New York : Peter Lang, c2010. - 164 p. - American university studies. Series V, Philosophy, v. 207 0739-6392 ; . - American university studies. Series V, Philosophy ; v. 207. .
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.
Logic.
Electronic books.
BC71 / .M43 2010eb
160