Файл: Бирюков, Б. В. Кибернетика и методология науки.pdf

имоотношешшм между создаваемыми культурными цен­ ностями я их «потребителями» ( о связанных с этим ме­ тодологических вопросах см. совместную с Е. С. Геллером книгу автора, 1973).

Конечно, проникновение машинно-математических ме­ тодов не происходит гладко, новые методы не всегда вос­ принимаются с должным пониманием. Если вернуться к приведенному выше примеру — к «кибернетизации» ис­ следований культуры и искусства, то мы услышим голоса тех, кто не верит в возможности новых методов в этой области, противопоставляет математическим (и машинноматематическим) способам анализа определенных сторон культуры требование «содержательности» искусствоведче­ ского анализа. Но жизнь берет свое, и кибернетические, математические, количественные методы постепенно внед­ ряются во все области знаний и труда человека. Дело идет к тому, что противопоставление описательных, «качествен­ ных» наук наукам «точным» постепенно утрачивает свое значение.

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

работы по семиотико-математическому анализу произведений литературы и искусства могли быть осуществлены только пото­ му, что в исследованиях использовались средства вычислитель­ ной техники.

158

«стандартные» сведения о них (например, библиографиче­ ские описания и рефераты, заранее заложенные в ИПС), а «данные» («машинные рефераты»), сформулированные в самой системе и оформляемые в форме принципиально новой документации (Б. В. Бирюков, Г. Г. Воробьев, 1971).

Очевидно революционизирующее значение такого рода «логических» ИПС коллективного пользования. Будучи порождены успехами электронной вычислительной техни­ ки и техники передачи информации (поскольку они стро­ ятся как системы вычислительных машин, запоминающих устройств, многочисленных устройств ввода и вывода ин­ формации, к которым по специальным линиям связи мо­ жет подключаться много абонентов, иногда удаленных от системы на сотни и даже тысячи километров), такие ИПС радикально меняют «стиль» научной работы: исследова­ тель работает в режиме «диалога» с машиной, ставя ей вопросы, получая ответы и обогащая ее память получен­ ными им результатами. Более того, вычислительные систе­ мы могут использоваться для проведения заочных конфе­ ренций и дискуссий; в США несколько вычислительных систем с соответствующими каналами связи уже приме­ няются для проведения заочных обсуждений различных проблем участниками, расположенными в различных тер­ риториальных пунктах (С. И. Самойленко). Это означает, что современные электронные системы перера­ ботки информации могут служить решению проблем кол ­ л е к т и в н о г о п о и с к а в научных исследованиях и приложениях.

6. Логическая систематизация

Широко известны трудности, с которыми связано реше­ ние важнейшей для науки наших дней (и тем более науки будущего) задачи рационализации ориентировки ученых в громадной массе материала, которую накопило и продол­ жает накапливать человеческое знание. Решение этой за­ дачи осуществляется по ряду направлений. Здесь и совер­ шенствование форм паучных публикаций; и «свертыва­ ние» информации в фондах хранения; и механизация, а затем и автоматизация поиска информации, относящейся к различным областям знания; и использование современ­ ной цифровой техники для логической, статистической,

159

собственно математической и т. н. обработки материала. Но автоматизация поиска информации — поиска многоас­ пектного (по ряду критериев) — и ее машинная обработ­ ка предполагают л о г и ч е с к у ю с и с т е м а т и з а ц и ю научных дисциплин и документальных материалов. Такая систематизация требуется также в связи с усложнением прогресса науки, когда продолжающееся ветвление наук все сильнее сочетается с их интеграцией, синтезом зна­ ния. Обогащение содержания знания, невиданный ранее рост числа собираемых наукой фактов — все это действу­ ет в том же направлении: объемность материала требует его представления в компактной и обозримой форме, а для этого логические методы могут представлять значи­ тельную ценность. Все это выдвигает на весьма видное место тот комплекс задач, который объединяют понятия­ ми «логика научного исследования» и «формализация». Для разработки проблем логики научного исследования фундаментальна роль математической логики и связан­ ных с ней дисциплин.

Термин «формализация» пользуется ныне широкой из­ вестностью в научных кругах. Правда, нередко это поня­ тие, долженствующее выражать распространенный метод (или методы) современных научных исследований, не от­ личается ясностью в устах тех, кто его употребляет. Это, в частности, касается науковедческих исследований.

Термин «формализация» имеет несколько смыслов. Наиболее широкий — это понятие о формализации как любом уточнении содержания посредством фиксации фор­ мы. Очевидно, что так понимаемая формализация начи­ нается уже с появления звуковых языков и письменности. Это самый широкий — в гносеологическом плане — смысл термина «формализация». И вместе с тем — наименее по­ лезный для изучения развития науки. Более естествен­ ным является тот смысл «формализации», когда под ней имеют в виду такую стандартизацию представления про­ цесса или фрагмента действительности, на основе кото­ рой можно строить математическое описание (так упот­ ребляют термин «формализация», например, в работах по математической теории эксперимента; см. сб. «Планиро­ вание эксперимента». М., 1966; в статье Ю. П. Адлера, И. Ф. Александровой, Ю. В. Грановского, В. В. Налимо­ ва, 1966, так понимаемая «формализация» фигурирует в заголовке статьи). И, наконец, самым узким — и вместе с

160

тем самым точным — смыслом термина «формализация» яв­ ляется «логическая формализация». Под послодпей пони­ мается уточнение содержания средствами современной (дедуктивной, математической, символической) логики. Говоря более точно, имеется в виду метод представления содержания определенной области в некотором формали­ зованном языке, например, в виде формальной логической системы, интерпретированной на объектах этой области 10. В дальнейшем изложении мы будем иметь в виду второй и третий смыслы термина «формализация», причем в последнем случае будем пользоваться уточняющим прила­ гательным «логическая».

Развитие кибернетики убедительно показало всю общ­ ность метода формализации как определенного приема поз­ нания, метода, который может быть с успехом применен — и действительно применяется — не только в техничес­ ких и естественных пауках, но и в таких науках, как линг­ вистика, педагогика, право и т. д. Больше того, киберне­ тика принесла с собой и новые формы формализации, свя­ занные с применением цифровых вычислительных машин (составление алгоритмов решения задач на этих машинах, программирование для них, кодирование условий задачи для ввода в машину, сам процесс обработки данных в ма­ шине, когда процесс решения овеществляется в состояни­ ях ее элементов и т. и.). Формализацию, средства матема­ тической логики приходится применять также при описа­ нии работы вычислительных машин, при изучении строе­ ния и функционирования управляющих систем, при раз­ работке методов их синтеза и т. д. Именно в свете идей и результатов кибернетики стало очевидным общенаучное, гносеологическое значение формализации как метода, ко­ торый в принципе применим (в той или иной его форме) ко всякой области конкретных или абстрактных объектов познания. И именно кибернетика выдвинула задачу при­ менения метода формализации (в его развитых формах)

зательным условием применения методов кибернетики в той или иной области познания является предваритель-

10 О различных смыслах термина «формализация» см.: совместную с А. А. Коноплянкиным статью автора, 1964; специально логиче­ ской формализации посвящена статья А. Л. Субботина (1962).

пая формализация подлежащих изучению закономернос­ тей в виде (более или менее развитой) знаковой системы.

Здесь уместно подчеркнуть ту важную роль, которую сыграли в становлении и развитии кибернетики матема­

нер — неоднократно отмечали значение круга идей логики для формирования кибернетики. Дело в том, что идеи ма­ тематической логики с самого начала этой науки были ор­ ганически связаны с (по существу «кибернетической») иде­ ей машины для переработки любой (а не только математи­ ческой) информации — «логической машины». Однако по­ ка математическая логика не взяла ориентацию на выра­ жение внелогического (т. е. находящегося вне логики; от­ носящегося к различным содержательным областям зна­ ния) содержания, она не могла быть полезна технике, не могла служить действенным средством обнаружения того, что «всякая наука есть прикладная логика». Поэтому, на­ пример, логические машины, построенные на основе алгеб­ ры логики XIX в., сыграли лишь историческую, а не дей­ ственно-практическую роль. Применение же логики (в фор­ ме математической логики) к формализации конкретных областей знания (теория математического доказательства) привело к возникновению высшей формы формализации —

рованных на определенных предметных областях). Кибернетика и приложения логики в технике показали,

что логическая формализация на уровне так называемой традиционной (т. е. доматематической) логики совершенно недостаточна для науки и практики. Эффективную теоре­ тическую и практическую роль может играть лишь форма­ лизация средствами математической логики или во всяком случае логики, пользующейся математическими методами. Ибо ясно, что логика, которая требуется, скажем, для реше­

лектуального труда, должна обязательно включать в себя т о ч н ы е правила записи и переработки информации. Только такой подход открывает возможность изучать и точно описывать те приемы мышления, которые в насто­ ящее время считаются чисто содержательными, интуитив­ ными. Неудивительно, что для кибернетики оказалось по­

162

лезной именно такая — формализованная, математическая, математизированная — логика.

ческой формализации (к математике), стоит обратить вни­ мание на очень ясную, с точки зрения выделения гно­ сеологической и методологической сторон дела, статью, Ю. А. Петрова (1967; см. также его диссертацию, 1972). Гносеологическая роль формализованных языков состоит в том, что они являются средством уточнения научных по­ нятий. При этом такое уточнение исторически прошло два этапа. На первом этапе (в истории математики и логики он завершился в конце XIX в.) формализованные языки использовались только для уточнения специфических тер­ минов данной науки. Но «настоящая» логическая формали­ зация наступает тогда, когда уточняются также и логи­ ческие средства, которые применяются к специфическим терминам данной науки — уточняются термины логики. При этом правила построения (синтаксис) таких языков отвечают требованию конструктивности, т. е. требованию того, чтобы выражения языка представляли собой кон­ структивные объекты — объекты, действовать с которыми можно было только по однозначно понимаемым точным правилам.

Развитие теории (и практики) построения формализо­ ванных языков, возникновение логической семантики как области логики, математико-логическими методами изуча­ ющей отношения между языками и их интерпретациями, принесли в последние десятилетия результаты, немаловаж­ ные для понимания структуры науки. Так, были сформули­ рованы идеи о предметных теориях и их формализован­ ных метатеориях, т. е. теориях, в которых изучаются пред­ метные теории; было введено представление о языках (в том числе языках науки) и метаязыках; подверглось изу­ чению отношение между синтаксическим (относящимся к знаковой форме) и семантическим (относящимся к значе­ нию, смыслу выражений научного языка) аспектами науки. Предметом исследования также стало отношение между этими аспектами и аспектом прагматическим, относящимся к реальному использованию научного языка. В значи­