Full text
Cauman, Leigh S.. First Order Logic: An Introduction
1998, Walter de Gruyter & Co.
Added by: Berta Grimau, Contributed by: Matt Clemens
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.

Export citation in BibTeX format

Export text citation

View this text on PhilPapers

Export citation in Reference Manager format

Export citation in EndNote format

Export citation in Zotero format

Share on Facebook
Share on LinkedIn
Share by Email

Leave a Reply

Your email address will not be published. Required fields are marked *