Logic: The Theory of Formal Inference
Logic: The Theory of Formal Inference
- ISBN 13:
9780486796772
- ISBN 10:
0486796779
- Edition: Revised
- Format: Paperback
- Copyright: 11/18/2015
- Publisher: Dover Publications
List Price $13.81 Save
TERM | PRICE | DUE |
---|---|---|
Free Shipping Both Ways
Highlight/Take Notes Like You Own It
Purchase/Extend Before Due Date
List Price $13.81 Save $0.14
Usually Ships in 3-5 Business Days
We Buy This Book Back!
Free Shipping On Every Order
Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
Extend or Purchase Your Rental at Any Time
Need to keep your rental past your due date? At any time before your due date you can extend or purchase your rental through your account.
Summary
Suitable for students of philosophy as well as mathematics, the three-part treatment begins with the intuitive development of the standard theory of sentential connectives (called "operators"). The theory is further developed with the assistance of truth-tables and ultimately as a logistic system. Part II explores first-order quantification theory. In addition to examining most of the familiar laws that can be expressed by monadic formulas, the text addresses polyadic principles and the theories of identity and descriptions. Part III focuses on elementary concepts of classes, from class membership and class inclusion to the algebra of classes. Each part concludes with a series of exercises.