Methods of LogicThis 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
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Methods of Logic
User Review  Adam  GoodreadsA 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  GoodreadsVery 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 
320  
327  