Book:Alfred Tarski/Introduction to Logic and to the Methodology of Deductive Sciences
Jump to navigation
Jump to search
Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences
Published $\text {1941}$, Oxford University Press (translated by Olaf Helmer)
Subject Matter
Contents
- Preface
- From the Preface to the Original Edition
- First Part: Elements of Logic. Deductive Method.
- I. On the Use of Variables
- II. On the Sentential Calculus
- III. On the Theory of Identity
- IV. On the Theory of Classes
- V. On the Theory of Relations
- VI. On the Deductive Method
- Second Part: Applications of Logic and Methodology in Constructing Mathematical Theories
- VII. Construction of a Mathematical Theory: Laws of Order for Numbers
- VIII. Construction of a Mathematical Theory: Laws of Addition and Subtraction
- IX. Methodological Consderations on the Constructed Theory
- X. Extension of the Constructed Theory. Foundatons of Arithmetic of Real Numbers
- Suggested Readings
- Index