Многозначная логика

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 266.