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