Logic Primer, Second Edition

Name: Logic Primer, Second Edition
Price: 5.6 USD
Availability: InStock
ISBN: 9780262511261

ISBN-10: 0262511266

ISBN-13: 9780262511261

Edition: 2nd 2001

Authors: Colin Allen, Michael Hand

List price: $35.00

30 day, 100% satisfaction guarantee!

Buy used: $15.43

Marketplace

4 new & used from $5.60

what's this?

Rush Rewards U
Members Receive:

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

Description:

Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the student-instructor relationship. The key concepts are laid out in concise definitions and comments, with the expectation that the instructor will elaborate upon them. New to the second edition is the addition of material on the logic of identity in chapters 3 and 4. An innovative interactive Web site, consisting of a "Logic Daemon" and a "Quizmaster," encourages students to formulate their own proofs and links them to appropriate explanations in the book.

Book details

List price: $35.00
Edition: 2nd
Copyright year: 2001
Publisher: MIT Press
Publication date: 1/16/2001
Binding: Paperback
Pages: 216
Size: 7.06" wide x 9.06" long x 0.39" tall
Weight: 0.968
Language: English

Colin Allen is Professor of Philosophy at Texas A&M University. He is the coauthor of Nature's Purposes (MIT Press, 1998), Species of Mind (MIT Press, 1997), and The Cognitive Animal (MIT Press, 2001).

Michael Hand is Professor of Philosophy at Texas A&M University.



Preface


Acknowledgements



Sentential Logic



Basic logical notions



A Formal Language for Sentential Logic



Translation of English to Sentential Wffs



Primitive Rules of Proof



Sequents and Derived Rules



Theorems



Truth Tables



Truth Tables for Sentences



Truth Tables for Sequents



Tautologies



Indirect TTs



English Counterexamples



Predicate Logic



A Formal Language for Predicate Logic



Translation of English to Quantified Wffs



Primitive Rules of Proof



Sequents, Theorems, and Derived Rules of Proof



Predicate Logic



Finite Interpretations and Expansions with One-Place Predicates



Finite Countermodels for Arguments with One-Place Predicates



Finite Countermodels for Arguments with Many-Place Predicates



Infinite Countermodels


Answers to Selected Exercises


Index