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

Август 10, 2022

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

Содержание

2. ЛОГИЧЕСКАЯ СТРУКТУРА ДОКАЗАТЕЛЬСТВА. Тезис – суждение, которое обосновывается в процессе доказательства. Демонстрация – логическая связь между
3. ВИДЫ АРГУМЕНТОВ Суждение о фактах Ранее доказанные обобщения. Определения Законы науки Аксиомы
4. ВИДЫ ДОКАЗАТЕЛЬСТВ Роды Виды Подтверждение тезиса Опровержение тезиса Прямое Косвенное Прямое Косвенное
5. ПРЯМОЕ ДОКАЗАТЕЛЬСТВО Прямое доказательство – это доказательство, в котором тезис обосновывается аргументами без использования противоречащих тезису
6. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО Косвенным называют обоснование тезиса путём установления ложности антитезиса или других конкурирующих с тезисом допущений.
7. АПАГОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО Апагогическое доказательство – это доказательство, в котором обоснование тезиса осуществляется путём установления ложности противоречащего
8. ЭТАПЫ АПАГОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА 1 этап а) при наличии тезиса (Т) выдвигается антитезис(┐Т) б) условно антитезис (┐Т)
9. РАЗДЕЛИТЕЛЬНОЕ ДОКАЗАТЕЛЬСТВО Разделительное подтверждение тезиса – это косвенное обоснование тезиса, выступающего членом дизъюнкции, путём установления ложности
10. ОПРОВЕРЖЕНИЕ ОПРОВЕРЖЕНИЕМ НАЗЫВАЕТСЯ ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, НАПРАВЛЕННАЯ НА РАЗРУШЕНИЕ ДОКАЗАТЕЛЬСТВА ПУТЁМ УСТАНОВЛЕНИЯ ЛОЖНОСТИ ИЛИ НЕОБОСНОВАННОСТИ ТЕЗИСА. Способы
11. ПРАВИЛО И ОШИБКИ ДОКАЗАТЕЛЬСТВ ПО ОТНОШЕНИЮ К ТЕЗИСУ
12. ПРАВИЛА И ОШИБКИ ПО ОТНОШЕНИЮ К АРГУМЕНТАМ №/п 1 2 3 4 Правила Ошибки Достоверность аргументов
13. ПРАВИЛА И ОШИБКИ ПО ОТНОШЕНИЮ К ДЕМОНСТРАЦИИ. 1. Нарушены правила применяемых умозаключений 2. Неоправданный логический переход
15. Скачать презентацию

Слайд 2

ЛОГИЧЕСКАЯ СТРУКТУРА ДОКАЗАТЕЛЬСТВА.

Тезис – суждение, которое обосновывается в процессе доказательства.
Демонстрация

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

a1, a2, a3…,an

Слайд 3

ВИДЫ АРГУМЕНТОВ
Суждение о фактах
Ранее доказанные
обобщения.
Определения
Законы науки
Аксиомы

Слайд 4

ВИДЫ ДОКАЗАТЕЛЬСТВ
Роды
Виды
Подтверждение тезиса
Опровержение тезиса
Прямое
Косвенное
Прямое
Косвенное

Слайд 5

ПРЯМОЕ ДОКАЗАТЕЛЬСТВО
Прямое доказательство – это доказательство, в котором тезис обосновывается аргументами

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

Слайд 6

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО
Косвенным называют обоснование тезиса путём установления ложности антитезиса или других

конкурирующих с тезисом допущений.
Виды

Апагогическое

Разделительное

Слайд 7

АПАГОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО
Апагогическое доказательство – это доказательство, в котором обоснование тезиса осуществляется

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

Слайд 8

ЭТАПЫ АПАГОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА
1 этап
а) при наличии тезиса (Т) выдвигается

антитезис(┐Т)
б) условно антитезис (┐Т) признается истинным
в) из антитезиса выводятся следствия (С1, С2…Сn)

┐Т

С1 С2 … Сn

p q n

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

3 этап
а) из ложности следствий (С1) заключают о ложности антитезиса (┐Т)
б) из ложности антитезиса утверждается истинность тезиса (Т)

┐Т→С1 ┐ С1

┐ ┐Т

Слайд 9

РАЗДЕЛИТЕЛЬНОЕ ДОКАЗАТЕЛЬСТВО
Разделительное подтверждение тезиса – это косвенное обоснование тезиса, выступающего членом

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

Слайд 10

ОПРОВЕРЖЕНИЕ ОПРОВЕРЖЕНИЕМ НАЗЫВАЕТСЯ ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, НАПРАВЛЕННАЯ НА РАЗРУШЕНИЕ ДОКАЗАТЕЛЬСТВА ПУТЁМ УСТАНОВЛЕНИЯ ЛОЖНОСТИ

ИЛИ НЕОБОСНОВАННОСТИ ТЕЗИСА.

Способы опровержения
тезис
демонстрация
аргумент

a1, a2, a3…,an

Прямое опровержение

Косвенное опровержение

КРИТИКА ТЕЗИСА

Критика демонстрации

Критика аргументов

Слайд 11

ПРАВИЛО И ОШИБКИ ДОКАЗАТЕЛЬСТВ ПО ОТНОШЕНИЮ К ТЕЗИСУ

Слайд 12

ПРАВИЛА И ОШИБКИ ПО ОТНОШЕНИЮ К АРГУМЕНТАМ
№/п
1
2
3
4

Правила

Ошибки

Достоверность аргументов

1. Принятие за истину ложонго аргумента 2. Предвосхищение основания

Автономное обоснавание аргументов

Круг в демонстрации

Непротиворечивость аргументов

Ссылка на противоречащие друг другу практические обстоятельства

Достаточность аргументов

1. Слишком широкое или поспешное обосновние тезиса. 2. Чрезмерное доказательство

Слайд 13

ПРАВИЛА И ОШИБКИ ПО ОТНОШЕНИЮ К ДЕМОНСТРАЦИИ.
1. Нарушены правила применяемых умозаключений
2.

Неоправданный логический переход от узкой области к более широкой
3. Переход от сказанного в определённом отношении к сказанному безотносительно к чему бы то ни было

Соблюдение общих правил соответствующих умозаключений
2

«Мнимое следствие» - тезис с логической необходимостью не следует из аргументов

Наличие логической связи аргументов с тезисом
1

Ошибка

Правило

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

Содержание

ЛОГИЧЕСКАЯ СТРУКТУРА ДОКАЗАТЕЛЬСТВА. Тезис – суждение, которое обосновывается в процессе доказательства.Демонстрация

ВИДЫ АРГУМЕНТОВСуждение о фактахРанее доказанные обобщения.ОпределенияЗаконы наукиАксиомы

ВИДЫ ДОКАЗАТЕЛЬСТВ Роды ВидыПодтверждение тезисаОпровержение тезисаПрямоеКосвенноеПрямоеКосвенное

ПРЯМОЕ ДОКАЗАТЕЛЬСТВОПрямое доказательство – это доказательство, в котором тезис обосновывается аргументами

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВОКосвенным называют обоснование тезиса путём установления ложности антитезиса или других

АПАГОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВОАпагогическое доказательство – это доказательство, в котором обоснование тезиса осуществляется

ЭТАПЫ АПАГОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА1 этап а) при наличии тезиса (Т) выдвигается

РАЗДЕЛИТЕЛЬНОЕ ДОКАЗАТЕЛЬСТВОРазделительное подтверждение тезиса – это косвенное обоснование тезиса, выступающего членом