Introduction to logic and to the methodology of the deductive sciences

Description

The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building. Abstract: The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building Content: Contents From Author's Prefaces to Previous Editions Editor's Preface A Short Biographical Sketch of Alfred Tarski 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 Considerations on the Constructed TheoryX: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers Index A B C D E F G H I K L M N O P Q R S T U V W Z.