- We will send in 10–14 business days.
/images/books/2875759/9780195080292.jpg)
- Author: Graeme Forbes
- Publisher: Oxford University Press, USA
- ISBN-10: 0195080297
- ISBN-13: 9780195080292
- Format: 16.5 x 23.4 x 1.5 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic
logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 19d.22:18:13
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Graeme Forbes
- Publisher: Oxford University Press, USA
- ISBN-10: 0195080297
- ISBN-13: 9780195080292
- Format: 16.5 x 23.4 x 1.5 cm, softcover
- Language: English English
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic
logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work.
Reviews