Ошибки в доказательстве

 

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

Такие ошибки многообразны РїРѕ сути. Рассмотрим наиболее характерные Рё часто встречающиеся.

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

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

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

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

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

Вот примеры такого круга.

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

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

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

• в качестве аргументов следует использовать только истинные утверждения;

• их истинность должна устанавливаться независимо от тезиса;

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

Последнее требование показывает, что принцип «Чем больше аргументов, тем лучше» не всегда оправдывает себя. Дело не в количестве доводов, а в их силе и их связи с отстаиваемым тезисом. Если последний вытекает из одного-единственного истинного положения, то оно вполне достаточно для его доказательства. Как говорит уже упоминавшаяся латинская пословица: «Доказательства ценятся по качеству, а не по количеству».

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

Тезис может сужаться, и в таком случае доказывается, как говорят, «слишком мало», сам тезис остаётся недоказанным.

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

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

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

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

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

РЁРёСЂРѕРєСѓСЋ известность получил случай СЃ древнегреческим философом Диогеном, которого однажды, как РіРѕРІРѕСЂРёС‚ предание, Р·Р° подмену тезиса РІ СЃРїРѕСЂРµ даже побили. Его оппонент утверждал, что РІ РјРёСЂРµ, как РѕРЅ представляется нашему мышлению, движение невозможно. Р’ качестве возражения Диоген встал Рё начал РЅРµ спеша ходить. Подмена тезиса была очевидной. Речь шла Рѕ том, что для человеческого СѓРјР° РјРёСЂ неподвижен. Диоген же своей С…РѕРґСЊР±РѕР№ пытался подтвердить РґСЂСѓРіСѓСЋ мысль: РІ чувственно воспринимаемом РјРёСЂРµ движение есть. РќРѕ это Рё РЅРµ оспаривалось. Сторонник идеи, что движения нет, считал, что чувства, свидетельствующие Рѕ противоположном, просто обманывают нас. Разумеется, мнение, будто движения нет, ошибочно, как ошибочна идея, что чувства РЅРµ дают нам правильного представления Рѕ РјРёСЂРµ. РќРѕ раз обсуждалось такое мнение, нужно было говорить Рѕ нем, Р° РЅРµ Рѕ чем-то РёРЅРѕРј, хотя Р±С‹ Рё верном.

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

Неправильным является, в частности, рассуждение: «Если страна развитая, она имеет многопартийную политическую систему; в Англии многопартийная политическая система; значит, Англия – развитая страна». Заключение является верным, но оно не следует из принятых посылок. Нельзя рассуждать по схеме: «если есть первое, то есть и второе; есть второе; значит, есть первое». Эта схема не представляет собой закона логики и не обеспечивает истинности следствия при истинных посылках.

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

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

6. Софизмы

 

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

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

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

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

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

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

Нетрудно заметить, что РІ софизме «рогатый» обыгрывается двусмысленность выражения «то, что РЅРµ терял». Иногда РѕРЅРѕ означает «то, что имел Рё РЅРµ потерял», Р° РёРЅРѕРіРґР° просто «то, что РЅРµ потерял, независимо РѕС‚ того, имел или нет». Р’ посылке «Что ты РЅРµ терял, то имеешь» РѕР±РѕСЂРѕС‚ «то, что ты РЅРµ терял» должен означать «то, что ты имел Рё РЅРµ потерял», иначе эта посылка окажется ложной. РќРѕ РІРѕ второй посылке это значение уже РЅРµ РїСЂРѕС…РѕРґРёС‚: высказывание В«РРѕРіР° – это то, что ты имел Рё РЅРµ потерял» является ложным.

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