Структура, виды и правила доказательства – это элементы логического действия, позволяющие путем осуществления над понятиями, суждениями и умозаключениями совокупности логических операций показать истинное значение высказываний.
В структуре доказательств можно выделить следующие части:
Все доказательство подчиняется тезису, именно его подтверждение или опровержение является главной целью рассуждений. Формулировать тезис не обязательно в начале доказательства – сделать это можно и позже. Тезис может быть оформлен по-разному:
Различают простые и сложные доказательства. Сложное доказательство (в отличие от простого) имеет не только основной тезис, но и частные тезисы.
Под основным тезисом понимают положение, которому подчиняется обоснование нескольких других положений.
Под частным тезисом понимают положение, превращающееся в тезис только потому, что оно используется для доказательства основного тезиса.
Когда частный тезис доказан, он начинает играть роль аргумента для обоснования основного тезиса.
Чтобы доказать тезис, нужно привести суждения, достаточные для обоснования истинности (а в некоторых случаях – ложности) выдвинутого тезиса. При доказательстве тезиса в качестве аргументов могут использоваться любые истинные мысли, связанные с тезисом, обосновывающие его.
Основными видами аргументов являются:
И тезис, и аргументы по логической форме являются суждениями. Не будучи связаны между собой, они не составляют доказательство. Аргументы наполняются смыслом в ходе вывода из них тезиса. Процесс, в рамках которого из аргументов выводят тезис, - это демонстрация, всегда выражающаяся в форме умозаключения (отдельного умозаключения или их цепочки).
В зависимости от целенаправленности различают подтверждение и опровержение тезиса. В зависимости от способа аргументации различают прямые и косвенные доказательства. В случае с прямым доказательством истинность или ложность тезиса выводится непосредственно из основания с соблюдением определенных правил. В случае с косвенным доказательством обосновывают ложность или истинность положения, связанного с тезисом – это позволяет установить истинность или ложность тезиса.
В соответствии с приведенными основаниями классификации можно выделить четыре вида доказательств:
Убеждающая сила рассуждения во многом определяется также рациональным сочетанием подтверждения и опровержения, способствующим достижению в каждом конкретном случае несомненных, объективно-истинных результатов.
Существуют правила, относящиеся к каждому из элементов доказательства. По отношению к тезису действуют следующие правила:
По отношению к аргументам действуют следующие правила:
Главное правило по отношению к демонстрации – соблюдение всех условий правильного построения умозаключения.
Нередко при доказательстве логические приемы подменяют уловками, например:
Подобные приемы недопустимы с точки зрения науки логики и лежат за пределами ее предмета.