ФОРМАЛИЗАЦИЯ КАК ВЫХОД ЗА ПРЕДЕЛЫ СЕРЬЁЗНОГО

Анотація

Тема взаимоотношения проблемы смеха и формальных методов не нова. Обсуждается же она давно и обычно в отрицательном ключе. Невозможность, да и ненужность формализации смешного обосновывается схожими соображениями: смех – проявление человеческого сознания, а потому, даже если формальную систему и можно организовать так, чтобы она распознавала или даже конструировала шутку, всё же по-настоящему смешно ей самой никогда не станет. С этим спорить не будем, а поставим в данной статье перед собой более скромную задачу – возразим расхожему мнению о том, что формализация есть дело исключительно серьёзное. Конечно, формализованная теория шутки никем не построена, но вот шутя, различные теории строят и довольно часто, причём побочно получая порой самые серьёзные результаты. Будем рассуждать не столько о смешном, сколько о несерьёзном, точнее о том, как несерьёзное рождается в абсолютно серьёзном, а серьёзное, в свою очередь – в несерьёзном, и о зыбкой грани между ними. Эта задача представляется актуальной, поскольку ее решение раскроет важнейшие механизмы познавательных процедур, возможно, вообще остающихся не замеченными без привлечения для их понимания смеха.