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