Состав доказательства и опровержения. Виды доказательств и опровержений

Развитие научного знания непрерывно сопровождается развитием логики доказательств и опровержений. Последняя способствует не только обоснованию истинности нашего мышления, но и рождению новых творческих идей. С точки зрения логики, различие между истиной и ложью состоит в том, что истина может быть доказана, а ложь — нет. В любом доказательстве лжи, как истины, всегда лежит конкретная ошибка. Доказательство является формой нашего убеждения в истине, формой утверждения истины в борьбе против различного рода заблуждений.

Учение о доказательстве и опровержении представляет собой весьма сложный и разветвленный раздел логики. Способы доказательства и опровержения интенсивно развиваются применительно к запросам конкретных наук. В математических науках разрабатываются свои принципы и способы доказательства, основывающиеся главным образом на развитии дедуктивных теорий. В естественных науках применяются методы доказательства тесно связанные с развитием вероятностной логики. Свои особенности имеет доказательство и в общественных науках. Поэтому можно утверждать, что единой теории доказательства, применяемой во всех науках, не существует.

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

Опровержение в своей сущности является тоже доказательством. Если доказательство как логический процесс предполагает обоснование истинности суждения, то опровержение есть процесс обоснования ложности суждения.

В состав как доказательства, так и опровержения входят: а) тезис (суждение, истинность которого требуется доказать); б) аргументы, или основания (истинные суждения, из которых следует тезис) и в) демонстрация (умозаключение, связывающее аргументы с тезисом). Доказательства и опровержения делятся на прямые (истинность тезиса непосредственно вытекает из аргументов) и косвенные (истинность тезиса следует из устанавливаемой ложности суждения, находящегося в противоречащем отношении с тезисом).