+612 9045 4394
Modern Logic : A Text in Elementary Symbolic Logic - Graeme Forbes

Modern Logic

A Text in Elementary Symbolic Logic

Paperback Published: 20th January 1994
ISBN: 9780195080292
Number Of Pages: 416

Share This Book:


RRP $153.95
or 4 easy payments of $33.56 with Learn more
Ships in 10 to 15 business days

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.

"Looks like an attractive text, pitched at an appropriate level and with good exercises. I have adopted it."--A.M. Ungar, SUNY at Albany "An excellent introduction to elementary logic. Rigorous yet accessible to the superior undergraduate student. The sections on extensions to classical logic are especially appreciated."--Jan A. Smucker, Hanover College "Of very real value, especially the final chapter on intuitionism and fuzzy logic--long overdue in introductory texts."--Patrick Grim, State University of New York at Stony Brook

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

ISBN: 9780195080292
ISBN-10: 0195080297
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 416
Published: 20th January 1994
Publisher: Oxford University Press Inc
Country of Publication: US
Dimensions (cm): 23.5 x 16.5  x 1.9
Weight (kg): 0.59