The concept of logical consequence : an introduction to philosophical logic / Matthew W. McKeon.
By: McKeon, Matthew W.Material type: BookCall no.: BC71 .M37 2010Series: American university studiesSeries VPhilosophy: v. 207.Publication: New York : Peter Lang, c2010Description: 164 p.ISBN: 9781433106453 (clothbound); 1433106450 (clothbound).Subject(s): Logic
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
|Book||Pridi Banomyong Library General Stacks||General Books||BC71 .M37 2010 (See Similar Items)||Checked out||31/01/2020||31379015394621|
Browsing Pridi Banomyong Library Shelves Close shelf browser
|No cover image available||No cover image available|
|BC108.A38 2014 Advances in natural deduction : a celebration of Dag Prawitz's work /||BC117 .ป6 2517 หนังสือประกอบคำบรรยายตรรกวิทยาเบื้องต้น มธ. 117||BC177 .S53 2014 Varieties of logic /||BC71 .M37 2010 The concept of logical consequence : an introduction to philosophical logic /||BC71 .R86 2015 The boundary stones of thought : an essay in the philosophy of logic /||BC71.D34 2015 Dag Prawitz on proofs and meaning /||BD .M6 Some social functions of ignorance;|
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?
Click on an image to view it in the image viewer