CART

(0) items

Logic : Techniques of Formal Reasoning,9780195155044
This item qualifies for
FREE SHIPPING!

FREE SHIPPING OVER $59!

Your order must be $59 or more, you must select US Postal Service Shipping as your shipping preference, and the "Group my items into as few shipments as possible" option when you place your order.

Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.

Logic : Techniques of Formal Reasoning

by ; ;
Edition:
2nd
ISBN13:

9780195155044

ISBN10:
0195155041
Format:
Hardcover
Pub. Date:
4/16/1980
Publisher(s):
Oxford University Press
List Price: $99.14

Rent Textbook

(Recommended)
 
Term
Due
Price
$49.57

Buy Used Textbook

Usually Ships in 2-3 Business Days
U9780195155044
$69.40

Buy New Textbook

Usually Ships in 3-5 Business Days
N9780195155044
$96.66

eTextbook

We're Sorry
Not Available

More New and Used
from Private Sellers
Starting at $55.98
See Prices

Questions About This Book?

Why should I rent this book?
Renting is easy, fast, and cheap! Renting from eCampus.com can save you hundreds of dollars compared to the cost of new or used books each semester. At the end of the semester, simply ship the book back to us with a free UPS shipping label! No need to worry about selling it back.
How do rental returns work?
Returning books is as easy as possible. As your rental due date approaches, we will email you several courtesy reminders. When you are ready to return, you can print a free UPS shipping label from our website at any time. Then, just return the book to your UPS driver or any staffed UPS location. You can even use the same box we shipped it in!
What version or edition is this?
This is the 2nd edition with a publication date of 4/16/1980.
What is included with this book?
  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
  • The Used copy of this book is not guaranteed to inclue any supplemental materials. Typically, only the book itself is included.
  • The Rental copy of this book is not guaranteed to include any supplemental materials. You may receive a brand new copy, but typically, only the book itself.

Summary

Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarifyprinciples. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

Table of Contents

""Not"" and ""If""
Symbols and sentences
From symbols to English and back
Derivability and validity of symbolic arguments
Validity of English arguments
Fallacies
Theorems
Historical remarks
Appendix
""And,"" ""Or,"" ""If and Only If""
Symbols and sentences
Translation and symbolization
Inference rules and derivability
Theorems with unabbreviated proofs
Abbreviated derivations
Theorems with unabbreviated proofs
Arguments
Truth-value analysis of sentences
Truth-value analysis of arguments
Historical remarks
Appendix: list of theorems of chapters I and II
Appendix: solutions to selected exercises
""All"" and ""Some""
Variables, quantifiers, formulas
Bondage and freedom
Informal notational conventions
Translation and symbolization
Inference rules
Derivations
Theorems with unabbreviated proofs
Abbreviated derivations
Fallacies
Theorems with abbreviated proofs
Arguments
Invalidity: truth-functional expansions and models
Historical remarks
Appendix: list of theorems of chapter III
Appendix: solutions to selected exercises
Appendix: summary of the system of logic developed in chapters I-III
""All"" and ""Some,"" continued
Terms and formulas
Bondage and freedom
Informal notational conventions
Translation and symbolization
Revised inference rules
Theorems
Invalidity: truth-functional expansions and models
Invalidity: false arithmetical translations
Arguments of English
Historical remarks
Appendix: list of theorems of chapter IV
Appendix: solutions to selected exercises
""Is"" (in one sense)
Terms and formulas
Translation and symbolization
Inference rules
Theorems
Invalidity
Historical remarks
Appendix: list of theorems of chapter V
Appendix: solutions to selected exercises
""The""
Descriptive phrases, terms, formulas
Bondage and freedom
Informal notational conventions
Translation and symbolization
Inference rules
Theorems
Invalidity
Arguments of English
Historical remarks
Appendix: list of theorems of chapter VI
Appendix: solutions to selected exercises
Additional Derivational Procedures
Alphabetic variance
Substitution
Abbreviated derivations reconsidered
biconditional derivations
Formulas without overlay and prenex normal form, again
Abbreviated derivations justified
generalized priciples of interchange
Historical remarks
Appendix: list of theorems of chapter VII
Appendix: solutions to selected exercises
Appendix: summary of the system of logic developed in chapters I-VII
""The"" again: A Russellian Theory of Descriptions
The Fregean theory of chapter VI reconsidered
A Russellian theory of descriptions
Historical remarks
Appendix: list of theorems of chapter VIII
Appendix: solutions to selected exercises
Appendix: summary of the Russellian system of logic developed in chapter VIII
Automatic Procedures
Introduction
Tautologies reconsidered
Tautological implication
generalized indirect derivation
A proof procedure for prenex formulas
A derivation procedure for prenex arguments
Conversion to prenex form
A derivation procedure for arbitrary symbolic arguments
A decision procedure for certain prenex formulas
A decision procedure for certain prenex arguments
Historical remarks
Definitions: Formal Theories
The vocabulary of formal languages
Bondage and freedom
proper substitution
alphabetic varianc
Informal notational conventions
Derivability
Formal theories
the theory of commutative ordered fields
Extensions of theories
the theory of real numbers
Definitions
Variable-Binding Operators
Definitions reconsidered
The theory of convergence
A sketch of further developments
Historical remarks
Appendix: list of constants used in chapters X and XI
Appendix: list of axioms, definitions, and theorems of chapters X and XI
Bibliography
Index of Proper Names
Index of Subjects
Table of Contents provided by Publisher. All Rights Reserved.


Please wait while the item is added to your cart...