Logic: The Laws of Truth

From Wikipedia, the free encyclopedia
Logic: The Laws of Truth
AuthorsNicholas J. Smith
LanguageEnglish
Subjectlogics
PublisherPrinceton University Press
Publication date
2012
Media typePrint (Paperback)
Pages544 pp.
ISBN9780691151632

Logic: The Laws of Truth is a 2012 book by Nicholas J. Smith, in which the author provides an introduction to classical logic. It covers the formal tools and techniques of logic and their underlying rationales and broader philosophical significance. The book also presents various forms of proof: proof trees, major variants of natural deduction, axiomatic proofs, and sequent calculus. It also includes numerous logical exercises.[1][2][3][4][5][6][7][8]

References[edit]

  1. ^ Paoli, F. (27 March 2014). "Logic. The Laws of Truth". History and Philosophy of Logic. 35 (3): 306–308. doi:10.1080/01445340.2014.902243. ISSN 0144-5340.
  2. ^ Makinson, David (February 2015). "Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth". Studia Logica. 103 (1): 233–237. doi:10.1007/s11225-015-9607-2. ISSN 0039-3215.
  3. ^ "Book note: Nick Smith's new Logic: The Laws of Truth - Logic Matters". Logic Matters. 24 May 2012. Retrieved 24 October 2018.
  4. ^ Duke-Yonge, Jennifer (2014). "Review of Logic: The laws of truth". The Bulletin of Symbolic Logic. 20 (2): 202–203. JSTOR 23800716.
  5. ^ Saidel, Eric (2 June 2016). "Logic: The Laws of Truth". The European Legacy. 21 (8): 865–867. doi:10.1080/10848770.2016.1188510. ISSN 1084-8770.
  6. ^ O’Hair, Greg (September 2013). "A review of "Smith, Nicholas J. J., Logic: The Laws of Truth". Australasian Journal of Philosophy. 91 (3): 629. doi:10.1080/00048402.2013.794849. ISSN 0004-8402.
  7. ^ Evans, Peter W. (28 February 2015). "Nicholas J.J. Smith, Logic: The Laws of Truth . Reviewed by". Philosophy in Review. 35 (1): 41–43. ISSN 1920-8936. Retrieved 24 October 2018.
  8. ^ Hacken, George (2012). "Logic: The Laws of Truth by Nicholas J. J. Smith [Book Review]". Computing Reviews. 4 (12). Retrieved 24 October 2018.

External links[edit]