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
- Summary of Part I
- SECTION A THE THEORY OF DEDUCTION
- SECTION B THEORY OF APPARENT VARIABLES
- SECTION C CLASSES AND RELATIONS
- SECTION D LOGIC OF RELATIONS
- SECTION E PRODUCTS AND SUMS OF CLASSES
- PART II PROLEGOMENA TO CARDINAL ARITHMETIC
- APPENDIX A The Theory of Deduction for Propositions containing Apparent Variables
- APPENDIX C Truth-Functions and others
- LIST OF DEFINITIONS
SECTION C - CLASSES AND RELATIONS
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
- Summary of Part I
- SECTION A THE THEORY OF DEDUCTION
- SECTION B THEORY OF APPARENT VARIABLES
- SECTION C CLASSES AND RELATIONS
- SECTION D LOGIC OF RELATIONS
- SECTION E PRODUCTS AND SUMS OF CLASSES
- PART II PROLEGOMENA TO CARDINAL ARITHMETIC
- APPENDIX A The Theory of Deduction for Propositions containing Apparent Variables
- APPENDIX C Truth-Functions and others
- LIST OF DEFINITIONS
Summary
GENERAL THEORY OF CLASSES
Summary of *20.
The following theory of classes, although it provides a notation to represent them, avoids the assumption that there are such things as classes. This it does by merely defining propositions in whose expression the symbols representing classes occur, just as, in *14, we defined propositions containing descriptions.
The characteristics of a class are that it consists of all the terms satisfying some propositional function, so that every propositional function determines a class, and two functions which are formally equivalent (i.e. such that whenever either is true, the other is true also) determine the same class, while conversely two functions which determine the same class are formally equivalent. When two functions are formally equivalent, we shall say that they have the same extension. The incomplete symbols which take the place of classes serve the purpose of technically providing something identical in the case of two functions having the same extension; without something to represent classes, we cannot, for example, count the combinations that can be formed out of a given set of objects.
Propositions in which a function φ occurs may depend, for their truthvalue, upon the particular function φ, or they may depend only upon the extension of φ. In the former case, we will call the proposition concerned an intensional function of φ; in the latter case, an extensional function of φ.
- Type
- Chapter
- Information
- Principia Mathematica to *56 , pp. 187 - 231Publisher: Cambridge University PressPrint publication year: 1997