Ramsey and Wittgenstein showed that type distinctions, when applied to propositional functions, gene...