ABSTRACT

Identity is a symmetrical relation, and may be admitted without any great qualms. The matter becomes far worse when we have -to admit not-symmetrical relations of terms to themselves. For the general theory of relations, especially in its mathematical developments, certain axioms relating classes and relations are of great importance. It is to be held that to have a given relation to a given term is a predicate, so that all terms having this relation to this term form a class. The common predicate of all these predicates cannot be one of them, since for each of them there is at least one predicate of which it is not predicable. The doctrine of propositional functions requires, however, that all terms having latter property should form a class.