Logic Book

ISBN-10: 007353563X

ISBN-13: 9780073535630

Edition: 5th 2009

List price: $166.67
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: 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.

what's this?
Rush Rewards U
Members Receive:
You have reached 400 XP and carrot coins. That is the daily max!

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Customers also bought


Book details

List price: $166.67
Edition: 5th
Copyright year: 2009
Publisher: McGraw-Hill Companies, The
Publication date: 7/30/2008
Binding: Hardcover
Pages: 696
Size: 6.75" wide x 9.25" long x 1.00" tall
Weight: 2.552
Language: English

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.

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
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.