Ebook: The concept of logical consequence: an introduction to philosophical logic

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?