Упражнение 6. Сформулируйте несколько тезисов, аргументируйте их, исполь­зуя дедуктивную и индуктивную форму обоснования

Сформулируйте несколько тезисов, аргументируйте их, исполь­зуя дедуктивную и индуктивную форму обоснования, аналогию и со­кращенный силлогизм.

6.2. Виды обоснования тезиса

Различают два вида обоснования тезиса: прямое, в котором тезис обосновывается аргументами без использования противоречащих те­зису допущений, и косвенное, в котором истинность тезиса обосновы­вается с использованием противоречащего тезису допущения (анти­тезиса).

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

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

а) выдвигается допущение (антитезис) (ГГ), противоречащее ис­ходному тезису (Т), условно принимаемое за истинное;

б) из допущения (1Т) выводятся логически вытекающие из него следствия: 1Т — > С_и С₂, С₃... С„;

в) при сопоставлении с фактами делается заключение о ложно­сти следствий (одного, нескольких или всех): C_t*Fu C₂*F₂;

6.2. Виды обоснования тезиса

г) из ложности следствий заключают о ложности допущения

TlT д) из ложности допущения (Т! Т) заключаем об истинности тезиса:

<TvTt>,T1t

Разделительным обоснованием называют косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления лож­ности и исключения всех других членов дизъюнкции. Доказательст­во строится по схеме:

а) выявляются члены дизъюнкции (Т, В, С);

б) с помощью аргументов обосновывается ложность всех членов дизъюнкции, кроме Т: ai —> 1 В, а₂ -> 1 С;

в) на основании ложности членов дизъюнкции (1В и 1 С) делает­ся заключение об истинности Т. Рассуждение протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения:

11

(См. учебник, гл. X, § 3.)