Modern Logic: A Text in Elementary Symbolic Logic / Edition 1

Modern Logic: A Text in Elementary Symbolic Logic / Edition 1

by Graeme Forbes
     
 

ISBN-10: 0195080297

ISBN-13: 9780195080292

Pub. Date: 01/20/1994

Publisher: Oxford University Press, USA

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

…  See more details below

Overview

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.

Read More

Product Details

ISBN-13:
9780195080292
Publisher:
Oxford University Press, USA
Publication date:
01/20/1994
Edition description:
New Edition
Pages:
416
Sales rank:
382,652
Product dimensions:
9.13(w) x 6.50(h) x 0.74(d)

Table of Contents

Introduction
I. Classical Sentential Logic
1. What is Logic?
2. First Steps in Symbolization
3. Semantics for Sentential Logic
4. Natural Deduction in Sentential Logic
II. Monadic Predicate Logic
5. Predication and Quantification in English
6. Validity and Provability in Monadic Predicate Logic
III. First-Order Logic with Identity
7. Advanced Symbolizations
8. Validity and Provability in First-Order Logic with Identity
IV. Extensions and Alternatives to Classical Logic
9. Modal Logic
10. Intuitionistic Logic
11. Fuzzy Logic
Appendix: Using MacLogic
Solutions to Selected Exercises
Bibliography
Index

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >