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

• Название: Жар холодных числ и пафос бесстрастной логики
• Автор: Борис Бирюков
• Издательство: Издательство "Знание"
• Жанр: Математика
• Год: 1977

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.

---

Можно полагать, однако, что использование результатов познания мозга и мышления для создания машинных программ и электронных автоматов, гораздо более мощных по своим дедуктивно-вычислительным возможностям, чем современные программы и машины, откроет для кибернетики новые горизонты. Во всяком случае поиски в этом направлении все время нарастают. При этом вовсе не ставится задача имитации человеческой личности — со всеми «лабораторными», «катализаторными» элементами психики: эмоциями, способностью к догадкам, ассоциациям и обобщению и т. д. ЭВМ, которые мы можем себе представить в обозримом будущем, не переймут специфические человеческие способы творчества. Даже если бы наука задалась целью создать компьютер, как можно полнее моделирующий человека во всех отношениях, даже если в ЭВМ сумеют заложить эвристический механизм мышления, напоминающий тот, который очертил Бунге, у машины все равно не будет возникать тех образов, ассоциаций и чувств, тех «катализаторов мысли», которые постоянно возникают у людей, играя мощную стимулирующую роль в их мышлении, воспоминаний детства, неосознанных биологических инстинктов и побуждений, глубинных языковых ассоциаций, навыков социального поведения и т. д.[17]. На сегодняшний день мы вправе сделать вывод об уникальности механизма переключения эмоций человека, включения в зависимости от обстоятельства того или иного режима самоощущения, логического мышления, оценки окружающего, восприятия информации и поведения - всех свойств личности, которые сформировались в результате длительной эволюции нашего биологического вида ц социального развития. Среди этих свойств особо ценным является логика мысли — адекватный инструмент познания объективной истины, возникший уже на последней, высшей стадии развития человека, имеющий своей базой социально сформировавшиеся естественные языки. а ныне и различные искусственные знаковые системы. Именно этот инструмент играет все возрастающую роль, материализуясь в своих продолжениях — современных автоматах, в то время как эмоциональная лаборатория человека не пользуется какими-либо «усилителями». Несомненно, долг писателей, артистов» кинорежиссеров и представителей других художественных профессий — учить людей переживать, чувствовать, учить полезному для личности и общества отношению к своим и чужим поступкам и т. д. И в такой же мере долг мыслителей, философов, ученых учить людей м ы с л и т ь. Не следует представлять себе эту деятельность людей науки как стремление «вынуть из человека сердце и вставить в него компьютер». Это — благородная деятельность по гигантскому усилению дальнобойности человеческого разума.

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

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

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