Artículos relacionados a Elements of Deductive Inference: An Introductiuon to...
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.
Comprar nuevo
Ver este artículo
EUR 226,81
EUR 25,80 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Elements of Deductive Inference: An Introductiuon to...
Imagen del vendedor
Elements of Deductive Inference: An Introduction to Symbolic Logic
Publicado por
Harcourt Academic Press, San Diego, CA, 1999
ISBN 10: 0534551211
ISBN 13: 9780534551216
Antiguo o usado
Tapa dura
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Hardcover with printed boards, no dust jacket, in very good condition. Includes CD-ROM in pocket on rear pastedown with the seal unbroken. Board corners and spine ends are slightly bumped. No other faults noted, like new. LW. Nº de ref. del artículo: 611275
Cantidad disponible: 1 disponibles
Imagen de archivo
Elements of Deductive Inference: An Introduction to Symbolic Logic
Publicado por
Wadsworth Publishing, Belmont, 2000
ISBN 10: 0534551211
ISBN 13: 9780534551216
Antiguo o usado
Tapa dura
Librería: Mullen Books, ABAA, Marietta, PA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: VG. A glossy hardcase book with red and white text on a black and white spine. 479 pages; CD in a pocket on the back pasted end page. Nº de ref. del artículo: 206664
Cantidad disponible: 1 disponibles
Imagen de archivo
Elements of Deductive Inference: An Introduction to Symbolic Logic
Publicado por
Wadsworth Publishing August 1999, 1999
ISBN 10: 0534551211
ISBN 13: 9780534551216
Antiguo o usado
Tapa dura
Librería: Dunaway Books, St. Louis, MO, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Near Fine. Estado de la sobrecubierta: No Jacket. Cd is present. Trivial shelving wear. Binding is tight and square. Pages are very clean and bright with no markings. Nº de ref. del artículo: 301732
Cantidad disponible: 1 disponibles
Imagen de archivo
Elements of Deductive Inference: An Introduction to Symbolic Logic
Publicado por
Cengage Learning, 1999
ISBN 10: 0534551211
ISBN 13: 9780534551216
Antiguo o usado
Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_378967034
Cantidad disponible: 1 disponibles
Imagen de archivo
Elements of Deductive Inference: An Introduction to Symbolic Logic
Publicado por
Cengage Learning, 1999
ISBN 10: 0534551211
ISBN 13: 9780534551216
Antiguo o usado
Tapa dura
Librería: Patrico Books, Apollo Beach, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Includes CD. Ships Out Tomorrow! Nº de ref. del artículo: 250123007
Cantidad disponible: 1 disponibles
Imagen del vendedor
Elements of Deductive Inference: An Introduction to Symbolic Logic
Publicado por
Cengage Learning, 1999
ISBN 10: 0534551211
ISBN 13: 9780534551216
Antiguo o usado
Tapa dura
Librería: Blue Vase Books, Interlochen, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. The item shows wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact including the dust cover, if applicable . Spine may show signs of wear. Pages may include limited notes and highlighting. May NOT include discs, access code or other supplemental materials. Nº de ref. del artículo: BVV.0534551211.G
Cantidad disponible: 2 disponibles
Imagen de archivo
Elements of Deductive Inference: An Introduction to Symbolic Logic
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0534551211
Cantidad disponible: 1 disponibles