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

Тезис – суждение, которое

обосновывается в процессе доказательства.

Демонстрация – логическая связь между
аргументом и тезисом.


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

Т

a1, a2, a3…,an

Роды

Виды

Подтверждение тезиса

Опровержение тезиса

Прямое

Косвенное

Прямое

Косвенное

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

а1
а2



аn



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

Т

антитезиса или других конкурирующих с тезисом допущений.

Виды

Апагогическое
Разделительное

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

– антитезиса.

наличии тезиса (Т) выдвигается антитезис(┐Т)
б) условно антитезис (┐Т)

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

┐Т

Т

С1 С2 … Сn

p q n

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

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

┐Т→С1 ┐ С1

┐ ┐Т

Т

тезиса, выступающего членом дизъюнкции, путём установления ложности и исключения

всех других конкурирующих членов дизъюнкции.
< Т, или В, или C>
не В и не С
Следовательно, есть Т
(Отрицающе-утверждающий модус)

ПРАВИЛО: дизъюнктивное суждение должно быть закрытым (полным)

ПУТЁМ УСТАНОВЛЕНИЯ ЛОЖНОСТИ ИЛИ НЕОБОСНОВАННОСТИ ТЕЗИСА.
Способы опровержения

тезис



демонстрация


аргумент

Т

a1, a2, a3…,an

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

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

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

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

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

2
3
4
Правила
Ошибки
Достоверность аргументов
1. Принятие

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

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

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

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

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

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

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

правила применяемых умозаключений
2. Неоправданный логический переход от узкой области

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

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

2

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

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

1

Ошибка

Правило