So Russell in the Principles of Mathematics has rendered the nonsense “p is a proposition” in symbols by “p ⊃ p” and has put it as hypothesis before certain propositions to show that their places for arguments could only be occupied by propositions. (It is nonsense to place the hypothesis p ⊃ p before a proposition in order to ensure that its arguments have the right form,
