"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.

This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.

Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.

_Naming and Necessity_ has had a great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of naming, and of identity. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here reissued in a newly corrected form with a new preface by the author. If there is such a thing as essential reading in metaphysics, or in philosophy of language, this is (...) it. (shrink)

A transcript of three lectures, given at Princeton University in 1970, which deals with (inter alia) debates concerning proper names in the philosophy of language.