9780073535630

The Logic Book

by ; ;
  • ISBN13:

    9780073535630

  • ISBN10:

    007353563X

  • Edition: 5th
  • Format: Hardcover
  • Copyright: 7/30/2008
  • Publisher: McGraw-Hill Humanities/Social Sciences/Languages
  • View Upgraded Edition
  • Purchase Benefits
  • Free Shipping On Orders Over $59!
    Your order must be $59 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $168.75

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.

Table of Contents

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 Symbolizations
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.

Rewards Program

Write a Review