Modern Logic

Modern Logic by Graeme Forbes

Modern Logic is a text designed for a first course in symbolic logic for students in philosophy, mathematics, computer science, or linguistics. The book covers classical sentential logic, monadic predicate logic, and full first-order logic with identity, in three separate sections. Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis throughout is to give the student a thorough understanding of the concepts rather than just a facility with formal procedures.

"Looks like an attractive text, pitched at an appropriate level and with good exercisesI 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

Graeme Forbes is Professor of Philosophy at the University of Colorado at Boulder. He is the author of Attitude Problems (Oxford, 2006), Languages of Possibility (1989), and The Metaphysics of Modality (Oxford, 1985). He has held research fellowships at New College, Oxford, and Edinburgh University, and has taught at the University of California at Santa Barbara and at Riverside.

SKU	Unavailable
ISBN 13	9780195080292
ISBN 10	0195080297
Title	Modern Logic
Author	Graeme Forbes
Condition	Unavailable
Binding Type	Paperback
Publisher	Oxford University Press Inc
Year published	1994-04-07
Number of pages	416
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note	Unavailable