1. Метатеоретические исследования.
Метатеория | это теория, предметом которой является некоторая другая теория. Так, метаматематика изучает систему основных понятий математики, систему применяемых в математике умозаключений, математическую терминологию, способы записи математических объектов и фактов и т. д.
Метатеоретические исследования необходимы на самом первом этапе создания информационных языков и алгоритмов. Действительно, создавая информационный язык, скажем, для электротехники, мы должны уяснить себе перечень основных понятий и объектов, встречающихся в электротехнике, способы их записи, отношения, в которые они вступают и т. д., то есть заняться метаэлектротехникой. К метаэлектротехнике относится и установление применяемых в электротехнике способов умозаключений (что нужно для разработки способов получения новых сведений о фактах из сведений известных), и установление «существенности» того или иного факта (что нужно для алгоритмов реферирования).
В комплекс метатеоретических исследований входят изучение средств записи информации, применяемых в данной науке, и разработка формального аппарата данной науки. Именно разработанность формального аппарата математики позволила сразу применить новую технику для решения вычислительных задач математики. Создание подобных языков для других наук позволит аналогичным образом применить новую технику для решения задач этих наук.
Разработка языков наук, изучение существующих и создание новых способов записи научной информации требуют, в свою очередь, решения ряда сложных теоретических вопросов современной логической семантики (имеются в виду прежде всего исследования, группирующиеся вокруг понятия смысла).
стр.178-179
Успенский В. А. Труды по нематематике. С приложением семиотических посланий
А. Н. Колмогорова к автору и его друзьям.
https://math.ru/lib/files/pdf/shen/usp/usp-all.pdf