Picture 1 of 1

Stock photo

Modern Logic: A Text in Elementary Symbolic Logic by Graeme Forbes: New - Picture 1 of 1

Modern Logic : A Text in Elementary Symbolic Logic by Graeme Forbes (1994, Trade Paperback)

AlibrisBooks (455921)

98.5% positive Feedback

Price:

US $167.04

Approximately£123.73

+ $17.78 postage

Estimated delivery Tue, 24 Jun - Fri, 4 Jul

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

New Trade paperback

About this product

Product Identifiers

PublisherOxford University Press, Incorporated

ISBN-100195080297

ISBN-139780195080292

eBay Product ID (ePID)76712

Product Key Features

Number of Pages416 Pages

Publication NameModern Logic : a Text in Elementary Symbolic Logic

LanguageEnglish

SubjectLogic

Publication Year1994

TypeTextbook

Subject AreaMathematics, Philosophy

AuthorGraeme Forbes

FormatTrade Paperback

Dimensions

Item Height0.7 in

Item Weight21.2 Oz

Item Length6.5 in

Item Width9.1 in

Additional Product Features

Intended AudienceCollege Audience

LCCN93-017282

Dewey Edition20

Reviews"Looks like an attractive text, pitched at an appropriate level and with good exercises. I have adopted it."--A.M. Ungar, SUNY at Albany, "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, "Looks like an attractive text, pitched at an appropriate level and withgood 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, "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

IllustratedYes

Dewey Decimal160

Table Of ContentIntroductionI. Classical Sentential Logic1. What is Logic?2. First Steps in Symbolization3. Semantics for Sentential Logic4. Natural Deduction in Sentential LogicII. Monadic Predicate Logic5. Predication and Quantification in English6. Validity and Provability in Monadic Predicate LogicIII. First-Order Logic with Identity7. Advanced Symbolizations8. Validity and Provability in First-Order Logic with IdentityIV. Extensions and Alternatives to Classical Logic9. Modal Logic10. Intuitionistic Logic11. Fuzzy LogicAppendix: Using MacLogicSolutions to Selected ExercisesBibliographyIndex

SynopsisModern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses 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 is on giving the student a thorough understanding of the concepts rather than just a facility with formal procedures., 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., 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.

LC Classification NumberBC135.F57 1994