Доказательство. Логическая операция

1. Доказательство

2
Оппонент
1
ПРОПОНЕНТ
3
Аудитория
Доказательство –
это логическая
операция обоснования истинности какого-либо
суждения с помощью других истинных и
связанных с ним суждений.
Субъекты доказательства.

2. Логическая структура доказательства.

Т
Тезис – суждение, которое
обосновывается в процессе
доказательства.
Демонстрация – логическая связь между
аргументом и тезисом.
a1, a2, a3…,an
Аргументы – исходные положения, с
помощью которых обосновывается
тезис.

3. Виды аргументов

Суждение о фактах
Законы науки
Аксиомы
Ранее доказанные
Определения
обобщения.

4. Виды доказательств

Роды
Подтверждение тезиса
Опровержение тезиса
Виды
Прямое
Косвенное
Прямое
Косвенное

5. Прямое доказательство

– это доказательство, в котором тезис
обосновывается аргументами без использования противоречащих
тезису аргументов.
Структура
а1
а2
аn
Задача при прямом подтверждении тезиса состоит в поисках убедительных
аргументов, из которых логически вытекает тезис

6. Косвенное доказательство

Косвенным называют обоснование
тезиса путём установления ложности
антитезиса или других
конкурирующих с тезисом
допущений.
Виды
Апагогическое
Разделительное

7. Апагогическое доказательство

– это доказательство, в
котором обоснование тезиса осуществляется путём
установления ложности противоречащего ему
допущения – антитезиса.

8. Этапы апагогического доказательства

1 этап
┐Т
С1
С2
…
Сn
а) при наличии тезиса (Т) выдвигается
антитезис(┐ Т)
б) условно антитезис (┐ Т) признается
истинным
в) из антитезиса выводятся следствия
(С1, С2…Сn)
2 этап
p
q
┐Т→С1 ┐ С1
┐ ┐Т
Т
n
а) выведенные из антитезиса следствия (С1,
С2…Сn) сопоставляются с истинными
положениями. ( p, q, n)
б) при несовместимости следствий (С1) с
истинными положениями (p) признается
ложность следствий
3 этап
а) из ложности следствий (С1)
заключают о ложности антитезиса (┐Т)
б) из ложности антитезиса утверждается
истинность тезиса (Т)

9. Разделительное доказательство

Разделительное подтверждение тезиса –
это косвенное обоснование тезиса,
выступающего членом дизъюнкции, путём
установления ложности и исключения всех
других конкурирующих членов
дизъюнкции.
< Т, или В, или C>
не В и не С
Следовательно, есть Т
(Отрицающе-утверждающий модус)
ПРАВИЛО: дизъюнктивное
закрытым (полным)
суждение должно быть

10. Опровержение Опровержением называется логическая операция, направленная на разрушение доказательства путём установления ложности или н

Способы опровержения
Т
КРИТИКА ТЕЗИСА
Прямое
Косвенное
опровержение
опровержение
тезис
Критика демонстрации
демонстрация
Критика аргументов
аргумент
a , a , a …,a
1
2
3
n

11. Правило и ошибки доказательств по отношению к тезису

Правило
1. Определённость тезиса
Ошибки
1.
2.
3.
2. Неизменность тезиса.
1.
2.
Нечёткость
формулировки тезиса.
Не выявлен смысл
употребляемых терминов
Не проведён анализ
суждения, в форме
которого выставлен
тезис.
Потеря тезиса
Подмена тезиса

12. Правила и ошибки по отношению к аргументам

13. Правила и ошибки по отношению к демонстрации.

Правило
1
2
Ошибка
Наличие логической связи
аргументов с тезисом
«Мнимое следствие» - тезис с
логической необходимостью не
следует из аргументов
Соблюдение общих правил
соответствующих
умозаключений
1. Нарушены правила
применяемых умозаключений
2. Неоправданный логический
переход от узкой области к более
широкой
3. Переход от сказанного в
определённом отношении к
сказанному безотносительно к
чему бы то ни было

14.

Сферы жизни российского
общества
А1
Духовная
А2
Политическая
А3
Социальная
Необходимо сохранить
преемственность политикоэкономического курса в
России
А4
Экономическая