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