The Logic Book

, by Bergmann, Merrie; Moor, James; Nelson, Jack

Write a Review

ISBN: 9780073535630 | 007353563X
Cover: Hardcover
Copyright: 7/30/2008

List Price: ~~$168.75~~ Save 4%!

New Copy: Usually Ships in 3-4 Business Days

$161.23

List Price: ~~$168.75~~ Save 31%!

Used Copy: In Stock Usually Ships in 24 Hours.

$115.76

List Price: ~~$168.75~~ Save 39%!

eBook: Available Instantly
180 Day Subscription

$102.90

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.

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.

You might also enjoy...

Please wait while the item is added to your bag...

The Logic Book

Summary

Table of Contents

You might also enjoy...