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