Это, как нам кажется, больше соответствует духу творчества Рассела. Для того чтобы некий объект являлся мета по отношению к какому-либо другому объекту (например, множество всех множеств является мета по отношению к множеству всех стульев, так как последнее множество оказывается членом первого, но не наоборот), необходимо, чтобы метаобъект включал объект, по отношению к которому он является мета, в свою область. Но среди множества одновременно генерируемых парасообщений ни одно из них не включает никакое другое, какой бы смысл глагола «включать» из тех, что могут помочь нам организовать наш психотерапевтический опыт, мы ни взяли. Вы можете найти изложение Расселом идей, имеющих отношение к теории логических типов, в Principia Mathematics: том I (введение, главы 1,12,20), том II (Предварительное утверждение); а также в American Journal of Mathematics (Volume XXX, 1908, pp. 222-262).
