15.5. Прямое доказательство

Довольно часто в учебниках логики понятие «доказательство» подменяется понятием «аргументация». Однако понятие «аргументация» значительно шире по объему, так как заключает в себе одновременно и процедуру доказательства и процедуру опровержения. Доказательство — разновидность аргументации, направленная на подтверждение истинности тезиса логическими доводами. В широком смысле слова доказательство представляет собой любой способ уяснения оснований, по которым известное суждение считается истинным. В более узком смысле под доказательством понимают интеллектуальную операцию, удостоверяющую истинность или ложность утверждений. В большинстве случаев на практике для этого достаточно вероятностных схем обоснования вывода. Однако в рамках строгого логического доказательства сутью доказательства становится качество самой процедуры доказывания — логического приведения утверждения к очевидности. Само доказательство не конструирует истину в суждении — оно лишь подтверждает факт ее наличия: констатация истины — главная цель доказательства. Средства доказательства — весь арсенал логических правил, форм и законов правильного мышления. Особенность логической формы доказательства — демонстративное (но не вероятностное) рассуждение. Краткое и верное определение доказательства предложено В. П. Малаховым: «Доказательство — это умозаключение об умозаключении».

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

Схема прямого доказательства:

(а¹, а², а³, ... аⁿ) Т, где аргумент — а, тезис — Т, демонстрация «--->».

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