The Logic Book / Edition 6

Hardcover (Print)
Buy New
Buy New from BN.com
$178.51
Used and New from Other Sellers
Used and New from Other Sellers
from $128.76
Usually ships in 1-2 business days
(Save 31%)
Other sellers (Hardcover)
  • All (11) from $128.76   
  • New (5) from $165.82   
  • Used (6) from $128.76   

Overview

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.
Read More Show Less

Product Details

  • ISBN-13: 9780078038419
  • Publisher: McGraw-Hill Higher Education
  • Publication date: 2/8/2013
  • Edition description: New Edition
  • Edition number: 6
  • Pages: 640
  • Sales rank: 144,602
  • Product dimensions: 6.40 (w) x 9.20 (h) x 1.10 (d)

Meet the Author

Merrie Bergmann received her Ph.D. in philosophy from the University of Toronto and is currently an Associate Professor in the Computer Science Department at Smith College. She has published articles in formal semantics and logic, philosophy of language, and computational linguistics.

James Moor received his Ph.D. in history and philosophy of science from Indiana University and is currently a Professor of Philosophy at Dartmouth College. He has developed software for teaching logic and has published articles in philosophy of science, philosophy of mind, logic, philosophy of artificial intelligence, and computer ethics.

Jack Nelson received his Ph.D. in philosophy from the University of Chicago and is currently Associate Dean of the College of Liberal Arts and Sciences and the Interim Chair of the Philosophy Department at Arizona State University. He has developed software for teaching logic and has published articles in personal identity, epistemology, and philosophy of science.

Read More Show Less

Table of Contents

Chapter 1: Basic Notions of Logic

1.1 Background

1.2 Why Study Logic

1.3 Sentences, Truth-Values, and Arguments

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

2.1 Symbolization and Truth-Functional Connectives

2.2 Complex Symbolizations

2.3 Non-Truth-Functional Connectives

2.4 The Syntax of SL
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 for Sentences Containing 'tilde', 'wedge', and 'ampersand'

4.3 Rules for Sentences Containing 'horseshoe' and 'triple bar'

4.4 More Complex Truth-Trees

4.5 Using Truth-Trees to Test for Truth-Functional Truth, Falsity, and Indeterminacy

4.6 Truth-Functional Equivalence

4.7 Truth-Functional Entailment and Truth-Functional Validity
Chapter 5: Sentential Logic: Derivations

5.1 The Derivation System SD

5.2 Applying the Derivation Rules of SD

5.3 Basic Concepts of SD

5.4 Strategies for Constructing Derivations in SD

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

7.1 The Limitations of SL

7.2 Predicates, Individual Constants, and Quantity Terms of English

7.3 Introduction to PL

7.4 Quantifiers Introduced

7.5 The Formal Syntax of PL

7.6 A-, E-, I-, and O-Sentences

7.7 Symbolization Techniques

7.8 Multiple Quantifiers with Overlapping Scope

7.9 Identity, Definite Descriptions, and Properties of Relations, and Functions
Chapter 8: Predicate Logic: Semantics

8.1 Informal Semantics for PL

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

8.7 Formal Semantics of PL and PLE
Chapter 9: Predicate Logic: Truth-Trees

9.1 Expanding the Rules for Truth-Trees

9.2 Truth-Trees and Quantificational Consistency

9.3 Truth-Trees and Other Semantic Properties

9.4 Trees for PLE

9.5 Fine-Tuning the Tree Method
Chapter 10: Predicate Logic: Derivations

10.1 The Derivation System PD

10.2 Applying the Derivation Rules of PD

10.3 Basic Concepts of PD

10.4 Strategies for Constructing Derivations in PD

10.5 The Derivation System PD+

10.6 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
Read More Show Less

Customer Reviews

Average Rating 5
( 1 )
Rating Distribution

5 Star

(1)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)