30. Энтимема. Способы образования и проверки энтимем.

Энтимема — сокращённый силлогизм, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.

Иногда к энтимеме прибегают нарочно, желая получить неожиданное заключение. Эффект остроумия в значительной степени зависит от энтимемы.

В теории аргументации энтимема образована из неполно приведённого аргумента, недостающие части которого подразумеваются очевидными.

Виды энтимем

• С пропущенной большей посылкой

• С пропущенной меньшей посылкой

• С пропущенным заключением

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

Восстановление происходит в несколько шагов:

1. Нужно определить, что пропущено: посылка или заключение. (Как правило, бывает пропущена одна из посылок)

2. Определив заключение, можно тем самым определить меньший и больший термины силлогизма.

3. На основе имеющихся терминов и одной посылки можно определить средний термин.

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

5. Восстановить полный силлогизм и проверить его по правилам силлогизма.

30. Условно – категорические умозаключения, их использование при аргументации.

Условно-категорическим называется умозаключение, одна из посылок которого является условным суждением, а другая посылка и вывод — категорическими суждениями. Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи. Первое суждение есть основание (антецедент), а второе — следствие (консеквент).

Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens, то есть устанавливающий, утверждающий, конструктивный модус; второй называется modus tolens, то есть разрушающий, отрицающий, деструктивный модус.

Конструктивный модус имеет следующий вид.

Если A есть B, то C есть D;

A есть B;

Следовательно, C есть D.

Например:

Если Земля вращается вокруг Солнца, то происходит смена дня и ночи;

Земля вращается вокруг Солнца;

Следовательно, происходит смена дня и ночи.

В условно-категорическом умозаключении в конструктивном модусе утверждается антецедент.

Это правило связано с тем, что при несовместимых суждениях-антецедентах, одно из которых ложно, возможно истинное заключение: если Земля вращается вокруг Солнца, то происходит смена дня и ночи, если Солнце вращается вокруг Земли, то происходит смена дня и ночи, поэтому нельзя сделать заключение: *происходит смена дня и ночи, следовательно, Земля вращается вокруг Солнца.

Деструктивный модус имеет следующий вид.

Если A есть B, то C есть D;

C не есть D;

Следовательно, A не есть B.

В условно-категорическом умозаключении в деструктивном модусе отрицается консеквент.

При отрицании следствия любой из возможных в принципе альтернативных антецедентов окажется ложным: если смены дня и ночи не происходит, то Земля не вращается вокруг Солнца и Солнце не вращается вокруг Земли.

Если человек есть мера всех вещей, то принципы нравственности условны;

Принципы нравственности не условны;

Следовательно, человек не есть мера всех вещей.

Рассмотрим, однако, следующие умозаключения, которые иногда подводят преподавателя:

Если студент слушает лекции, то он приобретает необходимые познания;

Студент N слушал лекции;

Следовательно, он приобрел необходимые познания.

Или:

Если студент слушает лекции, то он приобретает необходимые познания;

Студент N не приобрел необходимых познаний;

Следовательно, он не слушал лекции.

Понятно, что оба они могут оказаться ложными, ибо не всякий, кто слушает лекции, понимает их.

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

Итак, доказательным (при условии истинности большей посылки) будет следующее рассуждение:

Если и только если студент слушает лекции, он приобретает необходимые познания;

Студент N не приобрел необходимых познаний;

Следовательно, он не слушал лекций.

Условно-категорические умозаключения широко используются как в обыденном мышлении, так и в научном рассуждении. Особое значение они имеют в юридической теории и практике как способ выдвижения и обоснования юридических версий и доказательств. Допустим, мы хотим обосновать некую версию В. Значит, нам надо найти несомненный факт А, из которого В следует, а далее рассуждать по modus pones. Тем более важно знать правильные схемы таких умозаключений.

(стр.127 учебника)