Ошибка в доказательстве — вещь довольно обычная. Проводя доказательства, мы опираемся на нашу логическую интуицию, на стихийно усвоенное знание законов логики. Как правило, оно нас не подводит. Но в отдельных и особенно в сложных случаях оно может оказаться ненадежным.
Эксперименты, проводившиеся психологами, показывают, что едва ли не каждое четвертое наше умозаключение не опирается на закон логики, а значит, является неправильным. Логику редко изучают специально. Навыки логичного, т. е. последовательного и доказательного, мышления формируются и совершенствуются в практике рассуждений. Но, как заметил английский философ Ф. Бэкон, упражнения, не просветленные теорией, с одинаковым успехом закрепляют как правильное, так и ошибочное.
Наше логическое чутье и наши навыки доказательства не так безупречны, как это часто кажется. Полезно поэтому не упускать случая, чтобы их усовершенствовать.
Провести четкую границу удается только тогда, когда известно не только то, что охватывается ею, но и то, что остается за ее пределами. Ясное понимание доказательства предполагает, помимо прочего, определенное представление о рассуждениях, имеющих форму доказательства, но на самом деле им не являющихся. Такие «несостоявшиеся доказательства» — результат ошибок, допущенных — непреднамеренно или сознательно — в ходе доказательства. Знакомство с наиболее типичными из них способствует совершенствованию практических навыков доказательства и позволяет лучше понять, что представляет собой «безошибочное» доказательство.
