Skip to content
Register Sign in Wishlist
An Introduction to Formal Logic

An Introduction to Formal Logic

2nd Edition



Part of Cambridge Introductions to Philosophy

  • Date Published: June 2020
  • availability: Out of stock in print form with no current plan to reprint
  • format: Paperback
  • isbn: 9781108411394
Average user rating
(1 review)

£ 28.99

Out of stock in print form with no current plan to reprint
Unavailable Add to wishlist

Other available formats:

Looking for an inspection copy?

This title is not currently available on inspection

Product filter button
About the Authors
  • Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.

    • Presents the core concepts and methods of logic in a clear and uncluttered way
    • Helps the reader to grasp the basic concepts and principles behind propositional and predicate logic
    • Ideal for self-study, containing numerous examples and exercises, with answers online
    Read more

    Customer reviews

    30th Jun 2020 by Asher777

    Is a good book. I use for teach computational logic in my school and a University

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Edition: 2nd Edition
    • Date Published: June 2020
    • format: Paperback
    • isbn: 9781108411394
    • length: 428 pages
    • dimensions: 245 x 174 x 24 mm
    • weight: 0.76kg
    • availability: Out of stock in print form with no current plan to reprint
  • Table of Contents

    1. What is deductive logic?
    2. Validity and soundness
    3. Forms of inference
    4. Proofs
    5. The counterexample method
    6. Logical validity
    7. Propositions and forms
    Interlude. From informal to formal logic
    8. Three connectives
    9. PL syntax
    10. PL semantics
    11. `P's, `Q's, `_'s, `_'s { and form again
    12. Truth functions
    13. Expressive adequacy
    14. Tautologies
    15. Tautological entailment
    16. More about tautological entailment
    17. Explosion and absurdity
    18. The truth-functional conditional
    19. `If's and `!'s: why natural deduction?
    20. PL proofs: conjunction and negation
    21. PL proofs: disjunction
    22. PL proofs: conditionals
    23. PL proofs: theorems
    24. PL proofs: metatheory
    Interlude. Formalizing general propositions
    25. Names and predicates
    26. Quantifers in ordinary language
    27. Quantifer-variable notation
    28. QL languages
    29. Simple translations
    30. More on translations
    Interlude. Arguing in QL
    31. Informal quantifer rules
    32. QL proofs
    33. More QL proofs
    34. Empty domains?
    35. Q-valuations
    36. Q-validity
    37. QL proofs: metatheory
    Interlude. Extending QL
    38. Identity
    39. QL= languages
    40. Definite descriptions
    41. QL= proofs
    42. Functions
    Appendix. Soundness and completeness.

  • Author

    Peter Smith
    Peter Smith was formerly Senior Lecturer in Philosophy at the University of Cambridge. His books include Explaining Chaos (Cambridge, 1998) and An Introduction to Gödel's Theorems (Cambridge, 2007; 2013).

Related Books

also by this author

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.