3. Аргументы не должны противоречить друг другу
. Одновременное утверждение или отрицание чего-либо означает их взаимное уничтожение и, следовательно, лишает их функции быть основаниями доказательства. Это, однако, не значит, что не нужно учитывать все доводы — как за, так и против. Тут налицо разные вещи.4. Каждый из аргументов должен быть необходим, а все вместе достаточны для обоснования данного тезиса
. Иначе говоря, в доказательстве не должно быть ничего упущенного (недостающего) и ничего излишнего. Взятое девизом приложения в данной книге выражение древних: «Sapienti sat» («Умному достаточно») как раз и подчеркивает одну из сторон этого правила.Правила по отношению к способу (форме) доказательства
. Поскольку связь оснований с тезисом осуществляется в форме умозаключений — дедуктивных, индуктивных и традуктивных, то правила доказательства по отношению к способу (форме) доказательства, по существу, сводятся к правилам этих типов умозаключений. Главное правило здесь состоит в том, что тезис должен с логической необходимостью следовать из оснований, как вывод из посылок.Важно подчеркнуть, что все приведенные правила действуют лишь в совокупности, в ансамбле. Нарушение хотя бы одного из них обесценивает все доказательство.
2. Ошибки в доказательстве
В процессе доказательства допускается, пожалуй, больше, чем где-либо, логических ошибок. И это вполне естественно. Ведь доказательство — более сложная, чем все остальные, форма мышления, включающая и понятия, и суждения, и умозаключения. Поэтому допускаемые в них ошибки проявляются и в доказательстве. Но есть и специфические именно для доказательства ошибки. Они непосредственно связаны с нарушением его собственных правил, а поэтому тоже относятся ко всем компонентам доказательства — тезису, основаниям и способу (форме).
Ошибки по отношению к тезису
. Наиболее распространенной и типичной ошибкой является «подмена тезиса» (от лат. ignoratio elenchi — буквально: незнание опровержения). Она связана с нарушением правил определенности и тождественности тезиса. Проявляется эта ошибка в том, что вместо одного тезиса, который требовалось доказать, так или иначе доказывают другой. По поводу подобных случаев в народе говорят: «Начал за здравие, а кончил за упокой». В дискуссиях, спорах и т. п. эта ошибка нередко проявляется в том, что предмет спора не уточнен и каждый доказывает свое. Поэтому сами споры оказываются бесплодными.В остро сатирической форме эту логическую ошибку высмеял в свое время А. Пушкин: «У одного из наших известных писателей спрашивали, зачем не возражал он никогда на критики. Критики не понимают меня, отвечал он, а я не понимаю моих критиков. Если будем судиться перед публикою, вероятно, и она нас не поймет. Это напоминает старинную эпиграмму:
Глухой глухого звал к суду судьи глухого,Глухой кричал: моя им сведена корова.Помилуй, возопил глухой тому в ответ,Сей пустошью владел еще покойный дед.Судья решил: почто ж идти вам брат на брата:Не тот и не другой, а девка виновата»[35].В пьесе А. Чехова «Три сестры» Соленый спорит с доктором, уверяя, что чехартма — это баранина, а доктор с не меньшим упорством заявляет, что черемша — это лук. Оба спорщика горячатся, д к согласию никак прийти не могут. В таких случаях говорят: «Я ему про Фому, а он мне про Ерему» или: «Я ему про Ивана, а он мне про Селивана».
Если подмена тезиса заходит слишком далеко, уводит совершенно в другую область, то эта ошибка называется «переход в другой род
» (от греч. metabasis eis alio genos). Например, доказательства из юридической сферы переносятся в моральную и вместо незаконности, противоправности деяния вдруг начинают обосновывать его аморальность или, наоборот, высокую нравственность подсудимого. Вот как блестяще воспользовался подобной логической ошибкой один российский прокурор. После часового выступления адвоката, который рассуждал о достоинствах и высоком моральном уровне подсудимого, прокурор произнес, пожалуй, самую короткую речь: «Да, он хороший человек, но попался»[36].Ошибки по отношению к основаниям доказательства
. Одна из таких ошибок — «основное заблуждение» (error fundamentalis). Она связана с нарушением правила истинности аргументов и сводится к тому, что ложный аргумент принимается за истинный. А из ложных посылок вывода делать нельзя.