Логика

Обычно доказательство протекает в очень сокращенной форме.

Видя чистое небо, мы заключаем: "Погода будет хорошей". Это доказательство, но до предела сжатое. Опущено общее утверждение: "Всегда, когда небо чистое, погода будет хорошей". Опущена также посылка: "Небо чистое". Оба эти утверждения очевидны, их незачем произносить вслух.

Встретив идущего по улице человека, мы отмечаем: "Обычный прохожий". За этой констатацией опять-таки стоит целое рассуждение. Но оно настолько обычное и простое, что протекает почти неосознанно.

Писатель В.В.Вересаев приводит такой отзыв одного генерала о неудачном укреплении, которое построил его предшественник: "Я узнаю моего умного предшественника. Если человек большого ума задумает сделать глупость, то сделает такую, какой все дураки не выдумают". Это рассуждение — обычное доказательство, заключение которого опущено. Наши разговоры полны доказательств, но мы их почти не замечаем.

Старая латинская пословица говорит: "Доказательства ценятся по качеству, а не по количеству". В самом деле, дедукция из истины дает только истину. Если найдены верные аргументы и из них дедуктивно выведено доказываемое положение, доказательство состоялось, и ничего более не требуется.

Нередко в понятие доказательства вкладывается более широкий смысл: под доказательством понимается любая процедура обоснования истинности тезиса, включающая как дедукцию, так и индуктивное рассуждение, ссылки на связь доказываемого положения с фактами, наблюдениями и т. д. Расширительное истолкование доказательства является обычным в гуманитарных науках. Оно встречается и в экспериментальных, опирающихся на наблюдения рассуждениях.

Как правило, широко понимается доказательство и в обычной жизни. Для подтверждения выдвинутой идеи активно привлекаются факты, типичные в определенном отношении явления и т. п. Дедукции в этом случае, конечно, нет, речь может идти только об индукции. Но тем не менее предлагаемое обоснование нередко называют доказательством.

Широкое употребление понятия "доказательство" само по себе не ведет к недоразумениям. Но только при одном условии. Нужно постоянно иметь в виду, что индуктивное обобщение, переход от частных фактов к общим заключениям, дает не достоверное, а лишь вероятное знание.

Определение доказательства включает два центральных понятия логики: понятие истины и понятие логического следования.

Оба эти понятия не являются в достаточной мере ясным и, значит, определяемое через них понятие доказательства также не может быть отнесено к ясным.

Многие утверждения не являются ни истинными, ни ложными, т. е. лежат вне "категории истины". Оценки, нормы, советы, декларации, клятвы, обещания и т. п. не описывают каких-то ситуаций, а указывают, какими они должны быть, в каком направлении их нужно преобразовать. От описаний требуется, чтобы они соответствовали действительности и являлись истинными. Удачный совет, приказ и т. п. характеризуется как эффективный или целесообразный, но не как истинный. Высказывание "Вода кипит" истинно, если вода действительно кипит; команда же "Вскипятите воду!" может быть целесообразной, но не имеет отношения к истине. Очевидно, что оперируя выражениями, не имеющими истинностного значения, можно и нужно быть и логичным и доказательным. Встает, таким образом, вопрос о существенном расширении понятия доказательства, определяемого в терминах истины. Им должны охватываться не только описания, но и утверждения типа оценок или норм. Задача переопределения доказательства пока не решена ни логикой оценок ни деонтической (нормативной) логикой. Это делает понятие доказательства не вполне ясным по своему смыслу.

Не существует, далее, единого понятия логического следования. Логических систем, претендующих на определение этого понятия, в принципе бесконечно много. Ни одно из имеющихся в современной логике определений логического закона и логического следования не свободно от критики и от того, что принято называть "парадоксами логического следования".