# Methods of Logic

Harvard University Press, 1982 - Philosophy - 333 pages

This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate- functor logic and the affinities between higher set theory and the elementary logic of terms, Quine's new edition will serve admirably both for classroom and for independent use.

### What people are saying -Write a review

5 stars
 3
4 stars
 7
3 stars
 0
2 stars
 0
1 star
 0

#### Review: Methods of Logic

A relatively clear presentation, with rigor approximately between that of a standard introductory text and van Dalen's Logic and Structure. Uses a notation largely abandoned today, which is ... Read full review

#### Review: Methods of Logic

User Review  - Gavin Brown - Goodreads

Very useful text on formal logic. However, the notation is antiquated. That being said, Quine's text is still one of the clearest and most thorough introductions on the subject. He writes in a style ... Read full review

### Contents

 Introduction 1 TRUTH FUNCTIONS 7 Negation Conjunction and Alternation 9 Truth Functions 16 The Conditional 21 Grouping 27 TruthValue Analysis 33 Consistency and Validity 40
 GENERAL THEORY OF QUANTIFICATION 165 Schemata Extended 167 Substitution Extended 174 Pure Existentials 182 The Main Method 190 Application 195 Completeness 203 Lowenheims Theorem 209

 Implication 45 Words into Symbols 53 Equivalence 60 Alternational Normal Schemata 68 Simplification 74 Duality 79 Axioms 85 GENERAL TERMS AND QUANTIFIERS 91 Categorical Statements 93 Venns Diagrams 98 Syllogisms 102 Limits of These Methods 109 Boolean Schemata 114 Tests of Validity 121 Some Boolean Incidentals 128 The Bound Variable 132 Quantification 136 Rules of Passage Monadic Schemata 142 Prenexity and Purity 148 Validity Again 154 Substitution 160
 Decisions and the Undecidable 213 Functional Normal Forms 219 Herbrands Method 224 Other Methods for Validity 232 Deduction 237 Soundness 245 Deductive Strategy 248 GLIMPSES BEYOND 257 Singular Terms 259 Identity 265 Descriptions 274 Elimination of Singular Terms 278 Elimination of Variables 283 Classes 288 Number 294 Axiomatic Set Theory 300 Partial Answers to Exercises 305 Bibliography 320 Index 327 Copyright