ABSTRACT
I have only a couple of comments to make. I did not assume your (P) in my arguments, but I do want to defend it. One reason for accepting it is that all of its instances are theorems of what I think of as the only good formal theory of properties (i.e. of predicates in intension) that I know, namely Russell's Principia Mathematica or ‘ramified type theory’ minus the Axiom of Reducibility. I think this because I was convinced by Alonzo Church's arguments (in a long paper written late in his life for The Journal of Symbolic Logic) (Church 1976).
