ProofWiki:Books/Alfred Tarski/Introduction to Logic and to the Methodology of Deductive Sciences

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

Published 1936, Oxford University Press.

Subject Matter

• Set Theory
• Logic
• Mathematical Logic

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