Словарь логики

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