Introduction to Logic and to the Methodology of the Deductive Sciences / Edition 4

by Alfred Tarski, Jan Tarski

Overview

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject.

Product Details

ISBN-13:	9780195044720
Publisher:	Oxford University Press
Publication date:	01/06/1994
Series:	Oxford Logic Guides , #24
Edition description:	REV
Pages:	256
Product dimensions:	9.66(w) x 6.32(h) x 0.78(d)

Table of Contents

FIRST PART: Elements of Logic. Deductive Method1. On the Use of Variables2. On the Sentential Calculus3. On the Theory of Identity4. On the Theory of Classes5. On the Theory of Relations6. On the Deductive MethodSECOND PART: Applications of Logic and Methodology in Constructing Mathematical Theories7. Construction of a Mathematical Theory: Laws of Order for Numbers8. Construction of a Mathematical Theory: Laws of Addition and Subtraction9. Methodological Considerations of the Constructed Theory10. Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers

Editorial Reviews

"For Tarski logic was not only an essential tool of mathematics but the very foundation of it. What is more, he credited logic with having even more general meaning and significance. This new edition of Tarski's classic book will certainly help a new generation of readers in this respect." — Roman Murawski, Modern Logic, Vol 8, No 1/2 (January 1998 - April 2000)

From the Publisher

**** Reprint of the Olaf Helmer translation originally published by Oxford U. Press in 1946 (& cited in BCL3). Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews