 The ontological status of propositions and propositional functions within Russell’s logic, and in particular, in Principia Mathematica, is currently the subject of considerable debate. One interpretation, which we might call “realist,” is summarized in this footnote by Alonzo Church in his 1976 study of the ramified theory of types: