МНОГОЗНАЧНАЯ ЛОГИКА,

раздел логики, в к-ром множество истинностных значений содержит более чем два элемента. Если в классич. двузначной логике предложения при интерпретации принимают только два значения - «истинно» и «ложно», то в М. л. рассматриваются и др. значения (напр., «бессмысленно», «неопределённо» и т. п.). Иногда под М. л. понимают логику, не содержащую исключённого третьего принципа и не имеющую модальных операторов. Как и двузначная логика,  М. л. имеет два раздела: логику высказываний и логику предикатов. В зависимости от мощности множества истинностных значений различают конечномногозначные логики (напр., nзначные логики Я. Лукасевича и nзначные логики Д. А.Бочвара) и бесконечномногозначные логики (напр., бесконечнозначная логика Лукасевича и интуиционистская логика) . Семантика М. л. изучается как в виде истинностных таблиц, так и в алгебраич. форме. К алгебраич. аспектам М. л. относится изучение функциональных свойств этих логик (в частности, проблема функциональной полноты).

М. л. находит применение в теории автоматич. устройств, в исследовании проблем т. н. искусств. интеллекта, в теоретич. программировании, а также используется для формализации высказываний, истинностные значения к-рых зависят он контекста. См. также ст. Логика.