несколько прямолинейно. Согласно одному из ее законов, из логически противоречивого высказывания следует все, что угодно. Это означает, что противоречие запрещается под угрозой разрушения теории. Однако никто реально не пользуется этим разрешением выводить из противоречий все, что попало. Практика научных рассуждений резко расходится в данном пункте с логической теорией. В качестве реакции на это рассогласование с конца 40-х гг. ХХ века начали разрабатываться различные варианты паранепротиворечивой логики. Она исключает возможность выводить из противоречия любые утверждения, так что противоречие перестает быть смертельной угрозой, нависшей над теорией. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в процессе дальнейшего развития теории. Одним из первых, в 1909 г., сомнения в неограниченной приложимости закона противоречия высказал Н. А. Васильев, только что вернувшийся после обучения в Геттингене. Он считал нужным ограничить также действие закона исключенного третьего, и в этом смысле явился одним из идейных предшественников интуиционистской логики.
Новаторские идеи Васильева были восприняты в штыки, истолковывались неверно, а то и просто объявлялись безграмотными. Васильев тяжело переживал подобную «критику» и вскоре оставил занятия логикой.
В 20-е гг. коммунистический режим не наложил еще запрета на занятия современной логикой. Интересных результатов добился в этот период М. Шёйнфинкель. Он высказал идею о возможности сведения фундаментального понятия функции к более элементарным понятиям, что положило начало исчислению ламбда-конверсии А. Чёрча и позднее комбинаторной логике Х. Б. Карри. В последней делается попытка полного исключения всех операторов, переменных и всех связок, кроме обозначения для применения сингулярной функции к ее аргументу. В итоге получается формализованный язык, в котором все простые символы, за исключением единственной связки, являются константами, и который, тем не менее, годится для получения некоторых или даже всех результатов, для которых используются переменные.
А. Н. Колмогоров предложил минимальную логическую систему, основанную на еще более решительном неприятии законов классической логики, содержащих отрицание, чем в интуиционистской логике. Он показал, что если в некоторой теореме классической логики, в которой нет связок, отличных от условной связи и отрицания, заменить вхождения каждой переменной на ее двойное отрицание, то получающаяся формула будет теоремой минимальной логики. В. И. Гливенко доказал, что формулировка классической логики получается из формулировки интуиционистской логики добавлением в качестве дополнительной аксиомы только закона исключенного третьего. В 40–50-е гг. А. А. Марков и его школа разработали новую, конструктивистскую интерпретацию интуиционистской логики.
Все это были интересные, но частные результаты, не оказавшие сколько-нибудь заметного влияния на развитие мировой логики. Систематические, получившие резонанс и за
