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

From ProofWiki
Jump to navigation Jump to search

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

Published $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

Further Editions