Abstract

This note presents a transcription of Russell's letter to Hawtrey of 22 January 1907 accompanied by some proposed emendations. In that letter Russell describes the paradox that he says "pilled" the "substitutional theory" developed just before he turned to the theory of types. A close paraphrase of the derivation of the paradox in a contemporary Lemmon-style natural deduction system shows which axioms the theory must assume to govern its characteristic notion of substituting individuals and propositions for each other in other propositions. Other discussions of this paradox in the literature are mentioned. I conclude with remarks about the significance of the paradox for Russell.