Book contents
- Frontmatter
- PREFACE
- Contents
- Note
- ALPHABETICAL LIST OF PROPOSITIONS REFERRED TO BY NAMES
- INTRODUCTION TO THE SECOND EDITION
- INTRODUCTION
- CHAPTER I PRELIMINARY EXPLANATIONS OF IDEAS AND NOTATIONS
- CHAPTER II THE THEORY OF LOGICAL TYPES
- CHAPTER III INCOMPLETE SYMBOLS
- PART I MATHEMATICAL LOGIC
- PART II PROLEGOMENA TO CARDINAL ARITHMETIC
- Summary of Part II, Section A
- SECTION A UNIT CLASSES AND COUPLES
- APPENDIX A The Theory of Deduction for Propositions containing Apparent Variables
- APPENDIX C Truth-Functions and others
- LIST OF DEFINITIONS
Summary of Part II, Section A
Published online by Cambridge University Press: 25 February 2010
- Frontmatter
- PREFACE
- Contents
- Note
- ALPHABETICAL LIST OF PROPOSITIONS REFERRED TO BY NAMES
- INTRODUCTION TO THE SECOND EDITION
- INTRODUCTION
- CHAPTER I PRELIMINARY EXPLANATIONS OF IDEAS AND NOTATIONS
- CHAPTER II THE THEORY OF LOGICAL TYPES
- CHAPTER III INCOMPLETE SYMBOLS
- PART I MATHEMATICAL LOGIC
- PART II PROLEGOMENA TO CARDINAL ARITHMETIC
- Summary of Part II, Section A
- SECTION A UNIT CLASSES AND COUPLES
- APPENDIX A The Theory of Deduction for Propositions containing Apparent Variables
- APPENDIX C Truth-Functions and others
- LIST OF DEFINITIONS
Summary
The objects to be studied in this Part are not sharply distinguished from those studied in Part I. The difference is one of degree, the objects in this Part being of somewhat less general importance than those of Part I, and being studied more on account of their bearing on cardinal arithmetic than on their own account. Although cardinal arithmetic is the goal which determines our course in Part II, all the objects studied will be found to be also required in ordinal arithmetic and the theory of series.
Section A of this Part deals with unit classes and couples. A unit class is the class of terms identical with a given term, i.e. the class whose only member is the given term. (As explained in the Introduction, Chapter III, pp. 76 to 79, the class whose only member is x is not identical with x.) We define 1 as the class of all unit classes. In like manner, we define a (cardinal or ordinal) couple, and then define 2 as the class of all couples.
- Type
- Chapter
- Information
- Principia Mathematica to *56 , pp. 328Publisher: Cambridge University PressPrint publication year: 1997