𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Elementary Logic: Revised Edition

✍ Scribed by W. V. Quine


Publisher
Harvard University Press
Year
1980
Tongue
English
Leaves
144
Edition
Revised
Category
Library

⬇  Acquire This Volume

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


Mathematical Logic: Revised Edition
✍ Willard Van Orman Quine πŸ“‚ Library πŸ“… 2009 πŸ› Harvard University Press 🌐 English

<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

Mathematical Logic (Revised Edition)
✍ Quine, Willard van Orman πŸ“‚ Library πŸ“… 2002 πŸ› Harvard University Press 🌐 English

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.

Set Theory and Its Logic : Revised Editi
✍ Willard Van Orman Quine πŸ“‚ Library πŸ“… 1971 πŸ› Harvard University Press 🌐 English

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