Horkheimer on type theory in his 1937 essay "The Latest Attack on Metaphysics." In retrospect this bit really undercuts the conservative philosophical position he's trying to shore up here in a funny way.