Opening book details…
Can I read An Introduction to Formal Logic on EtoBox?
An Introduction to Formal Logic by Peter Smith is a philosophy book available to read on EtoBox.
What is An Introduction to Formal Logic about?
Formal logic provides us with a powerful set of techniques for criticizi ng some argu ments and showi ng others to be valid. These techniques are relevantto 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 offormallogic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for eval uati ng argu ments 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 iliuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis forfurther work in formal and philosophical logic. PETER SMITH is Lecturer in Philosophy at the UniversityofCambridge. He is the author (with O. R. Jones) ofThe Philosophy of Mind: An Introduction (1986) and of Explaining Chaos (1998), and he is a formereditorof the jou rnal Analysis. This book's website is at http://www.logicbook.net
Who reads An Introduction to Formal Logic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter Smith
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2013
- Language
- EN
- ISBN
- 9781107481107
- Category
- philosophy
- Subjects
- Philosophy, Science, Mathematics
- Rating
- 3.91 / 5 (39 ratings)
- Updated
- 2026-03-14
More by Peter Smith
Browse all works by Peter Smith
Similar books
- Introduction to Formal Logic — Russell Marcus (2018)
- The Languages of Logic: an Introduction to Formal Logic — Samuel D. Guttenplan (1986)
- An Introduction to Practical Formal Methods Using Temporal Logic — Michael Fisher (2011)
- An Introduction to Logic and Scientific Method — Morris F. Cohen, Morris Raphael Cohen, Ernest Nagel (2011)
- Formal Logic — Mark Jago (2007)
- Logic : an Emphasis on Formal Logic — Stan VNV Baronett (2018)