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

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

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

В истории человеческой мысли было немало попыток умалить значение логики. Да и в XX столетии бушуют споры вокруг вопроса о значении логических принципов. В начале нашего века выдающиеся математики Л. Брауэр и Г. Вейль открыто выступили против классической — восходящей к Аристотелю — логики как базы математики (об этом подробнее мы скажем дальше); в наши дни имеется немало представителей точных наук (в основном физиков), которые требуют коренной переделки классической логики и ждут от этого революционных достижений в естествознании. Нет единой оценки основного свойства логики — ее формальности; нет и единого мнения относительно происхождения этого свойства; но текут века, кипят споры и страсти, а слепой механизм логики «существует, и ни зуб ногой».

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

В «Путешествиях Гулливера» Дж. Свифт повествует о Великой академии в Лагадо, ученые которой работали над самыми фантастическими проектами. Напомним об одном из таких мудрецов, встреченных Гулливером при осмотре лапутянской академии.

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

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