 These contradictions it was proposed to remove by what is called the Theory of Types, which consists really of two distinct parts directed respectively against two groups of contradictions. These two parts were unified by being both deduced in a rather sloppy way from the ‘vicious-circle principle’, but it seems to me essential to consider them separately. (1925a, [PP] 187)