В этом разделе я преследую две цели: во-первых, помочь читателю разобраться в понятии логических типов и смежных идеях, которые в разных формах привлекали глубокий интерес человека на протяжении по крайней мере 3000 лет; во-вторых — убедить читателя в том, что то, о чем я говорю, является свойством разумного процесса, и даже более того — его необходимым свойством. Обе эти задачи не совсем просты, но, как выразился Вильям Блейк, «Истину невозможно представить в таком виде, чтобы ее поняли, но не поверили в нее». Поэтому обе задачи превращаются в одну, а именно — представить истину в таком виде, чтобы она стала понятной; хотя я хорошо знаю, что изложить истину, относящуюся к любой важной области жизни, в таком виде, чтобы она стала понятной — чрезвычайно трудный подвиг, в котором и сам Блейк редко преуспевал.
Я начну с абстрактной формулировки того, что имею в виду, а затем перейду к довольно простым примерам, иллюстрирующим эти идеи. Наконец, я попытаюсь доказать важность этого критерия, предъявляя случаи, в которых разные уровни коммуникации были столь запутаны или искажены, что это приводило к различным видам фрустрации и патологии. Для абстрактного изложения рассмотрим случай очень простого взаимоотношения двух организмов, при котором организм А производит некоторый звук или некоторое телодвижение, по которому Б может узнать нечто о состоянии А, имеющее значение для собственного существования Б. Это может быть угроза, сексуальное предложение, жест заботы или указание на принадлежность к одному виду. Как я уже заметил при рассмотрении кодирования (критерий 5), никакое сообщение, ни при каких обстоятельствах, не является тем, что его вызвало. Хотя имеется отчасти предсказуемое и потому довольно регулярное отношение между сообщением и его предметом, это отношение в действительности никогда не бывает прямым или простым. Поэтому, если Б собирается действовать в соответствии с указанием А, то ему совершенно необходимо знать, что значит это указание. Таким образом, здесь возникает другой класс информации, которую Б должен усвоить, чтобы понимать кодирование сообщений или указаний, исходящих от А. Сообщения этого класса относятся уже не к А или Б, а к кодированию сообщений. Они принадлежат другому логическому типу. Я назову их метасообщениями.
Далее, кроме сообщений о простых видах кодирования, есть гораздо более тонкие сообщения, необходимые по той причине, что коды условны; это значит, что значение определенного типа действия или звука зависит от контекста, и особенно от меняющихся отношений между А и Б.
