Доказательство (логика)
[править]
Материал из Википедии — свободной энциклопедии
У этого термина существуют и другие значения, см. Доказательство.

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

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

Доказательство — это совокупность логических приемов обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений. Доказательство связано с убеждением, но не тождественно ему: доказательства должны основываться на данных науки и общественно-исторической практики, убеждения же могут быть основаны, например, на религиозной вере в догматы церкви, на предрассудках, на неосведомлённости людей в вопросах экономики и политики, на видимости доказательности, основанной на различного рода софизмах.
[править] Структура доказательства

||
Основу доказательства составляют следующие положения:

Тезис — утверждение, истинность которого надо доказать
Аргументы и факты — это те истинные суждения, которыми пользуются при доказательстве тезиса
Демонстрация (форма доказательства) — способ обоснованной логической связи между утверждаемым тезисом и аргументами

[править] Виды доказательства

Доказательства по форме делятся на прямые и (косвенные).

Прямое доказательство идет от рассмотрения аргументов к доказательству утверждаемого тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.

Непрямое (Косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:

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

В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.