First published in 1943, and revised for this 1952 edition, this book was intended for use by students of philosophy and as such traditional and modern developments in logic have been combined in a unified treatment. The author envisaged this volume as filling a gap for a simple, introductory text on formal logic, written from a modern point of view, unencumbered by traditional doctrine. This title provides a thorough introduction and grounding in the philosophy of logic, and was later revised after the author’s death to correct a number of logical errors — making this edition the most complete version of the work.

First published in 1943, and revised for this 1952 edition, this book was intended for use by students of philosophy and as such traditional and modern developments in logic have been combined in a unified treatment. The author envisaged this volume as filling a gap for a simple, introductory text on formal logic, written from a modern point of view, unencumbered by traditional doctrine. This title provides a thorough introduction and grounding in the philosophy of logic, and was later revised after the author’s death to correct a number of logical errors — making this edition the most complete version of the work.

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book.

Elementary Logic has been noted since 1941 for scope and rigor. Quine provides techniques for the central business of modern logic, explaining formal concepts, treating the paraphrasing of words into symbols, and giving procedures for testing truth-function logic and proofing the logic of quantifiers. Fully one third of this revised edition is new.

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.

Reissuing works originally published between 1931 and 1990, this set of twenty-four books covers the full range of the philosophy of logic, from introductions to logic, to calculus and mathematical logic, to logic in language and linguistics and logical reasoning in law and ethics. An international array of authors are represented in this comprehensive collection.