First Order-Logic: An Introduction

by Leigh S. Cauman

An introduction to principles and notation of modern symbolic logic, for those with no prior courses. 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. Annotation c. by Book News, Inc., Portland, Or.

Genres: Logic

350 pages, Paperback

First published October 1, 1998

Reviews

[Lane Wilkinson · Rating 4 out of 5]

My second-favorite introductory logic book. Most everyone that I know used Mates for their Advanced Symbolic logic text. Cauman, I admit, is less rigorous in her exposition of proof-theoretic methods (her * notation system is unusual). However, she does discuss, in great detail, the metaphysical consequences of illicit existential instantiation and universal generalization.