Текст книги "По законам логики"

Автор книги: Александр Ивин

ВОЗМОЖНЫЕ МИРЫ

Законы логики, подобно всем иным научным законам, являются универсальными и необходимыми.

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

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

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

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

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

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

В чем источник непреложности логических законов? Как можно объяснить своеобразие необходимости, присущей им?

Одним из наиболее известных объяснений является теория возможных миров. Ее связывают обычно с именем Г. Лейбница, хотя она сложилась в основных своих чертах до него. По идее Г. Лейбница, есть бесконечное множество миров, каждый из которых мог бы существовать. Действительный мир, в котором находимся мы сами, только один из этих возможных. Он, однако, наилучший из них, и именно поэтому бог, доброта которого беспредельна, сделал его существующим.

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

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

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

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

О возможных мирах говорит А. Вознесенский в стихотворении «Антимиры»:

 
Живет у нас сосед Букашкин,
Бухгалтер цвета промокашки, Но, как воздушные шары,
Над ним горят
Антимиры!
И в них, магический, как Демон,
Вселенной правит, возлежит,
Антибукашкин, академик,
И щупает Лоллобриджид…
 

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

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

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

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

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

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

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

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

Теория возможных миров – даже в этом упрощенном и схематичном ее изложении – является хорошим средством для прояснения смысла логической необходимости.

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

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

Глава 6 СОФИЗМЫ

СОФИЗМ – ИНТЕЛЛЕКТУАЛЬНОЕ МОШЕННИЧЕСТВО!

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

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

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

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

Или такое неожиданное «заключение»: «Но когда говорят: «камни, бревна, железо», то ведь это – молчащие, а говорят»!

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

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

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

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

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

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

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

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

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

Таково стандартное истолкование софизмов.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

АПОРИИ ЗЕНОНА

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

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

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

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

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

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

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

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

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

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