В настоящее время построен ряд систем многозначной логики и разрабатывается общая теория этих систем. Разработка систем многозначной логики имеет целью решение различных конкретных задач научного исследования, как общечеловеческих, так и специально научных. Например, трехзначная и четырехзначная логики высказывания Я. Лукасевича строились с целью создания модальной логики, трехзначное исчисление Д. А. Бочвара – с целью разрешения парадоксов классической математической логики. Следует также отметить приложение многозначной логики к обоснованию квантовой механики и к теории релейных схем.
15 ИНТУИЦИОНИСТСКАЯ ЛОГИКА
В 1908 г. Л. Брауэром были заложены основания интуиционистской логики. Это направление неклассической логики основано на принципе интуиционизма.
Интуиционизм признает главным и единственным критерием правомерности методов и результатов логики ее интуитивную – наглядно—содержательную убедительность (интуицию). Данное понятие заключается в двух положениях:
1) процессе умственного построения всех логических объектов;
2) отказе от использования абстракции актуальной бесконечности.
Главным объектом критики интуиционистской логики стал классический закон исключенного третьего. Л. Брауэр полагал, что, возникнув в конечном множестве объектов, закон исключенного третьего впоследствии был распространен на бесконечные множества, в результате чего проверить, обладают ли все предметы определенным свойством или нет, не является возможным.
Еще одним важным положением интуиционистской логики было отрицание существования логики вне рамок математики. По мнению интуи—ционистов логика возникла вместе с математикой.
Чтобы избежать парадоксов, математическое доказательство должно основываться не на логической строгости, а на интуитивной очевидности: оно достоверно при условии интуитивного понимания каждой его ступени начиная
с исходных посылок и правил рассуждения. Таким образом, о применимости в доказательстве тех или иных законов логики в конечном счете также должна судить интуиция. Однако при этом интуиционизм не противопоставляет интуицию логике, а развивает понимание логики исключительно как части математики.
Одним из направлений интуиционистской логики является конструктивная логика. Основная идея конструктивной логики заключается в запрещении переносить на бесконечные множества принципы, верные для конечных множеств (например, положение о том, что целое больше частного). Само понятие «бесконечность» конструктивная логика также трактует отлично от классической. Если в последней бесконечность – завершенное понятие, то в первой она является потенциальной и становящейся. Для конструктивной логики характерно индуктивное построение объектов и логико—математических теорий в целом. В рамках конструктивной логики был разработан