Например, известен факт: "Преступник "А" посажен в тьюрьму". А также
существует непреложный закон: "Если преступник "А" ограбил банк и его
схватили, то он окажется в тюрьме".
Из этого факта и аксиомы можно сделать индуктивный вывод, что имели
место ограбление банка преступником "А" и его поимка.
На самом же деле преступника "А" никто не не смог поймать - он сам
пришел с повинной, что украл у бабушки сумочку с кефиром, когда переводил
ее через дорогу. За что его немножко посадили. А тюрьма - лучшее место
спрятать от правосудия и логиков другой факт: ""А" ограбил банк". Кстати,
банк, в действительности, ограбил "B", а "А" - убил бабушку.
МОДАЛЬНАЯ ЛОГИКА позволяет различать "возможность" и "необходимость".
"Ваня ездит на мерседесе" - это "необходимо", так как в данном случае это
имеет характер физического закона, поскольку препятствовавшие этому были
уничтожены физически.
"Ваня читает книгу" - это "возможно", поскольку Ваня уважает
"Декамерон", но профессиональное занятие рэкетом оставляет мало свободного
времени для культурного роста. Так что "Ваня читает книгу" может быть
истинным или ложным, но "Возможно, что Ваня читает книгу" будет всегда
истинным.
Классическая логика от времени не зависит. Так что истинное
высказывание "Ваня читает книгу" обрекает Ваню в рамках классической логики
читать эту книгу вечно. Получить возможность поесть и еще что-нибудь
сделать Ваня может только с помощью ВРЕМЕННОЙ ЛОГИКИ, где и рэкету можно
выделить время и книге - час.
Истины, вроде "Украдешь кошелек - посадят в тюрьму, украдешь миллиард
- станешь уважаемым человеком", очень хорошо описываются НЕМОНОТОННОЙ
ЛОГИКОЙ, в которой дополнительные данные могут приводить к противоположному
выводу. В этой логике признается в порядке вещей принцип: "Если не нравится
результат, изменяй исходные законы". Дети и депутаты широко этим
пользуются.
НЕЧЕТКАЯ (FUZZY) ЛОГИКА, придуманная Заде (который в глубоком детстве
уехал из СССР, поэтому она американского происхождения), у нас попала на
благодатную почву и на конференциях и на сопутствующих банкетах за бутылкой
"фаззификатора" очень успешно решались многие нечеткие (размытые) проблемы.
А умница Поспелов поднимал тосты за "задизм". (Не только благодаря большому
числу его книжек, но и анекдотов и рассказов я осознал, что ИИ - это очень
забавно. Особенно на семинарах можно было "обхохотаться". После одного
выступления на его семинаре мои потери в живом весе были таковы, что чуть
не спали штаны. И это при галстуке!).
Нечеткая логика наконец позволила с серьезным видом проводить
рассуждения типа: "Если немного рискнуть, то можно много выиграть". При
этом "немного" и "много" принципиально суб'ективны, индивидуализированы.
Для инженера и приемщика стеклотары "много" может означать существенно
различное количество долларов. Это суб'ективная, индивидуализированная
логика. А следовательно, имеет право на ошибки!
ВЕРОЯТНОСТНАЯ ЛОГИКА. "Если осерчавший начальник хлопнул по столу, то