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