Simple type theory alone cannot resolve semantic paradoxes because it lacks the stratification of pr...