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.

Klenk, Virginia, and . Understanding Symbolic Logic

2008, Pearson Prentice Hall.

Description – This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each chapter, or unit, is divided into easily comprehended small bites that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics.

Comment: This book is ideal for a first introduction course to formal logic. It doesn't presuppose any logical knowledge. It covers propositional and first-order logic (monadic and relational).

Merrie Bergmann, and James Moor, Jack Nelson. The Logic Book

2008 (5th ed), Random House, New York.

Description: This book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose. A free Student Solutions Manual is packaged with every copy of the textbook. Two logic programs, Bertie III and Twootie, are available as a free download from the University of Connecticut Philosophy Department’s Web site. The Web address for downloading the software is Bertie 3 is a proof checker for the natural deduction method and Twootie is a proof checker for the truth tree method.

CONTENTS: Chapter 1: Basic Notions of Logic, Chapter 2: Sentential Logic: Symbolization and Syntax, Chapter 3: Sentential Logic: Semantics, Chapter 4: Sentential Logic: Truth-Trees, Chapter 5: Sentential Logic: Derivations, Chapter 6: Sentential Logic: Metatheory, Chapter 7: Predicate Logic: Symbolization and Syntax, Chapter 8: Predicate Logic: Semantics, Chapter 9: Predicate Logic: Truth-Trees, Chapter 10: Predicate Logic: Derivations, Chapter 11: Predicate Logic: Metatheory.

Comment: This book may serve as the main reading or reference book for an introductory course to formal logic. It doesn't presuppose any knowledge of logic and is thus recommended for use in undergrad level logic courses. It comes with solutions to most of its exercises, which is great for students to practice and study on their own, but may be a drawback, since the teacher will need to design exercises of her own in order to assign homework to the students.