Russell's ramified type theory demands that propositional functions and their values occupy distinct...