<p>W. V. Quineβs systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all stud
Elementary Logic: Revised Edition
β Scribed by W. V. Quine
- Publisher
- Harvard University Press
- Year
- 1980
- Tongue
- English
- Leaves
- 144
- Edition
- Revised
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
Now much revised since its first appearance in 1941, this book, 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.
π SIMILAR VOLUMES
recommended by Fr. BocheΕski, O.P., in his [*Precis of Mathematical Logic*](https://isidore.co/calibre/#panel=book_details&book_id=5775) p. 5 Quine is also known for the Quine-Duhem thesis.
This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and r