> 7.2 Self-instantiation and Typed Properties
In May of 1901 Russell discovered his famous paradox. If every predicative expression determines or corresponds to a property, then the expressions ‘is a property that does not instantiate itself’ should do so. This raises the question: does this property instantiate itself? Suppose that it does. Then it is a property that does not instantiate itself; so if it does instantiate itself, it doesn't instantiate itself. Now suppose that it does not instantiate itself. Then it is one of those properties that do not instantiate themselves; so it does …