Cauman, Leigh S., and . First Order Logic: An Introduction

1998, Walter de Gruyter & Co.

Publisher’s Note: This teaching book is designed to help its readers to reason systematically, reliably, and to some extent self-consciously, in the course of their ordinary pursuits-primarily in inquiry and in decision making. The principles and techniques recommended are explained and justified – not just stated; the aim is to teach orderly thinking, not the manipulation of symbols. The structure of material follows that of Quine’s Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll.

Comment: This book is adequate for a first course on formal logic. Moreover, its table of contents follows that of Quine's "Methods of Logic", thus it can serve as an introduction or as a reference text for the study of the latter.