Я. Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и возможными, или неопределенными. К последним были отнесены высказывания наподобие: «Я буду в Москве в декабре будущего года». Событие, описываемое этим высказыванием, сейчас никак не предопределено ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.
Все законы трехзначной логики Лукасевича оказались также законами и классической логики; обратное, однако, не имело места. Ряд классических законов отсутствовал в трехзначной логике. Среди них были закон противоречия, закон исключенного третьего, законы косвенного доказательства и др. То, что закона противоречия не оказалось в трехзначной логике, не означало, конечно, что она была в каком-то смысле противоречива или некорректно построена.
Э. Пост подходил к построению многозначных логик чисто формально. Пусть 1 означает истину, а 0 – ложь. Естественно допустить тогда, что числа между единицей и нулем обозначают какие-то уменьшающиеся к нулю степени истины.
Такой подход вполне правомерен на первом этапе. Но чтобы построение логической системы перестало быть чисто техническим упражнением, а сама система – сугубо формальной конструкцией, в дальнейшем необходимо, конечно, придать ее символам определенный логический смысл, содержательно ясную интерпретацию. Вопрос о такой интерпретации – это как раз самая сложная и спорная проблема многозначной логики. Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что, собственно, означают высказывания, не относящиеся ни к истинным, ни к ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи. Приходится поэтому не только придавать смысл промежуточным степеням, но и переистолковывать сами понятия истины и лжи.
Было много попыток содержательно обосновать многозначные логические системы. Однако до сих пор остается спорным, являются ли такие системы просто «интеллектуальным упражнением» или они все же говорят что-то о принципах нашего мышления.
Многозначная логика никоим образом не отрицает и не дискредитирует двузначную. Напротив, первая позволяет более ясно понять идеи, лежащие в основе второй, и является в определенном смысле ее обобщением.
Для классической логики вещь существует или не существует, и нет никаких других вариантов. Но как в обычной жизни, так и в науке постоянно приходится говорить не только о том, что есть в действительности и чего нет, но и о том, что должно быть или не должно быть и т.д. Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей, а действительный мир, в котором мы находимся, – как один из бесчисленного множества возможных миров.
