Methods of Logic is W. V. Quine’s systematic textbook of modern deductive logic. Its stated aim is twofold: to convey a precise understanding of the formal concepts of modern logic and to develop convenient techniques of formal reasoning. It is not a historical survey or a general philosophical essay; it is a working exposition of formal languages, validity, proof, and decision methods, organized in numbered sections with exercises appended to the sections. The exposition is rigorous and compact, and it moves from truth-functional logic through quantification theory to identity, descriptions, and selected metalogical results.
The opening portion of the book treats truth functions. Quine introduces negation, conjunction, alternation, the conditional, and the biconditional, together with schematic letters, truth tables, and the analysis of truth-functional compounds. He defines tautology, logical implication, equivalence, and consistency, and shows how to test arguments for validity. A distinctive feature of the book is its use of truth-value analysis rather than exclusive reliance on full truth tables. Truth-value analysis assigns truth values to components and traces the consequences for the whole formula; it is presented as a mechanical and time-saving method that is especially useful for truth functions with more than a few components. The book thus teaches both the theory of truth functions and a practical calculus for deciding truth-functional questions.
The book then turns to quantification. Quine introduces variables, predicates, quantifiers, open and closed sentences, scope, binding, substitution, and alphabetic variants. He is careful about the distinction between use and mention, about quotation, and about the difference between a sentence and a schema. For uniform quantification theory—the logic of one-place predicates—Quine formulates decision procedures. This fragment admits mechanical tests for consistency, inconsistency, validity, implication, and equivalence, and the method extends truth-value analysis to quantificational schemata. Because monadic quantification has a decision procedure, the tests given for this part of logic are complete for that fragment.
The book next develops general quantification theory, the first-order functional calculus with many-place predicates and nested quantifiers. For this richer system there is no decision procedure, and Quine accordingly develops the method of natural deduction along the lines of Gentzen and Jaskowski. He sets out introduction and elimination rules for the quantifiers, together with the restrictions needed to avoid invalid inferences, especially in universal generalization and existential instantiation. The reader is trained in constructing proofs and derivations and in recognizing the difference between formally valid moves and illegitimate ones. The treatment covers quantifier laws and equivalences and provides a proof technique suitable for full first-order logic.
Quine also treats identity and singular terms. The identity predicate is introduced with its usual reflexivity and substitutivity principles, and the book discusses definite descriptions, including Russell’s contextual analysis of descriptions and the importance of scope. A philosophically significant theme is the eliminability of singular terms from scientific discourse: names and descriptions can be paraphrased away in favor of predicates and variables. Related to this is Quine’s careful discussion of use versus mention, which runs through the book’s account of quotation, schemata, and formal notation.
The book includes discussion of central metalogical results. It explains that there can be no decision procedure for full quantification theory, and that number theory admits no complete proof procedure of the relevant kind. An appendix proves Gödel’s completeness theorem for quantification theory and a related theorem of Löwenheim. These results are presented in connection with the formal methods developed earlier, so that the book combines a practical training in logical technique with an introduction to some of the limits and theoretical properties of formal systems. Throughout, the emphasis is on exact formulation, mechanical testability where available, and the disciplined construction of proofs where no decision procedure exists.
The unifying thread is logical grammar: Quine presents formal notation as a canonical language into which informal arguments are translated. The aim is not merely to symbolize but to regiment—to expose scope, ambiguity, and unspoken structure. Translation and paraphrase therefore belong to the method itself; the reader learns to decide what a sentence’s logical form should be before applying a test or constructing a proof.
In the truth-functional portion, the book supplements truth tables with systematic transformation and normal forms. Equivalences are used as rewrite rules, so schemata can be put into standardized shapes for testing validity, implication, consistency, and equivalence. This gives the student both a semantic check and a syntactic calculus for the same fragment.
In its treatment of classes and relations, the book extends canonical notation through class abstraction and relational predicates while keeping these devices tied to the quantificational apparatus already developed. The emphasis remains on what can be expressed with variables, predicates, and quantifiers, and on class and relation notation as instruments of paraphrase rather than as an unrelated subject.
Methodologically, the book keeps decision procedures and proof procedures distinct. Where a fragment admits a mechanical test, it supplies one; where it does not, it supplies a disciplined system of derivation. This contrast is one of the book’s central lessons: formal logic is both an algorithmic subject and a proof-theoretic one, and the absence of a decision method does not leave the logician without technique.
The appendix’s completeness proof is integrated with this pedagogical aim: it shows that the proof methods taught for quantification theory match the semantic notion of validity. The book thus moves from practical exercises in symbolization and derivation to a considered view of what a formal system can and cannot be expected to decide. Its significance as a textbook lies in that integration—teaching logic as a set of working methods while making clear the theoretical boundaries those methods encounter.
