ОГЛАВЛЕНИЕ>>

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

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