$ We buy this book back!

This item qualifies for
FREE SHIPPING!

The Logic Book

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

Edition:

5th

ISBN13:

9780073535630

ISBN10:

007353563X

Format:

Hardcover

Pub. Date:

7/30/2008

Publisher(s):

McGraw-Hill Humanities/Social Sciences/Languages

Upgraded Edition: Click here!

Other versions by this Author

List Price: ~~$168.75~~

Rent Textbook

(Recommended)

Term

Due

Price

Short Term

Aug 2

$15.90

Semester

Oct 1

$62.44

Quarter

Aug 22

$54.00

$15.90

Buy Used Textbook

In Stock Usually Ships in 24 Hours.

$118.13

Buy New Textbook

Usually Ships in 3-4 Business Days

$164.53

eTextbook

180 day subscription

$105.00

More New and Used
from Private Sellers

Starting at $23.99

Questions About This Book?

Why should I rent this book?

Renting is easy, fast, and cheap! Renting from eCampus.com can save you hundreds of dollars compared to the cost of new or used books each semester. At the end of the semester, simply ship the book back to us with a free UPS shipping label! No need to worry about selling it back.

How do rental returns work?

Returning books is as easy as possible. As your rental due date approaches, we will email you several courtesy reminders. When you are ready to return, you can print a free UPS shipping label from our website at any time. Then, just return the book to your UPS driver or any staffed UPS location. You can even use the same box we shipped it in!

What version or edition is this?

This is the 5th edition with a publication date of 7/30/2008.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
The Used copy of this book is not guaranteed to inclue any supplemental materials. Typically, only the book itself is included.
The Rental copy of this book is not guaranteed to include any supplemental materials. You may receive a brand new copy, but typically, only the book itself.

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.

FREE SHIPPING OVER $59!