Интуиционистская и многозначная логика

«Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит»,

«Сократ — человек; человек — не то же самое, что Сократ; значит, Сократ — это нечто иное, чем Сократ»,

«Этот пес твой; он является отцом; значит, он твой отец»?

А чего стоит такое, допустим, «доказательство»: «Для того чтобы видеть, нет необходимости иметь глаза, так как без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет, поэтому ясно, что глаза не являются необходимыми для зрения»! Или такое неожиданное «заключение»: «Но когда говорят: «камни, бревна, железо», то ведь это — молчащие, а говорят»!

Софизм «Рогатый» стал знаменитым еще в Древней Греции. И сейчас он кочует из энциклопедии в энциклопедию в качестве «образцового». С его помощью можно уверить каждого, что он рогат: «Что ты не терял, то имеешь; рога ты не терял; значит, у тебя рога».

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

170

Софизм как умышленный обман

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

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

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

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

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

171

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

Недостатки стандартного истолкования софизмов

Таково стандартное истолкование софизмов, подкупающее своей простотой. За ним стоит многовековая традиция. Однако, несмотря на кажущуюся очевидность, слишком многое оно оставляет недосказанным и неясным.

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

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

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

Когда были сформулированы первые софизмы, о правилах логики не было известно. Говорить в этой ситуации об умышленном нарушении законов и правил логики можно только с натяжкой. Тут что-то, другое. Ведь несерьезно предполагать, что с помощью софизма «Рогатый» можно убедить человека, что он рогат. Сомнительно также, что с помощью софизма «Лысый» кто-то надеялся уверить окружающих, что лысых людей нет. Невероятно, что софистическое рассуждение способно заставить кого-то поверить, что его отец — пес. Речь здесь, очевидно, идет не о «рогатых», «лысых» и т.п., а о чем-то совершенно ином и более значительном. И как раз, чтобы подчеркнуть это обстоятельство, софизм формулируется так, что его заключение является заведомо ложным, прямо и резко противоречащим фактам.

Возникновение софизмов обычно связывается с философией софистов (Древняя Греция, V—IV вв. до

172

новой эры), которая их обосновывала и оправдывала. Однако софизмы существовали задолго до философов-софистов, а наиболее известные и интересные были сформулированы позднее в сложившихся под влиянием Сократа философских школах. Термин «софизм» впервые ввел Аристотель, охарактеризовавший софистику как мнимую, а не действительную мудрость. К софизмам им были отнесены и апории Зенона, направленные против движения и множественности вещей, и рассуждения собственно софистов, и все те софизмы, которые открывались в других философских школах. Это говорит о том, что софизмы не были изобретением одних софистов, а являлись скорее чем-то обычным для многих школ античной философии.

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

Широкую распространенность софизмов в Древней Греции можно понять, только предположив, что они как-то выражали дух своего времени и являлись одной из особенностей античного стиля мышления.

Отношения между софизмами и парадоксами — еще одна тема, не получающая своего развития в рамках обычного истолкования софизмов.

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

Однако очевидно, что грань между софизмами и парадоксами не является сколь-нибудь определенной. В случае многих конкретных рассуждений невозможно решить на основе стандартных определений софизма и парадокса, к какому из этих двух классов следует отнести данные рассуждения.

Отделение софизмов от парадоксов является настолько неопределенным, что о целом ряде конкретных рассуждений нередко прямо говорится как о софизмах, не являющихся пока парадоксами или не относимых еще к парадоксам. Так обстоит дело, в частности, с рассматриваемыми далее софизмами «Медимн зерна», «Покрытый», «Протагор и Еватл» и целым рядом других.

Уже из одних общих соображений ясно, что с софизмами дело обстоит далеко не так просто, как это

173

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

§ 2. Апории Зенона

Обратимся теперь к конкретным софизмам и тем проблемам, которые стоят за ними.

Знаменитые рассуждения древнегреческого философа Зенона «Ахиллес и черепаха», «Дихотомия» и др., называемые обычно апориями (затруднениями), были направлены будто бы против движения и существования многих вещей. Сама идея доказать, что мир — это одна-единственная и к тому же неподвижная вещь, нам сегодня кажется странной. Странной она казалась и древним. Настолько странной, что доказательства, приводившиеся Зеноном, сразу же были отнесены к простым уловкам, причем лишенным в общем-то особой хитрости. Такими они и считались две с лишним тысячи лет, а иногда считаются и теперь. Посмотрим, как они формулируются, и обратим внимание на их внешнюю простоту и незамысловатость.

«Ахиллес и черепаха», «Дихотомия»

Самое быстрое существо не способно догнать самое медленное, быстроногий Ахиллес никогда не настигнет медлительную черепаху. Пока Ахиллес добежит до черепахи, она продвинется немного вперед. Он быстро преодолеет и это расстояние, но черепаха уйдет еще чуточку вперед.

И так до бесконечности. Всякий раз, когда Ахиллес будет достигать места, где была перед этим черепаха, она будет оказываться хотя бы немного, но впереди.

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

Это рассуждение можно несколько переиначить. Чтобы пройти половину пути, предмет должен пройти

174

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

Этим простеньким на вид рассуждениям посвящены сотни философских и научных работ. В них десятками разных способов доказывается, что допущение возможности движения не ведет к абсурду, что наука геометрия свободна от парадоксов и что математика способна описать движение без противоречия.

Обилие опровержений доводов Зенона показательно. Не вполне ясно, в чем именно состоят эти доводы, что они доказывают. Не ясно, как это «что-то» доказывается и есть ли здесь вообще доказательство? Чувствуется только, что какие-то проблемы или затруднения все-таки есть. И прежде чем опровергать Зенона, нужно выяснить, что именно он намеревался сказать и как он обосновывал свои тезисы. Сам он не формулировал прямо ни проблем, ни своих решений этих проблем. Есть, в частности, только коротенький рассказ, как Ахиллес безуспешно пытается догнать черепаху.

Извлекаемая из этого описания мораль зависит, естественно, от того более широкого фона, на котором оно рассматривается и меняется с изменением этого фона.

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

Общность этих рассуждений с другими софизмами древних несомненна. И те и другие имеют форму краткого рассказа или описания простой в своей основе ситуации, за которой не стоит как будто никаких особых проблем. Однако описание преподносит явление так, что оно оказывается явно несовместимым с устоявшимися представлениями о нем. Между этими обычными представлениями о явлении и описанием его в апории или софизме возникает резкое расхождение, даже противоречие. Как только оно замечается, рассказ теряет видимость простой и безобидной констатации. За ним открывается неожиданная и неясная глубина, в которой смутно угадывается какой-то вопрос или даже многие вопросы. Трудно сказать с определенностью, в чем именно состоят эти вопросы, их еще предстоит уяснить и сформулировать, но очевидно, что они есть. Их надо извлечь из рассказа подобно тому, как извле-

175

кается мораль из житейской притчи. И как в случае притчи, результаты размышления над рассказом важным образом зависят не только от него самого, но и от того контекста, в котором этот рассказ рассматривается. В силу этого вопросы оказываются не столько поставленными, сколько навеянными рассказом. Они меняются от человека к человеку и от времени к времени. И нет полной уверенности в том, что очередная пара «вопрос — ответ» исчерпала все содержание рассказа.

Апория «Meдимн зерна»

Зенон предложил еще один софизм — «Медимн зерна» (примерно мешок зерна), послуживший прототипом для знаменитых софизмов Евбулида «Куча» и «Лысый».

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

В прошлом веке начала складываться экспериментальная психология. «Медимн зерна» стал истолковываться как первое неясное указание на существование только что открытых порогов восприятия. Это истолкование многим кажется убедительным и сегодня.