Elementary Logic [First Edition]

ISBN-13: 9781614277576 / Angielski / Miękka / 2014 / 180 str.

W. V. Quine

Opis

2014 Reprint of Original 1941 Edition. Exact facsimile of the original edition, not reproduced with Optical Recognition Software. W. V. Quines "Elementary Logic", 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. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters.