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