Logic: An Introduction 1st Edition by Greg Restall, ISBN-13: 978-0773524224

Description

Logic: An Introduction 1st Edition by Greg Restall, ISBN-13: 978-0773524224

[PDF eBook eTextbook]

• Publisher: ‎ McGill-Queen’s University Press; 1st edition (February 2, 2006)
• Language: ‎ English
• 240 pages
• ISBN-10: ‎ 0773524223
• ISBN-13: ‎ 978-0773524224

Greg Restall’s Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. The author also examines the ideas behind modal logic, free logic, and other non-standard logics and discusses the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Each chapter includes excellent suggestions for further reading and both elementary and more advanced exercises, with solutions provided on a website. It is flexibly designed to be useable for half or full-year courses, for courses focusing exclusively on formal logic, or for a variety of approaches that would integrate topics in philosophical logic. Restall examines many of the interesting issues raised by basic logical techniques and will undoubtedly stimulate further study in the discipline. This is a logic book designed principally for philosophers but which will also be of interest to students of computer science, cognitive science, and linguistics.

Table of Contents:

Part 1: Propositional Logic 1. Propositions and Arguments 2. Connectives and Argument Forms 3. Truth Tables 4. Trees 5. Vagueness and Bivalence 6. Conditionality 7. Natural Deduction Part 2: Predicate Logic 8. Predicates, Names and Quantifiers 9. Models for Predicate Logic 10. Trees for Predicate Logic 11. Identity and Functions 12. Definite Descriptions 13. Some Things do not Exist

What makes us different?

• Instant Download

• Always Competitive Pricing

• 100% Privacy

• FREE Sample Available

• 24-7 LIVE Customer Support