Суждения, подлежащие оптимизации.
Методы оптимизации охватывают все типы умозаключений (для примера достаточно было бы привести условно-разделительно-категорический трехпосылочный сорит). Очень показательны сориты из полилемм, лежащие в основе многих психологических задач: «Если человек моет и без того чистую машину, то он собирается либо к девушке, либо на важную деловую встречу. Если он берет с собой цветы, то он либо собирается к девушке, либо на кладбище. Он моет машину и берет цветы – значит, собирается к девушке».
Из причины 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 остается |
И имеет фигуру:
Но из-за своей самоочевидности не имеет практической ценности и приведена лишь для демонстрации возможности смены типа высказывания. Первая из этих схем, в частности, соответствует отрицающему модусу условного силлогизма.
Более практично обратное действие – превращение категорического суждения в условное. Благодаря такому приему, один из уже приводившихся категорических силлогизмов превращается в рассуждение: «Логика помогает правильно формулировать мысль и, если какое-то суждение сформулировано неправильно, то ему не хватает логики», являющееся одновременно и сложным высказыванием, и отрицающим модусом условного силлогизма.
Есть логика → есть правильная формулировка Правильной формулировки нет
Нет и логики |
?