Жар холодных числ и пафос бесстрастной логики

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

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

Оглянемся еще раз на факты, с которыми мы познакомились на страницах этой книги, и попробуем немного пофантазировать о завтрашнем дне... не кибернетики, нет — это был бы слишком «технический» вопрос, а науки в целом.

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

Работая сотни тысяч лет как система, отражающая внешний мир, язык запечатлел в себе какие-то постоянные черты действительности. Первые размышления о логике, как и длиннейший ряд последующих исследований, вовсе не были изучением объективно существующей реальности, называемой природой, это было изучение вторичной, но объективной, не зависящей от воли отдельных людей и даже всех людей вместе, системы — отражающей системы.

Древний человек не понимал происхождения логики, но побуждаемый необходимостью, применял ее на деле. Философы элейекой школы, а затем Сократ, Платон и Аристотель сознательно заставили логику «работать». Во-первых, они сильно продвинули теоретический анализ логики, и это дало им в руки достаточно сильный инструмент; во-вторых, они широко использовали логику как средство воздействия на поведение людей; в-третьих, они оказали огромное влияние на образ мышления Эвдокса, Евклида, Архимеда, Аполлония и других великих геометров древнего мира, создавших разнообразные методы математических доказательств, основанные на применении правил логики в геометрии.

Можно сказать, что последнее было н полезно» и вредно для логики: та часть логики, которая «спряталась» в геометрии, как бы перестала быть логикой, приняла псевдоним математики и, слившись с древней наукой о числах — арифметикой, стала развиваться независимо от той части, которая по-прежнему оставалась наукой об элементарных правилах рассуждений. Классическая Логика от этого сильно пострадала, но проникновение вируса логики в клетки математики должно было сыграть свою роль через много столетий.

В средние века логика и математика развивались параллельно. В это же время начали возникать мечты об «искусственном интеллекте». Наиболее чуткие ко всему комплексу наук в целом, наиболее образованные люда эпохи пытались выделить что-то общее для всех видов словесного и формализованного рассуждения и проанализировать его. Постепенно, благодаря математике, стали создаваться все более совершенные знаковые системы, которые позволяли всерьез ставить вопрос о знаковом моделировании логического.

XIX век был веком кульминации классической математики и, как всегда бывает, именно поэтому был веком зарождения нового взгляда на математическое знание, на его роль в человеческом познании и его связь с другими науками, в том числе с логикой.