Логика. Учебное пособие. Тимофеев А.И. - 69 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

69
отрицание (
a
) будет антитезисом, т. е. противоречащим тезису суж
дением; антитезисом для тезиса а в суждении а. . . в. . . с служат сужде
ния в и с.
Поэтому в зависимости от этого различия косвенные доказатель
ства делятся на два вида: доказательство “от противного” (апаго
гическое) и разделительное доказательство (методом исключения).
1. Апагогическое доказательство осуществляется путем уста
новления ложности противоречащего тезису суждения. Вначале
для этого выдвигается антитезис и выводятся из него все возмож
ные следствия. Затем следствия сопоставляются с положениями,
истинность которых установлена. Если следствия противоречат
истинным положениям, то они считаются ложными. Из ложности
следствий следует ложность антитезиса по (modus tollens) и, соот
ветственно, истинность тезиса. Правда, это может быть только в
том случае, если тезис и антитезис находятся в отношениях про
тиворечия.
2. Разделительное доказательство (методом исключения) – это
такое косвенное обоснование тезиса, когда он является членом дизъ
юнкции и его истинность доказывается путем установления ложно
сти и исключения всех остальных членов дизъюнкции по (modus
tollens ponens).
Преступление совершил либо А, либо Б, либо С.
Доказано, что не совершали преступление ни А, ни Б.
Следовательно, преступление совершил С.
Истинность тезиса устанавливается путем последовательного до
казательства ложности всех членов разделительного суждения, кро
ме одного.
Разделительное обоснование возможно лишь в том случае, если
дизъюнктивное суждение будет полным или закрытым, т. е. учиты
вает все возможные версии.
6.3. Понятие опровержения
Опровержение – логическая операция, направленная на разруше
ние доказательства путем установления ложности или необоснован
ности ранее выдвинутого тезиса.
Суждение, которое надо опровергнуть, называется тезисом опро
вержения. Суждения, с помощью которых опровергается тезис, на
зываются аргументами опровержения.
Существуют три способа опровержения тезиса: 1) опровержение
(прямое и косвенное); 2) критика аргументов; 3) выявление несосто
ятельности демонстрации.

Страницы