Logic: The Laws of Truth by Nicholas J.J. Smith | 9781400842315 | NOOK Book (eBook) | Barnes & Noble
Logic: The Laws of Truth

Logic: The Laws of Truth

by Nicholas J.J. Smith
     
 

View All Available Formats & Editions

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques

Overview

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website.

Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject.

  • Provides an essential introduction to classical logic
  • Emphasizes the how and why of logic
  • Covers both formal and philosophical issues
  • Presents all the major forms of proof--from trees to sequent calculus
  • Features numerous exercises, with solutions available at http://www-personal.usyd.edu.au/~njjsmith/lawsoftruth
  • The ideal textbook for undergraduates and graduate students

Editorial Reviews

Logic Matters
[I]f you are a teacher in the market for a new logic text, or a student looking for very helpful reading, this could indeed be the book for you.
Australasian Journal of Philosophy - Greg O'Hair
This book provides an excellent comprehensive introduction to classical first-order logic with identity. It has the expected virtues of clarity, precision and accessibility. . . . The book deserves to be used widely, both as a text for courses and for self-study.
Computing Reviews - George Hacken
You will find this book outstanding whenever you read it, but you'll be even smarter if you read it before other, even excellent, logic books in your library.
From the Publisher
"[I]f you are a teacher in the market for a new logic text, or a student looking for very helpful reading, this could indeed be the book for you."Logic Matters blog

"This book provides an excellent comprehensive introduction to classical first-order logic with identity. It has the expected virtues of clarity, precision and accessibility. . . . The book deserves to be used widely, both as a text for courses and for self-study."—Greg O'Hair, Australasian Journal of Philosophy

"You will find this book outstanding whenever you read it, but you'll be even smarter if you read it before other, even excellent, logic books in your library."—George Hacken, Computing Reviews

"[T]his volume displays a masterly combination of clarity, friendliness to the beginning student with technical accuracy, and carefully thought out choice of topics that is hard to find on the market. Smith succeeds in introducing his readers to the complexities of symbolic logic in a very gentle manner—there is not a formula or a definition in the book that is not thoroughly explained or illustrated with an abundance of examples."—F. Paoli, History and Philosophy of Logic

"An excellent textbook for an undergraduate course on this topic."— Peter W. Evans, Philosophy in Review

Product Details

ISBN-13:
9781400842315
Publisher:
Princeton University Press
Publication date:
04/01/2012
Sold by:
Barnes & Noble
Format:
NOOK Book
Pages:
544
File size:
12 MB
Note:
This product may take a few minutes to download.

Related Subjects

Meet the Author

Nicholas J. J. Smith is senior lecturer in philosophy at the University of Sydney in Australia. He is the author of Vagueness and Degrees of Truth.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >