- The Philosophy of Science Society, Japan
- 科学哲学 (ISSN:02893428)
- vol.46, no.1, pp.17-33, 2012 (Released:2016-01-13)
Bertrand Russell has found the paradox that bears his own name in the spring of 1901 and offered a version of the so-called “simple” theory of types as measures against it in an appendix to The Principles of Mathematics (1903). This theory was devised to deal with the class-version of that paradox. But he formulated it also in terms of “predicates” and the type theory has no effect to this formulation. In this paper, I shall show that Russell offered measures also against the “predicate”-version of that paradox in the Principles and it is very interesting in a sense that it enables to avoid the paradox without forbidding self-predications of predicates in general.