The Logic Book with Student Solutions Manual

  • ISBN13:


  • ISBN10:


  • Edition: 3rd
  • Format: Hardcover
  • Copyright: 1997-03-01
  • Publisher: McGraw-Hill Humanities/Social Sciences/Languages
  • View Upgraded Edition
  • Purchase Benefits
  • Free Shipping On Orders Over $35!
    Your order must be $35 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: $94.77


This outstanding book is a leading text for symbolic or formal logic courses All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose. The third edition incorporates many new and updated exercises and expanded discussions on evaluating arguments and symbolization in predicate logic. A free Student Solutions Manual is packaged with every copy of the textbook. Two logic programs, Bertie III and Twootie, are available as a free download from the University of Connecticut Philosophy Department’s Web site. The Web address for downloading the software is http://www.ucc.uconn.edu/~wwwphil/software.html. Bertie 3 is a proof checker for the natural deduction method and Twootie is a proof checker for the truth tree method.

Author Biography

Merrie Bermann received her Ph.D. in philosophy from the United 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.

Table of Contents

Chapter 1: Basic Notions of Logic

Chapter 2: Sentential Logic: Symbolization and Syntax

Chapter 3: Sentential Logic: Semantics

Chapter 4: Sentential Logic: Truth-Trees

Chapter 5: Sentential Logic: Derivations

Chapter 6: Sentential Logic: Metatheory

Chapter 7: Predicate Logic: Symbolization and Syntax

Chapter 8: Predicate Logic: Semantics

Chapter 9: Predicate Logic: Truth-Trees

Chapter 10: Predicate Logic: Derivations

Chapter 11: Predicate Logic: Metatheory

Selected Bibliography


Index of Symbols

Rewards Program

Write a Review