Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters.
"synopsis" may belong to another edition of this title.
W. V. Quine was Edgar Pierce Professor of Philosophy, Harvard University. He wrote twenty-one books, thirteen of them published by Harvard University Press.
"About this title" may belong to another edition of this title.
Book Description Harvard University Press, 1980. Hardcover. Book Condition: Very Good. Very good. Bookseller Inventory # HH-247-80-9464609