ENGLISH

An Introduction to Formal Logic

By Peter Smith

Book information

Publisher
Cambridge University Press
Year
2003
ISBN
0521008042, 9780521008044, 9780521810333, 9781107481107
Language
english
Format
PDF
Filesize
10 MB (10081421 bytes)
Pages
C, viii+357, B\367
Topic
Mathematics Logic
DPI
600
Orientation
portrait
Paginated
yes
Scanned
yes
Time added
2014-03-20 08:06:25

Description

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 skillful 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. Introduces the student reader to the fundamentals of formal logic using the tree method Clearly and accessibly written but also philosophically sophisticated Helpful examples and exercises

Similar books