WNp - Y.

Аристотель, исследуя природу случайности, пришел к идее многозначной логики, которую воплотил в жизнь в ХХ ст. Я.Лукасевич. Создав аппарат трехзначной, а затем четырехзначной логики, Лукасевич начал исследовать средствами созданных логик модальные функторы. Это способствовало прояснению и четкому определению понятий, которые были перегружены интуитивным содержанием, элементами здравого смысла и психологизмами.

Например, долгое время, следуя Аристотелю, считали, что суждение, описывающее существенные признаки предметов, является не только фатически, но и необходимо истинным. Данный тезис послужил позже основой для деления наук на аподиктические (логика, математика) и эмпирические (содержание которых выражается в ассерторических суждениях). Лукасевич справедливо указал на ошибочность подобной точки зрения.

В 70-80-х г. прошлого столетия в отечесвтенной литературе появилась критика изложенной позиции Лукасевича. Его обвиняли в том, что он стоял на позициях крайнего номинализма, не признавал существования необходимых истинных суждений.

Но дело в том, что Лукасевич, создавая свою многозначную логику, раскрыл совсем иную природу понятия «истина» в логике. А если так, то критика наших отечественных философов оказалась беспредметной. Слово «истина» в логике употребляется не в смысле тождества мысли и бытия, не как соответствие мысли предмету, короче, не в философском смысле. В логике понятие «истина» употребляется для условного обозначения логического свойства высказывания. Если высказывание истинное, то говорят: «Высказывание имеет истинностное значение «истина», а если высказывание ложно, то используется выражение: «Высказывание имеет истинностное значение «ложь». Хотя последнее выражение может вызывать определенный дискомфорт, это произойдет только в том случае, если не принять во внимание, что в логике смысл термина «истина» совсем не тот, который подразумевается в философии и естествознании, а также в повседневной жизни.

Чтобы избежать ненужных философских, обыденных, психологических ассоциаций и наслоений, Е.Шредер предложил заменить термин «истина» цифрой «1», а термин «ложь» цифрой»0». Хотя то, что имеет значение «1», может соответствовать как научному, так и обыденному значению истины – «Сумма внутренних углов треугольника равна 180º», «Земля имеет атмосферу», «Вода кипит при 100º С» и т.п.

Но обозначая в логике подобные высказыания как «1» (это касается и «парадоксальных» высказываний, вроде высказывания «Если сумма внутренних углов треугольника равна 90º, то вода кипит при 90º С»), мы не интересуемся, что представляет собой «внутренний угол треугольника», «атмосфера», «градус», какими они обладают свойствами и в каких отношениях с другими характеристиками предметов находятся. Главное, что любое высказывание может иметь одно из принятых в данной логической системе значений. Если это двузнаная логика, то одно из двух значений, обозначаемых обычно как {«истина», «ложь»}, или же {1, 2}. Если это трехзначная логика, то одно из трех значений, и т.д.

Логика, особенно современная, никогда не сравнивает истинное высказывание с адекватным отображением действительности, а ложное высказывание – с ошибочным отображением. В современной логике истинное высказывание сопоставляется с непустым множестом элементов, а ложное высказывание – с пустым множеством элементов. При этом природа элементов, образующих указанные множества (а это могут быть физические предметы, этические или правовые нормы, числа и т.п.) не принимается во внимание.