Логика даёт нам средства, содействующие открытию истины, выведению новых, ранее неизвестных положений, установлению новых, ранее неизвестных фактов (правила суждений и умозаключений). Одних логических средств для открытия истины недостаточно, но они необходимы (см. главу III). Когда же мы пришли к какому-либо заключению, установили определенное положение, логика даёт нам средства проверки правильности этого положения. Одной логической проверки выводов также недостаточно, правильность наших выводов проверяется опытом, практикой, но необходимо и логическое обоснование наших утверждений, их доказательство. Таким образом, логика применяется не только для проверки результатов уже законченного мыслительного процесса, но и для того, чтобы сам процесс мышления протекал правильно. Иными словами, логика нам нужна и тогда, когда мы ищем истину, и тогда, когда мы проверяем истинность выводов, доказываем, что то, что нами найдено, есть действительно истина.
Из этого вытекает решение вопроса о месте доказательств в логике. В логике доказательство — это защита истинного тезиса и опровержение ложного. Следовательно, логическое доказательство применяется лишь после того, как тезис был выставлен, сформулирован и остается лишь обосновать его истинность, убедиться самим и убедить других в его истинности или ложности. Очевидно, доказательства не исчерпывают всей логики, не покрывают всего её содержания, а составляют лишь часть логики. Но очевидно и то, что та часть логики, которая посвящена доказательствам, есть не только очень важная, но и завершающая часть логики: мы искали истину, мы думаем, что её нашли, но мы убедимся в том, что это истина, и убедим других в этом лишь тогда, когда докажем, что тот вывод, к которому мы пришли, это действительно истина, а не ложь, не заблуждение.
Но, отметив это важное значение формально-логического доказательства, необходимо указывать и на его ограниченную роль в научном исследовании соответственно ограниченной роли самой формальной логики, о чем подробно было сказано в главе III настоящей книги.
При исследовании предметов, явлений действительности в их движении, развитии, внутренних противоречиях, которые в них обнаруживаются, т. е. при исследовании явлений природы и общества путём применения диалектического метода, формально-логическое доказательство оказывается недостаточным. Энгельс писал: «Простое доказывание отступает здесь решительно на второй план в сравнении с многообразным применением этого метода к новым областям исследования»[99].
Подобно тому как формально-логическое определение (дефиниция) представляет лишь краткую, подытоживающую формулу, а подлинным определением является, по выражению Энгельса, «развитие самого существа дела» (см. главу V, § 6), формально-логическое доказательство также есть лишь завершающее обоснование достигнутых нашим исследованием результатов, аргументация в пользу истинности (или ложности) того или иного научного положения. Но полностью доказать истину, добытую диалектическим путём, можно лишь всем ходом научного исследования, всем многообразным применением диалектического метода к новым областям исследования, а это выходит за пределы формальной логики и относится к области логики диалектической.