Прямое опровержение — это опровержение, в котором ложность тезиса следует непосредственно из истинности аргументов без каких-либо дополнительных допущений.

Примером прямого опровержения тезиса “Обвиняемый не наносил удар” может служить следующее рассуждение: “Нанесший смертельный удар обладает огромной силой. Обвиняемый не обладает огромной силой. Следовательно, обвиняемый не наносил удар”. В данном примере демонстрация представляет собой простой категорический силлогизм, а именно, его вторую фигуру, то есть дедуктивное рассуждение, в котором ложность тезиса следует из истинности аргументов. Схема этого рассуждения имеет следующий вид:

(А1) Нанесший удар обладает огромной силой.

(А2) Обвиняемый не обладает огромной силой

(не Т) Обвиняемый не наносил удар

Общая же схема прямого опровержения имеет следующий вид:

А1............. Аn

ØТ

(4в2) Сведение к абсурду

При сведении к абсурду вводится добавочное допущение – тезис. Затем из аргументов и тезиса выводится противоречие. На основании этого делается вывод о ложности тезиса.

Примером сведения к абсурду может служить следующее рассуждение: “Допустим, что поджог совершил А. (Т). Установлено, что Б. принимал участие в поджоге (А1), а также, что поджог мог совершить только один из А., Б. или В. (А2). Из А1 и Т следует, что А. и Б. вместе совершили поджог. Но это противоречит аргументу А2. Следовательно наше допущение Т неверно, то есть неверно, что А совершил поджог (ØТ)”. Схема этого рассуждения имеет следующий вид:

А.С.П. (Т) Б.С.П. (А1) А.С.П. º Б.С.П. º В.С.П. (А2)

А.С.П. & Б.С.П. Ø(А.С.П. & Б.С.П.)

(А.С.П. & Б.С.П.) & Ø(А.С.П. & Б.С.П.)

ØА.C.П (ØТ)

Общая же схема сведения к абсурду имеет следующий вид:

А1............. Аn, Т

В & ØВ

ØТ

(4в3) Разделительное опровержение

Разделительное опровержение — это опровержение, демонстрация которого представляет собой утверждающе-отрицающий модус разделительно-категорического силлогизма. То есть доказывается какое-либо суждение, несовместимое с тезисом. На основании этого делается вывод о ложности тезиса.

Примером разделительного опровержения суждения может служить следующее рассуждение: “В компьютерной лаборатории работали А., Б. и В., после чего из неё исчез CD-диск. Следовательно, его похитил один из А., Б. или В. (А1). Установлено, что хищение совершил Б. (А2). Следовательно, А. к хищению не причастен (ØТ)”. Схема этого рассуждения имеет следующий вид:

А.П.Д. º Б.П.Д. º В.П.Д. (А1)

Б.П.Д. (А2)

ØА.П.Д. (ØТ)

Общая же схема разделительного опровержения имеет следующий вид:

С1 º........ º Сn º Т

Сm (n ³ m ³ 1)

ØТ

Дата добавления: 2015-07-15