«Субъективизм – обычное дело при отыскании объективных причин».

Л.Кумор «Те, кто верует слепо, - пути не найдут.

Тех, кто мыслит, - сомнения вечно грызут». Омар Хайям.

«Как бы ни была совершенна теория, она – только приближение к истине» Александр Бутлеров.

Глава 2. Неклассическая логика

Если классическая логика строго опирается на истинность высказывания и/или высказывательной функции, на достаточность законов «исключенного третьего» и непротиворечивости вывода, то неклассическая логика допускает множество рациональных значений истинности на интервале [0,1], снимает ограничения законов классической логики. В настоящей главе выделены только два направления математической логики: нечёткой и модальной.

Нечёткая логика (fuzzi logic) оперирует с высказываниями, истинность которых может принимать любые рациональные значения на интервале [0, 1]. Даже неточные знания позволяют с помощью логической системы делать достаточно близкие к истине заключения. Например, мнения экспертов при формировании базы знаний экспертных систем могут быть противоречивыми, но использование логической системы позволяет снять эти ограничения и обеспечить пользователя нужными знаниями. Поэтому нечёткая логика определила развитие экспертных систем и систем искусственного интеллекта.