Доказательство и опровержение

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

Допустим, кто-то рассуждает так: «Если я навещу дядю, он подарит мне фотоаппарат, когда дядя подарит мне фотоаппарат, я продам его и куплю велосипед: значит, если я навещу дядю, я продам его и куплю велосипед».

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

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

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

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

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

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

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

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

Вот, к примеру, рассуждение, внешне напоминающее доказательство: 

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

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

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

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

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

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

Речь шла о том, что для нашего ума мир неподвижен. Диоген же своим хождением пытался подтвердить другую мысль: в чувственно воспринимаемом мире движение есть. Но это и не оспаривалось. Автор мнения, что движения нет, считал, что чувства, говорящие о множественности вещей и их движении, просто обманывают нас.

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

Ошибки в отношении аргументов

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

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

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

Почему мы видим через стекло? Обычный ответ: оно прозрачно. Но назвать вещество прозрачным – значит сказать, что сквозь него можно видеть. 

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

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

Да ведь мы просто это же самое спрашиваем. Лишение земли и орудий труда и есть порабощение. Ведь это ответ: усыпляет, потому что обладает снотворной силой».  

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

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

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

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

Нетрудно заметить, что в софизме «рогатый» обыгрывается двусмысленность выражения «то, что не терял». Иногда оно означает «то, что имел и не потерял», а иногда просто «то, что не потерял, независимо от того, имел или нет». В посылке «Что ты не терял, то имеешь» оборот «то, что ты не терял» должен означать «то, что ты имел и не потерял», иначе эта посылка окажется ложной. Но во второй посылке это значение уже не проходит: высказывание «Рога – это то, что ты имел и не потерял» является ложным.

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

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

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

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

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

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

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

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

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

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

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