The Logic Book,9780078038419

The Logic Book

by ; ;
Edition: 6th
ISBN13: 9780078038419
ISBN10: 0078038413
Format: Hardcover
Pub. Date: 2013-02-08
Publisher(s): McGraw Hill
List Price: $210.33

Buy New

Usually Ships in 5-7 Business Days
$209.28
Add to Cart

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:180 Days access
Downloadable:180 Days
$63.79
Online:365 Days access
Downloadable:365 Days
$72.59
Online:1825 Days access
Downloadable:Lifetime Access
$135.14
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$63.79*
Add to Cart

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $39.70

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

The Logic Book is a leading text for symbolic logic courses that presents all concepts and techniques with clear, comprehensive explanations. There is a wealth of carefully constructed examples throughout the text, and its flexible organization places materials within largely self-contained chapters that allow instructors the freedom to cover the topics they want, in the order they choose.

Table of Contents

Chapter 1: INTRODUCTION TO DEDUCTIVE LOGIC

1.1 Introduction

1.2 Core Concepts of Deductive Logic

1.3 Special Cases of Logical Concepts

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: SYNTAX AND SYMBOLIZATION

2.1 The Syntax of SL

2.2 Introduction to Symbolization

2.3 More Complex Symbolizations

2.4 Non-Truth-Functional Uses of Connectives

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

4.3 Using Truth-Trees to test for other Truths

Chapter 5: Sentential Logic: Derivations

5.1 The Derivation System SD

5.2 Basic Concepts of SD

5.3 Strategies for Constructing Derivations in SD

5.4 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: Syntax and Symbolization

7.1 Predicates, Singular Terms, and Quantity Expressions of English

7.2 The Formal Syntax of PL

7.3 Introduction to Symbolization

7.4 Symbolization Fine-Tuned

7.5 The Language PLE (Predicte Logic Extended)

Chapter 8: Predicate Logic: Semantics

8.1 Interpretations

8.2 Quantificational Truth, Falsehood, and Indeterminacy

8.3 Quantificational Equivalence and Consistency

8.4 Quantification Entailment and Validity

8.5 Truth-Functional Expansions

8.6 Semantics for Predicate Logic with Identity and Functors

Chapter 9: Predicate Logic: Truth-Trees

9.1 Truth-Tree RUles for PL

9.2 Truth-Trees and Quantificational Consistency

9.3 Truth-Trees and Other Semantic Properties

9.4 Fine-Tuning the Tree Method

9.5 Trees for PLE

Chapter 10: Predicate Logic: Derivations

10.1 The Derivation System PD

10.2 Using Derivations to Establish Syntactic Properties of PD

10.3 The Derivation System PD+

10.4 The Derivation System PDE

Chapter 11: Predicate Logic: Metatheory

11.1 Semantic Preliminaries for PD

11.2 Semantic Preliminaries for PLE

11.3 The Soundness of PD, PD+, and PDE

11.4 The Completeness of PD, PD+, and PDE

11.5 The Soundness of the Tree Method

11.6 The Completeness of the Tree Method

Selected Bibliography

Index

Index of Symbols

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.