Elements of Deductive Inference: An Introductiuon to Symbolic Logic - Tapa dura

Bessie, Joseph; Glennan, Stuart

 
9780534551216: Elements of Deductive Inference: An Introductiuon to Symbolic Logic
Tapa dura
ISBN 10: 0534551211 ISBN 13: 9780534551216
Editorial: Wadsworth Publishing Co Inc, 1999

Sinopsis

The text covers elementary logic, from statement logic through relational logic with identity and function symbols. The authors acquaint students with formal techniques at a level appropriate for undergraduates, but extends far enough and deep enough into the subject that it is suitable for a brief first-year graduate course. The text covers full and brief truth tables, and presents the method of truth (consistency) trees and natural deduction for the whole of elementary logic. The text's organization allows instructors to cover just statement logic, or statement logic combined with various extensions into predicate logic: monadic logic with or without identity, or the preceding plus relational logic with or without identity and with or without function symbols. At each stage, the instructor may elect to pursue truth trees and/or natural deduction. A final chapter provides a perspective for further study and applications of logic. The text may be used with or without the accompanying software.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

Editor's Preface. Acknowledgments. I. INTRODUCTION. Logic and Argument. Deduction and Induction. Statements, Propositions, and Context. Use and Mention. II. STATEMENT LOGIC I: A NEW LANGUAGE. Introduction. Truth-Functionally Compound Statements. Symbolizing Simple and Compound Statements. Symbolizing More Complex Statements and Arguments. Spelling It Out Formally. III. STATEMENT LOGIC II: SEMANTIC METHODS. Introduction. Truth Tables. Formalized Semantics for SL. Truth-Functional Validity and Tautologousness. Further Semantic Properties and Relationships. Truth-Functional Consistency. The Material Conditional Revisited. Brief Truth Tables. Truth Trees. Using Truth Trees to Test for Other Semantic Properties. The Adequacy of the Tree Method. IV. STATEMENT LOGIC III: SYNTACTIC METHODS. Introduction. Whole Line Inference Rules for DSL. Replacement Rules for DSL. Conditional Proof and Reduction ad Absurdum. Proof Strategy. Proving Tautologousness and Other Semantic Properties. The Adequacy of the Natural Deduction System DSL. Additional Inference Rules. A Second Look at the Truth Table for the Material Conditional. V. PREDICATE LOGIC I: SYNTAX AND SEMANTICS. Introduction. Informal Introduction to the Language of Predicate Logic. Syntax for L. Formal Semantics I: Interpretations. Formal Semantics II: Truth Under an Interpretation. Symbolizing English I: Monadic Logic and Categorical Forms. Symbolizing English II: Polyadic Logic and Nested Quantifiers. Semantic Properties and Relationships for L. Classifying Logical Relations. VI. PREDICATE LOGIC II: SEMANTIC METHODS. Introduction. Truth Trees. Reading Interpretations From Finished Open Paths. The Problem of Infinite Trees. The Adequacy of the Tree Method for Lm and L. Soundness, Completeness, and Undecidability. VII. MONADIC PREDICATE LOGIC III: SYNTACTIC METHODS. Introduction. The Rules UI, EG, and Q. The Rules UG, R, PA-EI and EI. The Adequacy of DL. VIII. EXTENSIONS TO L: IDENTITY, RELATIONS AND FUNCTIONS. Introduction. Syntax and Semantics for L=. Symbolization in L= I: 'At Least', 'At Most', and 'Exactly'. Symbolization in L= II: Identity and Polyadic Predicates. Truth Trees for L=. Natural Deduction in L=. Syntax and Semantics for L*. Symbolization in L*. Truth Trees in L*. Natural Deduction in L*. IX. SOME APPLICATIONS AND LIMITATIONS OF L*. Introduction. Definite Descriptions and Ontological Commitment. Axiom Systems for Arithmetic. The Incompleteness of Arithmetic. Applications of Axiomatic Theories to the Philosophy of Science. Higher Order Logic. Modal Logic. Strict and Counterfactual Conditionals. General Intensional Logic. Deontic Logic. Free Logic. Many-Valued Logic. Appendix One: Further Reading in Logic. Appendix Two: Answer to Selected Exercises. Index.

Reseña del editor

The text covers elementary logic, from statement logic through relational logic with identity and function symbols. The authors acquaint students with formal techniques at a level appropriate for undergraduates, but extends far enough and deep enough into the subject that it is suitable for a brief first-year graduate course. The text covers full and brief truth tables, and presents the method of truth (consistency) trees and natural deduction for the whole of elementary logic. The text's organization allows instructors to cover just statement logic, or statement logic combined with various extensions into predicate logic: monadic logic with or without identity, or the preceding plus relational logic with or without identity and with or without function symbols. At each stage, the instructor may elect to pursue truth trees and/or natural deduction. A final chapter provides a perspective for further study and applications of logic. The text may be used with or without the accompanying software.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Wadsworth Publishing Co Inc
Año de publicación
1999
Idioma
Inglés
ISBN 10 
0534551211
ISBN 13 
9780534551216
Encuadernación
Tapa dura
Número de páginas
344
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9780534551230: Elements of Deductive Inference: An Interduction to Symbolic Logic

Edición Destacada

ISBN 10:  0534551238 ISBN 13:  9780534551230
Editorial: Thomson Learning, 1999
Tapa dura