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

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

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

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

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

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

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

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

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

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

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

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

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

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