# Book:Alfred Tarski/Introduction to Logic and to the Methodology of Deductive Sciences

Jump to navigation
Jump to search
## Alfred Tarski:

## Contents

## 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**