Логика: краткий теоретический курс. Веревичев И.И. - 88 стр.

UptoLike

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

Рубрика: 

87
(а¹, а², а³, … аⁿ) Т, где аргумент - а, тезис – Т, демонстрация “ “.
Прямое доказательство используется тогда, когда возможно вывести
истинность тезиса через истинность более общего основания: эмпирического
обобщения, научной теории, закона, принципа или правового требования. В
случае, когда это невозможно или нецелесообразно, используют приемы
косвенного доказательства.
6. Косвенное доказательство
Косвенное доказательство это разновидность аргументации, в которой
истинность тезиса обосновывается с использованием допущений, не
согласуемых с тезисом. Различают два вида косвенного доказательства:
апагогическое и разделительное.
Апагогическое доказательство основано на методе “рассуждения от
противного”, когда установление истинности тезиса опирается на логическую
процедуру обоснования ложности антитезиса. Именно логическое
противопоставление антитезиса тезису играет исключительно важную
познавательную роль: на основании закона об исключенном третьем вывод о
ложности антитезиса признается достаточным для утверждения истинности
самого тезиса.
Напомним, что антитезисом может быть только противоречащее
тезису суждение. Например, антитезисом для общеутвердительного суждения
(А): “Все студенты грамотные люди” должно быть контрадикторное, т.е.
противоречащее ему частноотрицательное суждение (O): “Некоторые студенты
не являются грамотными людьми”. Следует помнить, что довольно часто в
качестве антитезиса общим суждениям ошибочно принимают суждения,
находящиеся с ними в отношении контрарности, а не контрадикторности, а
также за антитезис частным атрибутивным суждениям ошибочно принимают
не противоречащие им, а субконтрарные суждения. Правильно построенный
антитезис важнейшее условие успешности апагогического доказательства.
Иначе возможны ситуации, о которых предупреждал мудрец Конфуций: “Не
следует искать черную кошку в темной комнате, заранее зная, что ее там нет”.
Антитезисом единичного суждения является противоположное ему по
качеству единичное суждение. К примеру, если тезис - суждение “Карфаген
должен быть разрушен”, то антитезисом будет его отрицание “Карфаген не
должен быть разрушен”.
В логической структуре апагогического доказательства выделяют
следующие этапы:
1) формулирование и выдвижение антитезиса;
2) условное принятие истинности антитезиса и выведение из него
логических следствий;