Deduction Introductory Symbolic Logic

ISBN-10: 063122713X
ISBN-13: 9780631227137
Edition: 2nd 2002 (Revised)
List price: $69.95 Buy it from $25.24
This item qualifies for FREE shipping

*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.

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: Deduction is a presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Both are very natural and easy to learn.

Used Starting from $45.94
New Starting from $83.90
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
You could win $10,000

Get an entry for every item you buy, rent, or sell.

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.

Add to cart
Study Briefs
Medical Terminology Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $69.95
Edition: 2nd
Copyright year: 2002
Publisher: John Wiley & Sons, Incorporated
Publication date: 11/22/2002
Binding: Paperback
Pages: 528
Size: 6.00" wide x 9.00" long x 1.50" tall
Weight: 1.628
Language: English

Deduction is a presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Both are very natural and easy to learn.

Preface to the Second Edition
Acknowledgments
Basic Concepts of Logic
Arguments
Validity
Implication And Equivalence
Logical Properties Of Sentences
Satisfiability
Sentences
The Language Of Sentential Logic
Truth Functions
A Sentential Language
Symbolization
Validity
Truth Tables
Truth Tables for Formulas
Truth Tables for Argument Forms
Implication, Equivalence and Satisfiability
Truth Trees
Thinking Backwards
Constructing Truth Trees
Negation, Conjunction, and Disjunction
The Conditional and Biconditional
Other Applications
Natural Deduction
Natural Deduction Systems
Rules for Negation and Conjunction
Rules for the Conditional and Biconditional
Rules for Disjunction
Derivable Rules
Quantifiers
Constants and Quantifiers
Categorical Sentence Forms
Polyadic Predicates
The Language Q
Symbolization
Quantified Truth Trees
Rules for Quantifiers
Strategies
Interpretations
Quantified Natural Deduction
Deduction Rules for Quantifiers
Universal Proof
Derived Rules for Quantifiers
Identity And Function Symbols
Identity
Truth Tree Rules for Identity
Deduction Rules for Identity
Function Symbols]
Necessity
If.Modal Connectives
rSymbolization
rModal Truth Trees
rOther Tree Rules
rWorld Travelling
rModal Deduction
rOther Modal Systems
Between Truth And Falsehood
Vagueness And Presupposition
Many-Valued Truth Tables
Many-Valued Trees
Many-Valued Deduction
Fuzzy Logic
Intuitionistic Logic
Obligation
Deontic Connectives
Deontic Truth Trees
Deontic Deduction
Moral and Practical Reasoning
Counterfactuals
The Meaning of Counterfactuals
Truth Tree Rules for Counterfactuals
Deduction Rules for Counterfactuals
Stalnaker's Semantics: System CS
Lewis's Semantics: System CL
Common-Sense Reasoning
When Good Arguments Go Bad
Truth Trees
Defeasible Deduction
Defeasible Deontic Logic
Quantifiers And Modality
Quantified S5
Free Logic
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.

×