236 ОБЛАСТИ ПРИМЕНЕНИЯ МАТЕМАТИКИ
небольшой раскоп на ее месте превратился в забросанную мусором яму в одном из городских парков Афин, пригодную разве что для детских игр или ночевки бомжей»117.
У Платона было довольно ясное представление о сущности и роли логики как в математике, так и в философских дискуссиях. Вот что об этом писал Ф. Кессиди: «Платон выявил громадное значение логических определений, понятий и категорий в познании, их роль в философском и научном мышлении, их необходимость в исследо вании вопросов о происхождении общества и государства, в анализе правовых и нравственных норм, в решении этических, эстетических и иных проблем»
Особенно часто Платон применяет так называемый метод «эленхус». По мнению Харриса, «такой вид аргументации был заимствован из развивающейся логики математического мышления, которая была чем-то новым, захватывающим и, вероятно, не вполне понятным в начале IV в. до нашей эры. Я полагаю, что Платон был заинтригован этим новым способом мышления, широко использо вал его в своих ранних диалогах, постепенно замещая его, особенно после Менона, более существенными способами аргументации. Отрывки, в которых мы находим эленхус в его работах, указывают на такой ход событий. Короче говоря, я утверждаю, что эленхус в момент его зарождения был сознательным переходом от мате матических аргументов к философским, что, вероятно, он имел ошеломляющий успех, что подтверждается сравнением Сократа с электрическим скатом, но что он был довольно сильно "изношен"
119
активным употреблением»
Паршин. Идеальные числа Платона. С. 13-14.
Кессиди. Предисловие к книге «Платон и его эпоха». С. 5. Harris. Plato — Mathematician or Mystic?
Формы логического мышления 237
Этот метод основывается на том, что позже назовут «простым категорическим силлогизмом»: Сократ договаривается со своим собеседником принять «большую посылку», затем они рас сматривают утверждение собеседника («меньшую посылку»), и наконец, Сократ показывает, что следует из этих двух посылок («заключение»). Если заключение является очевидно неправиль ным, глупым, то из этого могут следовать два вывода: либо большая посылка, несмотря на первоначальное соглашение, была ошибочна, либо ошибочна меньшая посылка, т. е. утверждение собеседника. Так, в «Протагоре» мы читаем:
Следовательно, безрассудство противоположно рассудитель ности? — Очевидно. — А помнишь, ведь раньше-то мы согласились, что безрассудство противоположно мудрости?
— Протагор подтвердил. — И что одно бывает противоположно только одному? — Да, я это утверждаю. — От какого же из двух утверждений нам отказаться, Протагор? От того ли, что одному противоположно только одно, или от того, которое гласило, что мудрость есть нечто иное, чем рассудительность?
Ситуация такова: Сократ с Протагором согласились, 1) что муд рость есть нечто иное, чем рассудительность, 2) что чему-то одному противоположно только что-то одно, 3) что безрассудство противо положно мудрости, 4) что безрассудство противоположно рассу дительности.
Сократ берет пункт 2 в качестве большей посылки. Если мы обозначим «противоположно» знаком • , то получим большую посылку в виде: «Если А Т Х и А Т У , тоХ = Y»; в формальном виде:
(А • X ) Л (А • Y) -> X = Y.
Далее, пункты 3 и 4 вместе являются меньшей посылкой. Если мы обозначим «безрассудство» буквой «А», «мудрость» буквой «X» и «рассудительность» буквой «Y», тогда меньшую посылку можно записать в виде (А • X ) Л ( A T Y).
Протагор. 332е-333а.
238 ОБЛАСТИ ПРИМЕНЕНИЯ МАТЕМАТИКИ
Теперь получается следующий силлогизм:
(Α Τ X ) Λ (Α Τ Y) -> Χ = Y (A • Χ ) Λ (A • Y)
Χ= Y
т.е. мудрость = рассудительность. Но в пункте 1 собеседники согла сились, что Χ Φ Y, следовательно, в итоге мы получаем настоящее противоречие: (Χ Φ Υ) Λ (Χ = Y).
Что же делать? Есть три варианта: а) первое предположение, что Χ Φ Y, является ошибочным и от него надо отказаться; б) большая посылка неверна; в) сам силлогизм не работает, т. е. логическое мышление может оказаться недостоверным.
Для нас интересно, что Платон не рассматривал последний вариант — даже поверхностное знакомство с математикой про демонстрировало ему достоверность логических методов. Да, для выступающих «по-ораторски, по образцу тех, кто держит речи в судах» результат будет зависеть от того, представлено ли достаточ
ное количество почтенных свидетелей, «но для выяснения истины
121
такое опровержение не дает ровно ничего» . Дело в том, что истину определяет не человек, она дана Богом. Так, например, в политике надо соблюдать неопровержимые законы, поэтому, когда Платон определяет лучшее государство как «господство наилуч ших», то это не просто его излюбленная идея, «он хочет про возгласить требование, которое соответствует законам природы, и поэтому является абсолютно обязательным» . Так же и с вопросом о логике: не человек, а «вышестоящий орган», т. е. сам Бог123, опре-
Горгий. 47le: «Мудрым-то оказывается бог, и... он желает сказать, что человеческая мудрость стоит немногого или вовсе ничего не стоит».
Jaeger. Paideia. 2. Band. S. 324. Такое убеждение не является само по себе разумеющимся. Йегер напоминает нам о неизвестном софисте (Anonymus Iamblichi. Diels. И, 82), который решал все нравственные, общественные и государственные вопросы на основании экономики (Ibid. S. 274).
Апология Сократа. 23а. Поэтому бывает так, что обе стороны в дискуссии подвергаются проверке математическо-логической истиной: «Может слу читься, что при этом мы исследуем и того, кто спрашивает, то есть меня самого, и того, кто отвечает» (Протагор. 333с).
Формы логического мышления 239
деляет законы правильного мышления, и эти правила верны. Следовательно, в нашем примере вариант в) («сам силлогизм не работает») исключен, и остается только отказаться либо от «одному противоположно только одно», либо от того, что «мудрость есть нечто иное, чем рассудительность».
Приведенный пример доказывает, что Платон сознательно и легко использовал логические размышления в философских дис куссиях. То же самое можно сказать об использовании логики в «Меноне» — В. Йегер говорит о «высокой степени логической сознательности Платона повсюду в "Меноне", что особенно под тверждается множеством технических выражений»124. Такая логика отличается строгостью и неопровержимостью, хотя часто она не вызвала у слушателей одобрения, но порождала неприятные ощущения и даже ярость125.
А сейчас рассмотрим один текст из «Менона», чтобы увидеть особенную роль, которую играли предположения16 как в математи ке, так и в философии. В отличие от разговора Сократа с молодым слугой, который мы обсуждали в параграфе 3.7, пример, который мы рассматриваем здесь, дан в сокращенной форме:
Как видно, придется исследовать, каково то, о чем мы не знаем, что оно такое. Но все же выпусти меня из-под своей власти хоть на самую малость и позволь исследовать, можно ли научиться добродетели или приобрести ее каким-либо еще путем, исходя из некоей предпосылки. Когда я говорю «исходя из предпосылки», я имею в виду то же, что часто
Jaeger. Paideia. 2. S. 234.
О «двойном лице» эленхуса — эленхус как метод сократического лукавства и иронии и как путь, пробуждающий любопытство, см. работу: Robinson. Plato's Earlier Dialectic, особенно главу 2. Иногда кажется, что слушатели тоже чувствовали какую-то неправильность в аргументации, но не могли точно сказать, в чем она состоит. См. об этом: параграф. 4.3 наст, изд., особенно цитату из Ницше.
Греческое слово ύπόθεσις означает в русском переводе «предположение». Можно также сказать «гипотеза» или «предпосылка». Об истории этого слова см.: Gaiser. Piatons Menon und die Akademie. S. 358-365.