(3Д) Виды опровержения.

По виду отношений аргументов и антитезиса (или по направленности рассуждения) выделяют опровержения трёх видов: (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)

Т