Как избежать логических ошибок в доказательствах

 

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

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

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

Одна ученица в ответ на вопрос, нужно ли изучать географию, написала следующее:

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

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

Такую же подмену тезиса делает другая ученица в сочинении на тему «Народность творчества Гоголя». Все сочинение посвящено тому, чтобы показать, что Гоголь очень красочно изобразил ночь над Днепром и вообще украинскую природу, что в этом проявляется любовь самого Гоголя к природе, любовь эта объясняется тем, что Гоголь родился и вырос среди украинской природы. Ясно, что доказать любовь писателя к природе — это совсем не то, что доказать народность его творчества.

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

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

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

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

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

А. Книгу, которая нам нужна, могут до завтра продать, так что пойдем в книжный магазин сегодня.

Б. Нет, ее продать не могут.

На следующий день книга оказалась непроданной, По этому поводу Б. замечает: «Вот видишь, а ты говорил, что ее продадут».

Тот факт, что книгу не продали, опровергает утверждение «книгу обязательно продадут». Но А. утверждал только, что книгу могут продать, и это утверждение фактом наличия книги не опровергается. Утверждая обратное, Б. подменяет один тезис другим.

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

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

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

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

 

Рис. 9

 

Рис. 10

 

Рис. 11

 

Ошибка, связанная с неистинностью аргументов, носит название «основного заблуждения», то есть заблуждения, лежащего в основании. Ее иногда бывает трудно обнаружить в связи с тем, что трудно выделить самые аргументы. Аргумент маскируется, упоминается мимоходом, благодаря чему маскируется и логическая ошибка. Так было замаскировано одно из неправильных исходных положений в доказательстве того, что 441 см 2 = 442 см 2. В этом доказательстве исходят из того, что если сложить вместе прямоугольную трапецию (рис. 9) и прямоугольный треугольник (рис. 10), то получится прямоугольный треугольник, то есть сторона «a» треугольника будет продолжением стороны «b» трапеции (рис. 11). Но этот аргумент вовсе не очевиден. Мало того, при указанных в задаче размерах он является ложным. Если бы треугольник и трапеция соответствовали данным размерам, то от их сложения получился бы не треугольник, а четырехугольник (рис. 12). При тех размерах, которые даны в задаче, разница оказывается настолько незначительной (в конечном итоге — всего лишь 1 см 2), что заметить ошибку на чертеже почти невозможно. Но с логической точки зрения тот факт, что при рассуждении исходили из положения, истинность которого не проверена, делает все доказательство неправильным.

 

Рис. 12

 

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

«Роман „Поднятая целина“ Шолохов посвятил коллективизации сельского хозяйства в деревне. Роман говорит о социальной перестройке казачества, о переходе на новую жизнь. В этом романе Шолохов показал образы коммунистов в дни перехода деревни на новую жизнь, а также крестьянина-середняка, вступившего на путь социалистического строительства.

Таким образом, роман „Поднятая целина“ представляет собой наиболее значительное произведение в советской литературе, посвященное новой деревне в эпоху ее коллективизации». Истинны ли приводимые здесь аргументы? Безусловно. Однако доказательство неправильно. Тезис остается недоказанным, несмотря на истинность аргументов. Можно написать книгу о социалистической перестройке казачества, о переходе к новой жизни, дать образы коммунистов, показать середняка, и при всем этом книга может оказаться примитивной, малохудожественной и совсем не заслуживающей того, чтобы назвать ее самым значительным произведением советской литературы, посвященным коллективизации.

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

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

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

Образцом такой же нелогичности является рассуждение философов-лилипутов в произведении Свифта «Путешествие Лемюэля Гулливера»:

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

Частным случаем ошибки «не следует» является так называемый «аргумент к человеку», когда доказывают не по существу выдвигаемого положения, а ссылаются на личные качества человека. Нередко можно встретить, например, такого рода рассуждения: «Говорят, что А. не талантливый художник, что он пишет посредственные картины. Это неправда: А. — человек, вышедший из народа; он прошел всю гражданскую войну; у него множество других положительных качеств…» Ясно, что все это совсем не доказывает, что А. — талантливый художник.

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

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

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

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

Рассмотрим такое доказательство:

Тезис: некоторые слова, не изменяющиеся по временам, обозначают признак предмета.

Аргументы:

1. Все прилагательные обозначают признак предмета.

2. Ни одно прилагательное не является словом, изменяющимся по временам.

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

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

Следовательно, совпадение вывода с тезисом случайно, тезис по существу не обоснован.

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

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