Суждения, подлежащие оптимизации.

Методы оптимизации охватывают все типы умозаключений (для примера достаточно было бы привести условно-разделительно-категорический трехпосылочный сорит). Очень показательны сориты из полилемм, лежащие в основе многих психологических задач: «Если человек моет и без того чистую машину, то он собирается либо к девушке, либо на важную деловую встречу. Если он берет с собой цветы, то он либо собирается к девушке, либо на кладбище. Он моет машину и берет цветы – значит, собирается к девушке».

Из причины A следует отрицание B. Возможно существование лишь таких причин, как A или C. Следствием обнаружено наличие B (значит, оно не отрицалось, а, стало быть, не было A) Значит, имеет место C

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

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

Этот же сорит можно представить в виде дилеммы:

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

при сокращении дающий сорит, идентичный исходному:

Подобные метаморфозы с некатегорическими суждениями обусловлены возможностью превращения любого высказывания в категорическое. Например, две посылки: «Если A, то B» и «Не-B» превращается в «Наличие A всегда обусловливает B» и «B не обусловлено A» из которых вытекает самоочевидное следствие: «A не существовало». Схема этого двухтерминового умозаключения такова:

Наличие P обусловливает M M не обусловлено P P отсутствует

;

P отрицает M M удовлетворяет претензиям P (отсутствует) P остается

И имеет фигуру:

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

Более практично обратное действие – превращение категорического суждения в условное. Благодаря такому приему, один из уже приводившихся категорических силлогизмов превращается в рассуждение: «Логика помогает правильно формулировать мысль и, если какое-то суждение сформулировано неправильно, то ему не хватает логики», являющееся одновременно и сложным высказыванием, и отрицающим модусом условного силлогизма.

Есть логика → есть правильная формулировка Правильной формулировки нет Нет и логики

?

Дата добавления: 2015-09-06