Разум и природа | страница 89
Уже самый факт наличия юмора в человеческих отношениях указывает, что по крайней мере на этом биологическом уровне различение типов играет необходимую роль в человеческой коммуникации. Если бы логические типы не искажались, юмор был бы не нужен и, пожалуй, не мог бы существовать.
Даже на самом абстрактном уровне явления, вызываемые подменой логических типов, в течение тысячелетий увлекали и мудрецов, и глупцов. Но логику надо было спасти от парадоксов, доставлявших развлечение шутникам. При попытках это сделать Рассел и Уайтхед очень скоро заметили, что древний парадокс Эпименида основан на классификации и метаклассификации. Парадокс выражался фразой: «Эпименид был критянин, говоривший: «Критяне всегда лгут»». Я представил здесь этот парадокс в виде цитаты внутри цитаты, потому что именно так возникает парадокс. БОльшая цитата является классификатором для меньшей, пока меньшая цитата не одерживает верх, переклассифицируя бOльшую, от чего и возникает противоречие. На вопрос, «Мог ли Эпименид сказать правду?», мы отвечаем: «Если да, то нет» и «Если нет, то да».
Как говорил Норберт Винер, если предъявить парадокс Эпименида компьютеру, тот будет отвечать ДА. НЕТ. ДА. НЕТ. до тех пор, пока не иссякнут чернила, или энергия, или будет достигнут какой-нибудь внешний предел. Как я заметил в разделе 16 Главы 2, логика неспособна моделировать системы с причинными взаимодействиями, и парадокс возникает при игнорировании времени.
Если мы присмотримся к любому живому организму и станем спрашивать о его действиях и положениях тела, то столкнемся с таким запутанным клубком сообщений, что теоретические проблемы, указанные в предыдущем абзаце, становятся неясными. При виде огромной массы переплетенных наблюдений крайне трудно сказать, что какое-нибудь сообщение или положение ушей является в действительности метасообщением