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

- множество логических систем, в которых область истинностных значений высказываний состоит из более чем двух значений. В этом отношении многозначная логика выступает как обобщение классической двузначной логики, которая ограничила область истинностных значений только двумя значениями (истина и ложь). Первые системы многозначной логики (трехзначной логики) были построены Лукасевичем и Рейхенбахом. Впоследствии были построены системы логики с бесконечным числом истинностных значений. Во всех системах многозначной логики выполняются закон тождества и закон противоречия, однако закон исключенного третьего здесь уже не действует. В системах логики с п значений истинности вводится закон исключенного (п 1), а в системах бесконечнозначных логик не действует даже обобщенный закон исключенного третьего, поскольку он не имеет смысла в таких системах по определению. Примером бесконечнозначных логик может служить вероятностная логика Рейхенбаха, в которой основная логическая функция p(h, e) интерпретируется как степень истинности гипотезы (h) на основе данных (е) и может принимать бесконечное число значений истинности в интервале {0,1}, включая крайние значения. (См. логика, математическая логика, истинностные значения).