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

— логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений (в случае только двух значений — “истинно” или “ложно” — имеет место классическая двузначная логика) , а в общем случае — любое конечное или бесконечное множество значений. Первые такие системы — трехзначная логика высказываний и n-значная логика высказываний—построены Лукасевичем (1920) и Э. Постом (1921). В настоящее время  построен ряд систем М. л. и исследуются их философские и структурные аспекты. Работы в области М. л. имели целью решение различных задач, как общелогических, так и специально-научных. Напр., трехзначная и четырехзначная логики высказываний Лукасевича строились с целью создания модальной логики, трехзначное исчисление Д. А. Бочвара — с целью разрешения парадоксов классической математической логики. Следует также отметить приложения М. л. к обоснованию квантовой механики (работы Г. Биркгофа, Дж. Неймана, Рейхенбаха) и к теории релейных схем (работы В. И. Шестакова, Г. Моисила и др.).