ТРЕХЗНАЧНАЯ ЛОГИКА

раздел многозначной логики, в к-ром высказываниям, помимо обычных истинностных значений "истинно" и "ложно", приписывается еще третье значение (напр., "неопределенно", или "нейтрально", или "бессмысленно" и т.п.). Идея трехзначности высказываний восходит к античности: еще Аристотель допускал высказывания, к-рые нельзя считать ни истинными, ни ложными. В истории традиционной (нематематической) логики идеи Т. л. наиболее отчетливо были развиты Н. А. Васильевым (1910–12). Исторически первая система матем. Т. л. была построена Я. Лукасевичем (описание этой системы см. в ст. Многозначная логика). В дальнейшем трехзначные логич. системы для различных целей были построены сов. логиком Д. А. Бочваром, Клини, Рейхенбахом и др. Т. л. получила широкое применение как в логике, так и вне ее: в анализе модальных и нормативных высказываний (см. Модальная логика, Нормативная логика), в анализе парадоксов, в логич. анализе языка квантовой механики (см. Логика квантовой механики), в теории релейных схем и т.д. Она пока остается единств. многознач. логикой, для к-рой найдены интуитивно ясные интерпретации. Т. л. является удобным средством решения методологич. трудностей, возникающих в связи с т.н. неклассич. ситуациями в науке, т.е. когда принцип исключенного третьего не имеет силы (такая ситуация сложилась, напр., в квантовой механике). Лит. см. при статьях Логика квантовой механики, Многозначная логика. А. Зиновьев. Москва.