Способы опровержения
Опровержение
Виды доказательства
1. Прямое доказательство - идёт от рассмотрения аргументов к доказательству тезиса.
2. Косвенное доказательство - устанавливает справедливость тезиса тем, что вскрывает ошибочность противоречащего ему допущения - антитезиса - на основании закона исключённого третьего. Примером может служить доказательство от противного в математике.
Опровержение - логическая операция, направленная на разрушение доказательства путём установления ложности или необоснованности ранее выдвинутого тезиса.
Опровержение имеет ту же структуру, что и доказательство:
1. Тезис опровержения (антитезис);
2. Аргументы опровержения (контраргументы);
3. Демонстрация - логическая связь между антитезисом и контраргументами.
1. Опровержение тезиса:
а) опровержение фактами;
б) установление ложности или противоречивости следствий, вытекающих из тезиса (в том числе,"сведение к абсурду");
в) опровержение тезиса через доказательство антитезиса (косвенное опровержение).
2. Критика аргументов. При этом, выявление ложности аргументов не означает ложности тезиса.
3. Выявление несостоятельности демонстрации. Обнаружив логические ошибки в ходе демонстрации, мы опровергаем её, но не тезис.
Нередко встречается особая форма опровержения, так называемая неявная оппозиция, или пассивное сопротивление, когда оппонент по каким-то мотивам прямо не приводит противоположных тезисов и аргументов, но и не соглашается с оппонентом, выражает сомнение.
1. Подмена тезиса (полная или частичная), или логическая диверсия.
2. "Доводы к человеку" (уход от существа дела).
3. Переход в другой род - "кто много доказывает, тот ничего не доказывает; кто мало доказывает, тот ничего не доказывает" - нарушение соразмерности, достаточности оснований.
4. "Основное заблуждение" - принятие за истину ложного аргумента.
5. "Предвосхищение основания" - приведение аргументов, которые предполагают истинность тезиса, а не обосновывают его.
6. "Круг в доказательстве" или "порочный круг" - тезис обосновывается аргументами, которые, в свою очередь, опираются на этот тезис как на аргумент.
7. "Мнимое следование" - "послеэтого, значит вследствие этого".
8. "От сказанного с условием к сказанному безусловно" (неоправданный логический переход к более широкой области). Примером может служить критика материалистами непорочного зачатия.
Если ошибка в рассуждении допущена непреднамеренно, то она называется паралогизмом. Преднамеренная ошибка называется софизмом. Самые известные из них - "Рога", "Эватл", "Брадобрей" и т.д.
Рассуждение, доказывающее как истинность, так и ложность некоторого суждения с соблюдением всех формально-логических законов, называется парадокс. Самые знаменитые парадоксы - апории Зенона, "Лжец", "Куча", антиномии И. Канта, парадокс Б. Рассела.