An Introduction to Formal Logic
2nd Edition
Part of Cambridge Introductions to Philosophy
- Author: Peter Smith
- Date Published: June 2020
- availability: Out of stock in print form with no current plan to reprint
- format: Paperback
- isbn: 9781108411394
Paperback
Other available formats:
Hardback
Looking for an inspection copy?
This title is not currently available on inspection
-
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.
Read more- 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
Customer reviews
17th Oct 2024 by UName-1036226
Is a good book. I use for teach computational logic in my school and a University
Review was not posted due to profanity
×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
Preface:
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.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×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.
×