Какова проблематика логической теории доказательства? Логика отвлекается от конкретного содержания доказательств в каждой отдельной области практики или науки. Доказательство исследуется в ней лишь со стороны формы: рассматривается логическая
Однако и в этом качестве рассматриваемая тема имеет огромное значение. В ней раскрывается сложный механизм одной из очень важных логических процедур, которая широко применяется не только в науках, но и при обсуждении практических вопросов, в особенности юридических (и прежде всего судебных).
Глава I. Общая характеристика доказательства
Выше, говоря об истинности и ложности суждений, мы отмечали, что установление того и другого не составляет труда лишь в простых случаях: нередко это сложный и длительный процесс. Добавим теперь, что в этом случае он принимает главным образом форму доказательства.
1. Доказательство и всеобщая обусловленность предметов
Логическая возможность доказательства связана и с наличием недоказываемых истин, имеющих отправной, исходный характер. Их отсутствие сделало бы процесс доказательства бесконечным, а, следовательно, неосуществимым.
«... Для того чтобы убедить, требуется (какое-нибудь) доказательство»[32]
, — утверждал еще Аристотель.Помимо социальной, есть причины и гносеологического (теоретико-познавательного) порядка. Если бы все истины носили самоочевидный характер, то надобности в доказательстве не было бы. В действительности лишь сравнительно немногие из них являются самоочевидными и поэтому не требуют доказательств. Прежде всего это истины
Это, далее,
Это, наконец,
Громадное же большинство истин не столь очевидно и, следовательно, предполагает доказательство. В противном случае не было бы необходимости в науке, ибо наука без доказательства не существует.
Конечно, грань между недоказываемыми и доказываемыми положениями подвижна, условна, относительна. Так, с одной стороны, с ростом человеческих знаний растет и число аксиом, а с другой — наука всемерно стремится сузить их число, доказать, по крайней мере, некоторые из них. Например, в геометрии неоднократно предпринимались попытки вывести логическим путем из других аксиому Евклида о двух параллельных прямых. Любопытно, что таким образом была создана неевклидова геометрия, где эта аксиома отсутствует. «Во всех делах, — говорил Б. Рассел, — полезно периодически ставить знак вопроса к тому, что Вы с давних пор считали не требующим доказательства».
Само собой разумеется, что доказательство истинности одних суждений предполагает доказательство ложности других, а нередко прямо вытекает из него. Ведь истина и ложь находятся в отношении взаимного отрицания.
Всем этим определяется
Обращает на себя внимание, что не все логики считают доказательство «формой мышления». Одни называют его «логической процедурой», другие — «логической операцией», третьи — «совокупностью приемов мышления».