По виду отношений аргументов и антитезиса (или по направленности рассуждения) выделяют опровержения трёх видов: (1) прямые (путём обоснования антитезиса), (2) сведение к абсурду и (3) разделительное. Рассмотрим эти три вида более подробно.
Прямое опровержение — это опровержение, в котором ложность тезиса следует непосредственно из истинности аргументов без каких-либо дополнительных допущений.
Примером прямого опровержения тезиса “Обвиняемый не наносил удар” может служить следующее рассуждение: “Нанесший смертельный удар обладает огромной силой. Обвиняемый не обладает огромной силой. Следовательно, обвиняемый не наносил удар”. В данном примере демонстрация представляет собой простой категорический силлогизм, а именно, его вторую фигуру, то есть дедуктивное рассуждение, в котором ложность тезиса следует из истинности аргументов. Схема этого рассуждения имеет следующий вид:
(А1) Н.У. а О.О.С.
(А2) О. е О.О.С.
(Т) О. е Н.У.
Общая же схема прямого опровержения имеет следующий вид:
А1. . . . . . . . . . . . . Аn
ØТ
Сведение к абсурду — это опровержение, в котором из аргументов и тезиса выводится противоречие, на основании чего утверждается о ложности тезиса.
Примером сведения к абсурду может служить следующее рассуждение: “Допустим, что поджог совершил А. (Т). Установлено, что Б. принимал участие в поджоге (А1), а также, что поджог мог совершить только один из А., Б. или В. (А2). Из А1 и Т следует, что А. и Б. вместе совершили поджог. Но это противоречит аргументу А2. Следовательно наше допущение Т неверно, то есть неверно, что А совершил поджог (ØТ)”. Схема этого рассуждения имеет следующий вид:
А.С.П. (Т) Б.С.П. (А1) А.С.П. º Б.С.П. º В.С.П. (А2)
А.С.П. & Б.С.П. Ø(А.С.П. & Б.С.П.)
(А.С.П. & Б.С.П.) & Ø(А.С.П. & Б.С.П.)
ØА.C.П (ØТ)
Общая же схема сведения к абсурду имеет следующий вид:
А1. . . . . . . . . . . . . Аn, Т
В & ØВ
ØТ
Разделительное опровержение — это опровержение, демонстрация которого представляет собой утверждающе-отрицающий модус разделительно-категорического силлогизма. То есть доказывается какое-либо суждение, несовместимое с тезисом. На основании этого делается вывод о ложности тезиса.
Примером разделительного опровержения суждения может служить следующее рассуждение: “В компьютерной лаборатории работали А., Б. и В., после чего из неё исчез CD-диск. Следовательно, его похитил один из А., Б. или В. (А1). Установлено, что хищение совершил Б. (А2). Следовательно, А. к хищению не причастен (ØТ)”. Схема этого рассуждения имеет следующий вид:
А.П.Д. º Б.П.Д. º В.П.Д. (А1)
Б.П.Д. (А2)
ØА.П.Д. (ØТ)
Общая же схема разделительного опровержения имеет следующий вид:
А1 º . . . . . . . . º Аn º Т
Аm (n ³ m ³ 1)
ØТ