EVERYDAY FREE SHIPPING on $25 & up  Excludes Marketplace items
EVERYDAY FREE SHIPPING
on $25 & up
 Excludes Marketplace
Logic Book

Logic Book - 5th edition

ISBN13: 978-0073535630

Cover of Logic Book 5TH 08 (ISBN 978-0073535630)
ISBN13: 978-0073535630
ISBN10: 007353563X
Edition: 5TH 08
Copyright: 2008
Publisher: McGraw-Hill Publishing Company
Published: 2008
International: No

Other Editions for Logic Book

More Shipping Options

Logic Book - 5TH 08 edition

ISBN13: 978-0073535630

Bergmann, Moor and Nelson

ISBN13: 978-0073535630
ISBN10: 007353563X
Edition: 5TH 08
Copyright: 2008
Publisher: McGraw-Hill Publishing Company
Published: 2008
International: No
Summary

This leading text for symbolic or formal logic courses presents all techniques and concepts with clear, comprehensive explanations, and includes a wealth of carefully constructed examples. Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

Author Bio

Merrie Bermann received her Ph.D. in philosophy from the United of Toronto and is currently an Associate Professor in the Computer Science Department at Smith College. She has published articles in formal semantics and logic, philosophy of language, and computational linguistics.

Table of Contents

1.1 Background 1.2 Why Study Logic 1.3 Sentences, Truth-Values, and Arguments 1.4 Deductive Validity and Soundness 1.5 Inductive Arguments 1.6 Logical Consistency, Truth, Falsity, and Equivalence 1.7 Special Cases of Validity Chapter 2: Sentential Logic: Symbolization and Syntax 2.1 Symbolization and Truth-Functional Connectives 2.2 Complex Symbolizations 2.3 Non-Truth-Functional Connectives 2.4 The Syntax of SL Chapter 3: Sentential Logic: Semantics 3.1 Truth-Value Assignments and Truth-Tables for Sentences 3.2 Truth-Functional Truth, Falsity, and Indeterminacy 3.3 Truth-Functional Equivalence 3.4 Truth-Functional Consistency 3.5 Truth-Functional Entailment and Truth-Functional Validity 3.6 Truth-Functional Properties and Truth-Functional Consistency Chapter 4: Sentential Logic: Truth-Trees 4.1 The Truth-Tree Method 4.2 Truth-Tree Rules for Sentences Containing 'tilde', 'wedge', and 'ampersand' 4.3 Rules for Sentences Containing 'horseshoe' and 'triple bar' 4.4 More Complex Truth-Trees 4.5 Using Truth-Trees to Test for Truth-Functional Truth, Falsity, and Indeterminacy 4.6 Truth-Functional Equivalence 4.7 Truth-Functional Entailment and Truth-Functional Validity Chapter 5: Sentential Logic: Derivations 5.1 The Derivation System SD 5.2 Applying the Derivation Rules of SD 5.3 Basic Concepts of SD 5.4 Strategies for Constructing Derivations in SD 5.5 The Derivation System SD+ Chapter 6: Sentential Logic: Metatheory 6.1 Mathematical Induction 6.2 Truth-Functional Completeness 6.3 The Soundness of SD and SD+ 6.4 The Completeness of SD and SD+ Chapter 7: Predicate Logic: Symbolization and Syntax 7.1 The Limitations of SL 7.2 Predicates, Individual Constants, and Quantity Terms of English 7.3 Introduction to PL 7.4 Quantifiers Introduced 7.5 The Formal Syntax of PL 7.6 A-, E-, I-, and O-Sentences 7.7 Symbolization Techniques 7.8 Multiple Quantifiers with Overlapping Scope 7.9 Identity, Definite Descriptions, and Properties of Relations, and Functions Chapter 8: Predicate

  • Marketplace
  • From

Other Editions for Logic Book

Cover of Logic Book 6th edition

Logic Book - 6th edition

ISBN13: 978-0078038419
More Shipping Options