Logic: The Laws of Truth

Princeton, N.J.: Princeton University Press (2012)
  Copy   BIBTEX

Abstract

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 online The ideal textbook for undergraduates and graduate students

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
Truth, etc.: six lectures on ancient logic.Jonathan Barnes - 2007 - Oxford [England]: Oxford University Press.
Logic.Stan Baronett - 2008 - Upper Saddle River, N.J.: Pearson Prentice Hall.
Saving the truth schema from paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.
Logic: an introductory course.W. Newton-Smith - 1985 - London: Routledge & Kegan Paul.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
The laws of logic.E. D. Klemke - 1966 - Philosophy of Science 33 (3):271-277.
Logic for philosophy.Theodore Sider - 2009 - New York: Oxford University Press.
Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.

Analytics

Added to PP
2011-12-24

Downloads
159 (#121,029)

6 months
19 (#138,120)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas J. J. Smith
University of Sydney

References found in this work

No references found.

Add more references