An Introduction to Formal Logic
An Introduction to Formal Logic
Regular price
Checking stock...
Regular price
Checking stock...
The feel-good place to buy books
- Free UK delivery over £5
- 10% off preloved books when you join +Plus
- Buying preloved emits 46% less CO2 than new
- Give your books a new home - sell them back to us!

An Introduction to Formal Logic by Peter Smith
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 highly accessible book, 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 then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, 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.
Peter Smith's publications include The Philosophy of Mind (1986) and Explaining Chaos (1998).
| SKU | Unavailable |
| ISBN 13 | 9780521008044 |
| ISBN 10 | 0521008042 |
| Title | An Introduction to Formal Logic |
| Author | Peter Smith |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2003-11-06 |
| Number of pages | 364 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |