Elementary Logic : : Revised Edition / / Willard Van Orman Quine.

• Superior document: Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999
• VerfasserIn: Quine, Willard Van Orman,
• Place / Publishing House: Cambridge, MA : : Harvard University Press, , [1980]; ©1980
• Year of Publication: 1980
• Language: English
• Physical Description: 1 online resource (144 p.)

Now much revised since its first appearance in 1941, W. V. Quine’s Elementary Logic, 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.

Table of Contents

Frontmatter -- Contents -- 1. Introduction -- I . STATEMENT COMPOSITION -- II • TRUTH-FuNCTIONAL TRANSFORMATIONS -- III • QUANTIFICATION -- IV • QUANTIFICA TIONAL INFERENCE -- Index