snaha vypořádat se se sémantickými paradoxy

Být italský spisovatel je úctyhodné
pravidlo (A) predikáty P a P' → výrok <latex>P'(P)</latex>
pravidlo (A) nese problém při aplikace predikátů na sebe sama

neplatit o sobě samém

řešit pomocí zavedení predikátů vyšších řádů, které se aplikují na predikáty nižších řádů
predikáty druhého řádu jsou typu [[U→B]→B]