An Introduction to Formal Logic: Second Edition

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

• Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study.

• Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Summaries are given at important junctures in the book to keep students aware of what they are doing and where they are going.

• Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format.

• More than 300 worked examples.

• More than 500 exercises with answers available on the web.