Философский словарь - интуиционистская логика

одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 гол. математик и логик А. Рейтинг ученик создателя интуиционизма Л.Э.Я. Брауэра дал аксиоматическую формулировку И.л., подчеркнув, что "интуиционизм развивается независимо от формализации, которая может идти только по следам математической конструкции". В И.л. не действует закон исключенного третьего, а также ряд др. законов классической логики, позволяющих доказывать существование объектов, которые невозможно реализовать или вычислить. В числе таких законов закон (снятия) двойного отрицания и закон приведения к абсурду.

Отбрасывание закона исключенного третьего не означает принятия отрицания этого закона; напротив, И.л. утверждает, что отрицание отрицания этого закона (его двойное отрицание) является верным. Отбрасывание не должно пониматься так же, как введение какого-то третьего истинностного значения, промежуточного между истиной и ложью.

В классической логике центральную роль играет понятие истины. На его основе определяются логические связки, позволяющие строить сложные высказывания. В И.л. смысл связок задается путем указания тех необходимых и достаточных условий, при которых может утверждаться сложное высказывание.

Если р и q некоторые высказывания, то их конъюнкцию (р и q) можно утверждать, только если можно утверждать как p, так и q. Дизъюнкцию (р или q) можно утверждать тогда и только тогда, когда можно утверждать хотя бы одно из высказываний р и q. Математическое высказывание р можно утверждать только после проведения некоторого математического построения с определенными свойствами; соответственно отрицание р можно утверждать, если и только если имеется построение, приводящее к противоречию предположение о том, что построение р выполнено. Понятие противоречия здесь принимается в качестве неопределяемого, практически противоречие всегда можно привести к форме 1 = 2. Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически дает построение q.

Интуиционистское понимание логических связок таково, что из доказательства истинности высказывания всегда можно извлечь способ построения объектов, существование которых утверждается.

И.л. является единственной из неклассических логик, в рамках которой производилась достаточно последовательная и глубокая разработка многих разделов математики. Эта логика позволяет тонко и точно исследовать трудный и важный вопрос о характере существования объектов, исследуемых в математике.

Идеи, касающиеся ограниченной приложимости законов исключенного третьего, снятия двойного отрицания, редукции к абсурду и связанных с ними способов математического доказательства, разрабатывались рус. математиками А.Н. Колмогоровым, В.И. Гливенко, А.А. Марковым, Н.А. Шаниным и др. В результате критического переосмысления основных принципов И.л. возникла конструктивная логика, также считающая неправильным перенос ряда логических принципов, применимых в рассуждениях о конечных множествах, на область бесконечных множеств.

Рейтинг А. Интуиционизм. М., 1973; Новиков П.С. Конструктивная математическая логика с точки зрения классической. М., 1977; Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.