Неклассическая логика. Купарашвили М.Д. - 23 стр.

известные способы существования и являются взаимно несовмес-                     Тема 8. НЕЧЕТКАЯ ЛОГИКА
тимыми.
       Для всякого объекта верно, что он или существует, или не          В корпус неклассической логики с необходимостью вклю-
существует, или возникает, или исчезает. Объект не может одно-     чается логика «расплывчатых множеств» Л.А. Заде. С появлением
временно существовать и не существовать, существовать и исче-      электронно-вычислительных машин открылись огромные возмож-
зать, возникать и исчезать, существовать и возникать, не сущест-   ности для применения количественных методов математики в об-
вовать и исчезать.                                                 ласти анализа сложнейших систем. В освоении все новых и новых
       Логика времени. Интерпретация систем логики времени в       областей знания вскоре очередь дошла и до «гуманистических
качестве логических описаний изменения изучает его (изменения)     систем» (Л.А. Заде), содержанием которых являются способности
в качестве отношения между последовательными состояниями           суждения и знание человека. В отличие от механических систем,
объекта. Ее автором считается финский философ и логик Г.Х. фон     эти сложнейшие системы плохо поддаются определению, числен-
Вригт (1916). Она сформулировала исходное положение логики         ного описания они в принципе не допускают. Использование так
времени: «А и в следующей ситуации В», которое интерпретиру-       называемых «жестких языков», которые основаны на полном сов-
ется следующим образом: «состояние А изменяется в состояние        падении речевого символа и его значения, вскоре перестало удов-
В, А-мир переходит в В-мир». Считается, что логика времени не      летворять специалистов. А «мягкие языки» – более гибки и в со-
может быть самостоятельной теорией изменения. Формально-           стоянии передать множество оттенков предметов и явлений.
логический анализ изменения предмета имеет узкую цель – от-              Американский математик Л.А. Заде, который вплотную за-
крыть средства, позволяющие отчетливо зафиксировать логиче-        нялся проблемами машинного «языка», адаптируя естественные
ские связи суждений об изменении того или иного предмета.          языки, наткнулся на серьезные препятствия. Их основным носи-
       Абсолютные модальные понятия – «было», «есть», «будет»,     телем часто является не один или несколько речевых символов, а
сравнительные – «раньше», «позже», «одновременно».                 некий образ, полностью адекватного словесного выражения кото-
       Некоторые законы логики времени: «ни одно событие не        рому нет. Такие понятия в принципе недоступны вычислительной
происходит раньше самого себя», «неверно, что произойдет логи-     машине. Они нуждаются в определенной адаптации для машины.
чески невозможное событие», «если было, что всегда будет нечто,    Но как это сделать, как создать высокоорганизованный искусст-
то оно будет всегда», «всякое состояние либо сохраняет, либо       венный язык или определенную систему общения человека с
возникает, либо исчезает», «при возникновении состояние не мо-     компьютером на соответствующем языке так, чтобы в каком-ни-
жет одновременно сохраняться и исчезать, сохраняться и возни-      будь блоке вычислительной машины он принимал доступную для
кать, возникать и исчезать», «изменение не может начаться с ло-    него «жесткую» форму? Для этой цели Л. Заде выводит принцип,
гически противоречивых состояний и не может вести к таким со-      который можно назвать «принципом несовместимости, принци-
стояниям».                                                         пом, утверждающим, что высокая точность несовместима с боль-
                                                                   шой сложностью системы» [11, 10]. Скорее всего поэтому непри-
                                                                   годны обычные методы моделирования и анализа систем на ЭВМ,
                                                                   которые в основном держатся на точной обработке численных
                                                                   данных. Они «не способны охватить огромную сложность процес-
                                                                   сов человеческого мышления и принятия решений» [11, 10]. По
                                                                   мнению самого Заде, выход из этого положения состоит в приме-
                                                                   нении лингвистического подхода, согласно которому в качестве

                              45                                                                 46