An Introduction to Formal Logic

Front Cover
Cambridge University Press, Nov 6, 2003 - Mathematics - 366 pages
Peter Smith 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 commentary is supplemented with examples and exercises, making the text appropriate for a first logic course. The book will also provide a basis for further research in formal and philosophical logic.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

About the author (2003)

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

Bibliographic information