7.1. Доказательство и опровержение

Несмотря на то что доказательство и аргументация яв-ляются весьма близкими понятиями, их нельзя считать тождественными. Аргументация — более широкое понятие, поскольку является таким способом рассуждения, который включает в себя как доказательство, так и опровержение.

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

Разделительное доказательство строится из опровержения всех членов дизъюнкции кроме одного, например:
Чемпионом студенческой спартакиады мог стать либо А., либо В., либо С.
Известно, что не стали чемпионами ни А., ни В.
Чемпионом стал С.
В апагогическом косвенном доказательстве (от греч. apagoge — вывод) вывод об истинности тезиса делается путем опровержения противоречащего ему суждения (антитезиса) посредством выведения из последнего такого заключения, которое является ложным. Следовательно, ложное заключение свидетельствует о ложности антитезиса, что, в свою очередь, удостоверяет истинность тезиса. Это выведение называется «приведением к абсурду».
Опровержение — это обоснование ложности определенного суждения. Опровержение высказывания есть доказательство его отрицания.
Суждение, которое пытаются опровергнуть, в логике называют тезисом опровержения.
Высказывания, с помощью которого опровергают данный тезис, называют аргументами опровержения.
Существует три способа опровержения: 1) опровержение тезиса (прямое и косвенные); 2) критика аргументов; 3) выявление несостоятельности демонстрации.
При опровержении тезиса можно использовать следующие два способа: опровержение фактами и сведение к абсурду.
Доказывается ложность или несостоятельность аргументов, выдвинутых оппонентом в процессе обоснования своей позиции.
Демонстрируются ошибки в форме доказательства, например, когда между тезисом и приведенными аргументами нет логической связи. В этом случае тезис так и остается не доказанным оппонентом.

<< | >>

↑

Источник: Гуляихин В.Н., Васильев О.Н.
. Учебно-методический комплекс «Логика»: Учебно-методическое пособие для студентов гуманитарных факультетов / Науч. ред. А.А. Хачатрян. — Волгоград: Изд-во ВолГУ,2003. — 124 с.. 2003

Еще по теме 7.1. Доказательство и опровержение: