The Logic Book
ISBN: 9780073535630 | 007353563X
Edition: 5thFormat: Hardcover
Publisher: McGraw-Hill Humanities/Social Sciences/Languages
Pub. Date: 7/30/2008
Why Rent from Knetbooks?
Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!
Top 5 reasons to order all your textbooks from Knetbooks:
- We have the lowest prices on thousands of popular textbooks
- Free shipping both ways on ALL orders
- Most orders ship within 48 hours
- Need your book longer than expected? Extending your rental is simple
- Our customer support team is always here to help
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.
| Background | |
| Why Study Logic | |
| Sentences, Truth-Values, and Arguments | |
| Deductive Validity and Soundness | |
| Inductive Arguments | |
| Logical Consistency, Truth, Falsity, and Equivalence | |
| Special Cases of Validity | |
| Sentential Logic: Symbolization and Syntax | |
| Symbolization and Truth-Functional Connectives | |
| Complex Symbo... MORE | |
| Non-Truth-Functional Connectives | |
| The Syntax of SL | |
| Sentential Logic: Semantics | |
| Truth-Value Assignments and Truth-Tables for Sentences | |
| Truth-Functional Truth, Falsity, and Indeterminacy | |
| Truth-Functional Equivalence | |
| Truth-Functional Consistency | |
| Truth-Functional Entailment and Truth-Functional Validity | |
| Truth-Functional Properties and Truth-Functional Consistency | |
| Sentential Logic: Truth-Trees | |
| The Truth-Tree Method | |
| Truth-Tree Rules for Sentences Containing 'tilde', 'wedge', and 'ampersand' | |
| Rules for Sentences Containing 'horseshoe' and 'triple bar' | |
| More Complex Truth-Trees | |
| Using Truth-Trees to Test for Truth-Functional Truth, Falsity, and Indeterminacy | |
| Truth-Functional Equivalence | |
| Truth-Functional Entailment and Truth-Functional Validity | |
| Sentential Logic: Derivations | |
| The Derivation System SD | |
| Applying the Derivation Rules of SD | |
| Basic Concepts of SD | |
| Strategies for Constructing Derivations in SD | |
| The Derivation System SD+ | |
| Sentential Logic: Metatheory | |
| Mathematical Induction | |
| Truth-Functional Completeness | |
| The Soundness of SD and SD+ | |
| The Completeness of SD and SD+ | |
| Predicate Logic: Symbolization and Syntax | |
| The Limitations of SL | |
| Predicates, Individual Constants, and Quantity Terms of English | |
| Introduction to PL | |
| Quantifiers Introduced | |
| The Formal Syntax of PL | |
| A-, E-, I-, and O-Sentences | |
| Symbolization Techniques | |
| Multiple Quantifiers with Overlapping Scope | |
| Identity, Definite Descriptions, and Properties of Relations, and Functions | |
| Predicate Logic: Semantics | |
| Informal Semantics for PL | |
| Quantificational Truth, Falsehood, and Indeterminacy | |
| Quantificational Equivalence and Consistency | |
| Quantification Entailment and Validity | |
| Truth-Functional Expansions | |
| Semantics for Predicate Logic with Identity and Functors | |
| Formal Semantics of PL and PLE | |
| Predicate Logic: Truth-Trees | |
| Expanding the Rules for Truth-Trees | |
| Truth-Trees and Quantificational Consistency | |
| Truth-Trees and Other Semantic Properties | |
| Trees for PLE | |
| Fine-Tuning the Tree Method | |
| Predicate Logic: Derivations | |
| The Derivation System PD | |
| Applying the Derivation Rules of PD | |
| Basic Concepts of PD | |
| Strategies for Constructing Derivations in PD | |
| The Derivation System PD+ | |
| The Derivation System PDE | |
| Predicate Logic: Metatheory | |
| Semantic Preliminaries for PD | |
| Semantic Preliminaries for PLE | |
| The Soundness of PD, PD+, and PDE | |
| The Completeness of PD, PD+, and PDE | |
| The Soundness of the Tree Method | |
| The Completeness of the Tree Method Selected Bibliography Index | |
| Table of Contents provided by Publisher. All Rights Reserved. |
