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

Страница: 1 ... 1314151617181920212223 ... 142

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

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

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

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

— 18 —
Страница: 1 ... 1314151617181920212223 ... 142