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

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.