ИНТУИЦИОНИСТСКАЯ ЛОГИКА

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

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.

ИНТУИЦИОНИСТСКАЯ ЛОГИКА
форма логики предикатов (или логики высказываний), включающая лишь такие логические законы, которые приемлемы с т. зр. концепции интуиционизма. Системы И. л., построенные голл. учёным А. Гейтингом (1930) и ранее (исходя не из интуиционистских предпосылок) сов. математиком В. И. Гливенко (1928), отличаются от соответств. систем классич. логики гл. обр. отсутствием исключённого третьего принципа.
см. также Конструктивное направление.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

ИНТУИЦИОНИСТСКАЯ ЛОГИКА
форма логики предикатов, отражающая взгляд интуиционизма на характер логич. законов, считающихся с его т. зр. допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), к-рые существенно связаны с понятием математической бесконечности.
В соответствии с концепцией интуиционизма, в И. л. нет принципа исключенного третьего и закона снятия двойного отрицания. В качестве И. л. обычно рассматривается формальная логич. система, построенная А. Гейтингом в 1930 (охватывает логику предикатов; еще ранее – на основании соображений, отличных от интуиционистских, – систему И. л. в применении к логике высказываний, составляющей часть логики предикатов, построил сов. ученый Гливенко). И. л. Гейтинга отличается тем, что выразимые в ней содержательные рассуждения являются приемлемыми с т. зр. основателя интуиционизма голл. математика Л. Э. Я. Брауэра. Иногда в качестве И. л. рассматривается др. логич. система минимальное исчисление Иогансона.
И. л. как логич. система объективно не связана с субъективистской филос. интерпретацией математики и логики, проводимой ведущими представителями интуиционизма (Брауэр). Это нашло свое выражение в том, что с развитием конструктивных направлений в математике и логике И. л. нашла в них применение и поэтому стала часто называться конструктивной логикой (хотя в И. л. и нет нек-рых принципов, признаваемых многими представителями этих направлений, напр. принципа конструктивного подбора, выдвинутого отечественным конструктивным направлением, возглавляемым А. А. Марковым).
Лит. см. при статьях Логика высказываний, Предикатов исчисление.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.

ИНТУИЦИОНИСТСКАЯ ЛОГИКА
    ИНТУИЦИОНИСТСКАЯ ЛОГИКА — первоначально логика интуиционистской математики, получившая впоследствии более широкое применение. Неформально развивалась Л. Брауэром с 1907 г., первую интерпретацию, независимую от интуиционистской идеологии, дал А. Н. Колмогоров, первые формализации построили В. Гливенко и А. Гейтинг.
    Язык интуиционистской логики совпадает с языком классической логики. Сохраняются и правила естественного вывода для всех связок, кроме отрицания. Для отрицания правило снятия двойного отрицания ослабляется до правила “Из лжи следует все, что угодно”. В результате ослабляются возможности косвенного вывода — косвенно можно опровергать (по правилу reductio ad abswdum), но, вообще говоря, нельзя доказывать положительные суждения от противного.
    В интуиционистской логике все связки независимы. Более того, для доказательства утверждения А достаточно пользоваться лишь формулами, не содержащими связок, отсутствующих в Л. В интуиционистской логике нет стандартных (нормальных) форм, аналогичных классическим. Как правило, преобразования, связанные с законами формулировки отрицаний и приведения к предваренной форме, действуют лишь в одну сторону. Так, напр., верно —A/—B=^—l(A&B), a —}(А&В) => —tA/—[B выполнено не всегда. Сильный исключенного третьего закон (tertium non datur) отвергается, но его слабая форма “А и его отрицание не могут быть одновременно ложны” —l(A'ИНТУИЦИОНИСТСКАЯ ЛОГИКАlA), сохраняется. Поэтому неправильно трактовать интуиционистскую логику как вводящую дополнительные истинностные значения, она скорее отвергает саму концепцию логических значений.
    Интуиционистская логика обладает рядом выдающихся свойств в классе неклассических логик. Для нее выполнены теорема Крейга об интерполяции: “Если выводимой => С, то можно построить формулу В, содержащую лишь термины, входящие и в Л, и в С, такую, что выводимы А =” В, В => С” и теорема Бета об определимости: “Если в сигнатуре ? выделена подсигнатура Оу, и термин Т не принадлежит Од, но сохраняет одно и то же значение для всех моделей теории Th, в которых совпадают значения терминов из ??, ?? ? определим через ?? в теории Th.”
    Эти две теоремы сохраняются лишь для малого числа неклассических логик. Более распространенным свойством является нормализуемость выводов, позволяющая в принципе устранить леммы из доказательств. Оно также выполнено для интуиционистской логики.
    Выполнено для нее и свойство корректности относительно V и Э: если доказано А/В, то доказано либо А, либо В; если доказано ЗхА(х), то для некоторого t доказано А(). Данным свойством классическая логика не обладает. Интуиционистская логика — единственная логика среди континуума логик с тем же языком, что и классическая, для которой выполнены все эти свойства.
    Таким образом, она может служить основой для содержательных математических теорий, поскольку в ней интуитивная определимость совпадает с формальной. Хотя множества теорем и доказательств интуиционистской логики по объему уже соответствующих множеств классической, последняя вкладывается в интуиционистскую. Первьм такое погружение осуществил Гливенко. Таким образом, выразительные возможности интуиционистской логики сильнее классической. В свою очередь, К. Гёдель показал, что интуиционистская логика вкладывается в модальную логику S4. При этом погружении связки &, V, 3 остаются без изменения, а на элементарные формулы и на результаты применения остальных связок навешивается модальность.
    Интуиционистская логика не может быть описана никакой конечной системой логических значений, и, более того, для нее неестественно описание с помощью таблиц истинности (хотя счетнозначные таблицы истинности для нее существуют). Но она имеет несколько математических интерпретаций. Исторически первой была интерпретация А. Тарского. В ней значениями истинности для предикатов являются открытые подмножества топологического пространства. Значения &, V, 3 определяются булевым образом. Значение ИНТУИЦИОНИСТСКАЯ ЛОГИКАА есть внутренность дополнения значения А. Это вызвано тем, что дополнение открытого множества часто не является открытым. Аналогично определяются значения А => В и Vx4(x). Напр., несправедливость AvИНТУИЦИОНИСТСКАЯ ЛОГИКАA можно продемонстрировать следующим образом: объединение открытого единичного круга и внутренности его дополнения дает не всю плоскость, а плоскость без единичной окружности.
    Следующей интерпретацией была алгебраическая модель — алгебры Линденбаума-Тарского для интуиционистских теорий. Их называют псевдобулевыми алгебрами. Эти алгебры впервые были созданы для данной цели, но оказались распространенной и широко применимой структурой.
    Параллельно с этим развивалась линия, ведущая начало от брауэровского содержательного смысла интуиционистской логики. Формулы истолковывались как задачи, логические связки — как преобразования задач, аксиомы — как задачи, для которых решения считаются известными, а правила вывода — как преобразования решений задач. Данные идеи систематизировал А. Н. Колмогоров. Каждой формуле А сопоставляется множество ее реализации ®. Каждая реализация считается решением задачи, соответствующей А. Реализации элементарных формул задаются по определению. ЩА&В) = B, где ®(А&В) это пара реализации <®Л®5>; B, где ®(А/В)— реализация А или В с указанием, какая из подзадач решена; ®"1Л = 0 “=> ®Л = 0, где ®ИНТУИЦИОНИСТСКАЯ ЛОГИКА1Л — стандартный элемент. например О, при условии, что задача А неразрешима;     В данном определении остается не уточненным понятие эффективного функционала. Оно может уточняться по-разному, в частности, если взять в качестве эффективных функционалов все классические функции, то лошка превращается в классическую. С. К. Клинч построил первый точный вариант реализуемости, взяв в качестве эффективных операторов алгоритмы и кодируя программы алгоритмов натуральными числами, обходя таким образом сложности с операторами высших типов (клиниевская реализуемость). Он показал, что из доказательства в интуиционистской арифметике извлекается клиниевская реализация доказанной теоремы, и, таким образом, если мы доказали ЗхА(х), то имеется такое п, чтодоказано А[п). Это точно обосновало тезис Брауэра о том, что интуиционистские доказательства дают, в отличие от классических, построения.
    Еще одна семантика интуиционистской логики берет начало от Бета и развита Крипке. Это — один из видов моделей Крипке. Множество миров — частично-упорядоченное множество (достаточно рассматривать дерево), истинность элементарных формул сохраняется при подъеме, универсумы не уменьшаются при подъеме, значения &, V, 3 определяются локально, w^A^B<='>Vv>•w(v^=A=•>v^=:B), w 1= ИНТУИЦИОНИСТСКАЯ ЛОГИКАt4 <=” Vv > w (-lv 1= A), w 1= Vx A(x) <р•> Vv > w (Va e U, v f= A(a)), где v и w— это “переменные по мирам”. Данные пункты практически повторяют на семантическом уровне гёделево погружение интуиционистской логики в S4. Модели Крипке изоморфны алгебраическим и топологическим моделям (порядок определяет псевдобулеву алгебру верхних отрезков множества миров и топологию, в которой окрестностями служат верхние отрезки).
    Уникальным для неклассических логик является наличие у интуиционистской логики двух разнородных и несводимых друг к другу классов семантик: реализуемостей и моделей Крипке. Аналогия между доказательствами в интуиционистской логике и построениями усилена Н. В. Карри в его “Комбинаторной логике” (Combinatory Logic, 1968). Замкнутые типизированные выражения в комбинаторной логике изоморфны выводам в гильбертовской формулировке импликативного фрагмента интуиционистской логики. Замкнутые типизированные ?-термы изоморфны выводам в импликативном фрагменте естественного вывода. Изоморфизм между выводами и ?-термами пытались расширить на всю интуиционистскую логику, обобщая ?-исчисление. Но на этом пути стоит препятствие, указанное еще Брауэром и явно выделенное Н. А. Шаниным. Выводы в интуиционистской логике соединяют построения и их обоснования. В частности, построения, проделанные при выводе ИНТУИЦИОНИСТСКАЯ ЛОГИКАА, нельзя вычислять, поскольку они приведут к ошибке. Но подобным же действием могут обладать и другие импликации, в частности, закон транзитивности Улуг (А(х, у) &А(у, г) =^А(х, г). Здесь может привести к нежелательным последствиям вычисление у. Такие объекты, которые нельзя или не нужно вычислять в программе, но нужно рассматривать для ее обоснования, ввел Г. С. Цейтин и назвал “призраками”. Н. А. Шанин рассмотрел алгоритм конструктивной расшифровки, разбивающий формулу на задачу и обоснование решения, причем вторая часть могла доказываться классически. Его решение имеет место для рекурсивной реализуемости в теории, пополненной принципом Маркова: Vx(A(x) V ИНТУИЦИОНИСТСКАЯ ЛОГИКА1А(х)) & ИНТУИЦИОНИСТСКАЯ ЛОГИКАiИНТУИЦИОНИСТСКАЯ ЛОГИКА3xA(x) => ???(?).
    Содержательный смысл данного принципа раскрывается изречением “Ищите и обрящете”: если известны критерии проверки правильности решения и доказано его существование, то его может найти машина полным перебором. H.H. Непейвода дал алгоритм классификации объектов внутри произвольного вывода в интуиционистской логике, отделяющий действующие объекты и формулы от бездействующих, порождающих лишь обоснования и призраки.
    Интуиционистскую логику пытались варьировать многими способами. Первой вариацией была минимальная логика Иогансона, получающаяся отбрасыванием ex falso sequitur quodlibet. Как оказалось, в прикладных теориях интуиционистское отрицание тем не менее моделируется (напр., в любой теории, содержащей натуральные числа, как А => 0 = 1). Но минимальная лошка, как и интерпретация Колмогорова, высветила аномальный статус отрицания в интуиционистской логике. Это — единственная связка, не требующая никакого построения.
    В связи с этим Грис предложил симметрическую интуиционистскую логику, в которой истина и ложь определяются одновременно и равноправно. В симметрической интуиционистской логике сохраняются обычные правила формулировки отрицаний классической логики, и в ее натуральном варианте они даже постулируются в качестве правил вывода. Отрицание в ней обычно обозначается ИНТУИЦИОНИСТСКАЯ ЛОГИКАА и называется “сильным отрицанием”, или “конструктивным опровержением”. Оно интерпретируется как задача на построение контрпримера к А. Симметрическая интуиционистская логика детально исследована в монографии И. Д. Заславского.
    Ю. М. Медведев предложил рассматривать логику финитных задач и заметил, что, если функционалы всюду определены, то формула (ИНТУИЦИОНИСТСКАЯ ЛОГИКА}А =” BvC) =” ((ИНТУИЦИОНИСТСКАЯ ЛОГИКАlA => В)/(ИНТУИЦИОНИСТСКАЯ ЛОГИКАлА => Q) реализуема (реализация ИНТУИЦИОНИСТСКАЯ ЛОГИКАТА стандартна, и ее можно подставить в функционал, чтобы выявить единственного кандидата на решение среди В, С). Вслед за этим начали рассматриваться многочисленные суперинтуиционистские логики, получающиеся расширением интуиционистской логики некоторыми схемами аксиом. Почти все они либо влекут закон исключенного третьего в прикладных теориях, либо не удовлетворяют теореме Крейга об интерполяции и теореме Бета. Так что интуиционистская логика занимает уникальное место в классе неклассических логик, не только как старейшая из них, но и как концептуально целостная система.
    Лит.: Brouwer L. E. J. Over de grondslagen der wiskunde (Об основаниях знания). Amst.—Lpz., 1907; Brouwer L. E. J. De onbetrouwbaarheid der logische principes (О недостоверности логических принципов). — Tijdsehz voor Wijsbegeerte, v. 2, 1908; Kolmogorqfr A. Zur Deutung der intuitionistischen Logik. — “Math. Zeitschrift”, v. 35, 1932 (рус. пер.: К толкованию интуиционистской логики. — В кн.: Колмогоров А. Н. Избр. тр.. Математика и механика. М., 1985); HeytingA. Die formalen Regeln der intuitionistischen Logik. — Sitz. Der Preus. Akad., Phys.-mathematische Klasse. B., 1930; Tarski A. Der Aussagenkalkul und die Topologie.— “Fundamenta Mathematicae”, v. 31, 1938; Curry H. B. Combinatory Logic, v. 2. N. У, 1968; Шанин H. А. О конструктивном понимании математических суждений.— В кн.: Труды Математического института им. В. А. Стеклова, т. 52, 1958; Непейвода ff. H. 0 построении правильных программ. — “Вопросы кибернетики”, т. 46,1978, с. 88—122.
    H. H. Непейвода

Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.