Modern Logic A Text in Elementary Symbolic Logic

Name: Modern Logic A Text in Elementary Symbolic Logic
Price: 40.55 USD
Availability: InStock
ISBN: 9780195080292

ISBN-10: 0195080297

ISBN-13: 9780195080292

Edition: 1994

Authors: Graeme Forbes

List price: $139.99

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Sell

Get cash fast!

Buy new: $122.85

Marketplace

3 new & used from $40.55

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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.

Book details

List price: $139.99
Copyright year: 1994
Publisher: Oxford University Press, Incorporated
Publication date: 1/20/1994
Binding: Paperback
Pages: 416
Size: 9.21" wide x 6.50" long x 0.60" tall
Weight: 1.518
Language: English



Introduction



Classical Sentential Logic



What is Logic?



First Steps in Symbolization



Semantics for Sentential Logic



Natural Deduction in Sentential Logic



Monadic Predicate Logic



Predication and Quantification in English



Validity and Provability in Monadic Predicate Logic



First-Order Logic with Identity



Advanced Symbolizations



Validity and Provability in First-Order Logic with Identity



Extensions and Alternatives to Classical Logic



Modal Logic



Intuitionistic Logic



Fuzzy Logic


Appendix: Using MacLogic


Solutions to Selected Exercises


Bibliography


Index