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