Free Shipping In Australia
An Introduction to Formal Logic By Peter Smith (University of Cambridge)

An Introduction to Formal Logic
by Peter Smith (University of Cambridge)

Out of Stock
$28.49
inc. GST
This book introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages. It will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Only 0 left

An Introduction to Formal Logic Summary


An Introduction to Formal Logic by Peter Smith (University of Cambridge)

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.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in Australia
Read more here
Every used book bought is one saved from landfill

About Peter Smith (University of Cambridge)


Peter Smith's publications include The Philosophy of Mind (1986) and Explaining Chaos (1998).

Table of Contents


1. What is logic?; 2. Validity and soundness; 3. Patterns of inference; 4. The counterexample technique; 5. Proofs; 6. Validity and arguments; 7. Three propositional connectives; 8. The syntax of PL; 9. The semantics of PL; 10. 'A's and 'B's, 'P's and 'Q's; 11. Truth functions; 12. Tautologies; 13. Tautological entailment; 14. PLC and the material conditional; 15. More on the material conditional; 16. Introducing PL trees; 17. Rules for PL trees; 18. PLC trees; 19. PL trees vindicated; 20. Trees and proofs; 21. Quantifiers; 22. QL introduced; 23. QL explored; 24. More QL translations; 25. Introducing QL trees; 26. The syntax of QL; 27. Q-valuations; 28. Q-validity; 29. More on QL trees; 30. QL trees vindicated; 31. Extensionality; 32. Identity; 33. The language QL=; 34. Descriptions and existence; 35. Trees for identity; 36. Functions.

Additional information

GOR003016478
An Introduction to Formal Logic by Peter Smith (University of Cambridge)
Peter Smith (University of Cambridge)
Used - Very Good
Paperback
Cambridge University Press
2003-11-06
364
0521008042
9780521008044
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.