Новая философская энциклопедия. Том второй Е—M
Шрифт:
ЛИ— ШИ (кит., принцип — дела, сущность — явления) — категории китайской буддийской философии, разрабатываемые в основном Хуаяиь шкалой и Чань школой. В данном контексте термином «ли» обозначается некая единая непрояв- ленная основа всех вещей и явлений, а термин «ши» служит обозначением этих последних как феноменов чувственно воспринимаемого мира во всем их видимом многообразии. В этом смысле в учении школы Хуаянь «ли» и «ши» как понятия образуют оппозиционную пару, что, впрочем, всячески подчеркивает их взаимозависимость. Основные положения учения о ли—ши сводятся к следующим тезисам: 1) ли относится к сфере ноуменального, сущностного, тогда как ши — к сфере феноменального, миру явлений. В силу этого ши не может существовать без ли, подобно тому как «золотой лев» не может существовать, если не существует «золота»; 2) хотя ли представляет собой нераздельное единство, а ши — бесконечное разнообразие отдельных феноменов, во всех этих последних ли всегда присутствует во всей свой полноте. Так, «золото» обретает феноменальное существование во множестве «золотых львов», не утрачивая своей единой сущностной «золотости», и в каждой мельчайшей шерстинке каждого «золотого льва» содержится вся полнота этой «золотости»; 3) реально существует только ли, ши — иллюзорны. Изображения «золотых львов» создаются из золота, но сами по себе они — лишь «пустая» (измышленная) форма, тогда как золото, из которого изготавливаются эти «львы», — реально вне зависимости от воображения изготовителя; 4) ли и ши взаимодополнительны и не отменяют друг друга, т. к. ли служит онтологическим основанием для всех ши, без которого они не могли бы «существовать», а ши — проявлениями ли в феноменальном мире, без которых затруднительно суждение о реальности ли-принципа. Напр, в паре «золото» (ли) и «золотой лев» (ши) первое — реально, второй — иллюзия, но «золотость» не препятствует восприятию «льва» как иллюзии, равно как и иллюзорность изображения льва не препятствует восприятию золота, из которого оно изготовлено, как реального. Последователи школы Хуаянь настаивали на том, что в учении о ли—ши содержатся основные положения буддийского миросозерцания в целом. Г. А. Ткаченко
ЛОББИЗМ(от англ. lobby — кулуары, коридор, вестибюль) — оказание давления на органы государственной власти со стороны общественно-политических групп, коммерческих организаций или частных лиц с целью принятия выгодных им законодательных актов, административных или политических решений. В кулуарах английского парламента представители заинтересованных групп вели переговоры с парламентариями относительно принятия того или иного закона, что нередко сопровождалось подкупом парламентариев. Постепенно лоббизм приобрел более цивилизованные формы: в 1946 в США был принят закон о лобби, согласно которому лоббист мог пройти официальную регистрацию и осуществлять свою деятельность на легальном основании. Можно выделить три формы лоббизма; 1) открытое давление на органы власти путем организации массовых петиций, писем; обычно осуществляется общественно-политич ескими движениями и политическими партиями; 2) закрытая работа с чиновниками при участии большого числа экспертов и консультантов; 3) подкуп или шантаж чиновников с целью принятия ими выгодного лоббисту решения (имеет незаконный характер). В российской политической культуре лоббизм интерпретируется в негативном
ЛОГИКА(греч. Ajoyucri — наука о мышлении, от Xoyoc; — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. Так как работа интеллекта всегда осуществляется в языковой форме, исследования в области логики напрямую связаны с исследованием различного рода языковых конструкций с точки зрения выполнения ими тех или иных познавательных функций. Язык в этом случае рассматривается как орудие познания, т. е. как средство, с помощью которого фиксируется информация о мире, осуществляется преобразование этой информации и изучается окружающий нас мир. В настоящее время логика представляет собой разветвленную и многоплановую науку, которая содержит в своем составе следующие основные разделы: теорию рассуждений (в двух вариантах: теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогику и логическую методологию. Исследования во всех этих областях на нынешнем этапе развития логики гл. о. и по преимуществу осуществляются в рамках логической семиотики. В последней языковые выражения рассматриваются как объекты, находящиеся в т. н. знаковой ситуации, включающей в себя три типа предметов — само языковое выражение (знак), обозначаемый им предмет (значение знака) и интерпретатора знаков. В соответствии с этим логический анализ языка может вестись с трех относительно самостоятельных точек зрения: исследования логического синтаксиса языка, т. е. отношения знака к знаку; исследования логической семантики языка, т. е. отношения знака к обозначаемому им объекту; и исследования логической прагматики, т. е. отношения интерпретатора к знаку. В логическом синтаксисе язык и строящиеся на его основе логические теории изучаются с формальной (структурной) их стороны. Здесь определяются алфавиты языков логических теорий, задаются правила построения из знаков алфавита различных сложных языковых конструкций — термов, формул, выводов, теорий и т. д. Осуществляется синтаксическое членение множества языковых выражений на функторы и аргументы, постоянные и переменные, определяется понятие логической формы выражения, определяются понятия логического подлежащего и логического сказуемого, осуществляется построение различных логических теорий и анализ способов оперирования в них. В логической семантике язык и логические теории изучаются с содержательной их стороны. Так как языковые конст-
404
ЛОГИКА рукции не только нечто обозначают, но и нечто описывают (имеют смысл), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание. В семантике все выражения языка, в зависимости от их значений, распределяют по классам, называемым семантическими категориями. Таковыми являются следующие категории — предложения и термины. Предложения делятся на повествовательные — утверждающие наличие или отсутствие в мире некоторой ситуации (такие предложения называют высказываниями), вопросительные — выражающие вопрос и побудительные — выражающие императивы. Термины в свою очередь делятся на дескриптивные (имена, предикаторы, предметные функторы) и логические. (Подробнее см. Семантических категорий теория.) Для логики как науки особое значение имеют как раз логические термины, так как вся процедурная сторона нашей интеллектуальной работы с информацией в конечном счете определяется смыслом (значением) данных терминов. К числу логических терминов относятся связки и операторы. Среди первых выделяются предицирующие связки «есть» и «не есть» и пропозициональные (логические связки): союзы — «и» («а», «но»), «или» («либо»), «если, то», словосочетания — «неверно, что», «если итолькоесли» («тогда и только тогда», «необходимо и достаточно») и другие. Среди вторых выделяют высказывание образующие — «все» («каждый», «любой»), «некоторый» («существует», «какой-либо»), «необходимо», «возможно», «случайно» и т. д. и имяобразующие операторы — «множество предметов таких, что», «тот предмет, который» и др. Центральным понятием логической семантики является понятие истины. В логике оно подвергается тщательному анализу, так как без него невозможно в четкой форме проинтерпретировать логическую теорию, а следовательно, и ее детально исследовать и понять. Сейчас уже очевидно, что мощное развитие современной логики во многом было определено детальной разработкой понятия истины. С понятием истины тесно связано и другое важное семантическое понятие — понятие интерпретации, т. е. процедуры приписывания с помощью особой интерпретирующей функции языковым выражениям значений, ассоциированных с некоторым классом предметов, называемым универсумом рассуждения. Возможной реализацией языка называется строго фиксированная пара <U, 1>, где U — универсум рассуждения, а I — интерпретирующая функция, ставящая в соответствие именам элементы универсума, л-местным предикаторам — множества упорядоченных л-ок элементов универсума, л-местным предметным функторам — л-местные функции, отображающие л-ки элементов универсума в элементы универсума, Выражениям, относящимся к формулам, ставятся в соответствие два значения — «истина» или «ложь» — в соответствии с условиями их истинности. С одним и тем же классом предложений могут связываться различные их возможные реализации. Те реализации, на которых каждое предложение, входящее в множество предложений Г, принимает значение «истина», называется моделью для Г. Понятие модели особо исследуется в специальной семантической теории — моделей теории. При этом различают модели разного типа — алгебраические, теоретико-множественные, теоретико-игровые, теоретико-вероятностные и др. Понятие интерпретации имеет для логики наиважнейшее значение, так как посредством него определяются два центральных понятия этой науки — понятия логического закона (см. Закон логический) и логического следования (см. Следование логическое). Логическая семантика является содержательной частью логики, а ее понятийный аппарат широко используется для теоретического оправдания тех или иных синтаксических, чисто формальных построений. Причина этого состоит в том, что совокупное содержание мысли делится на логическое (выражаемое логическими терминами) и конкретное (выражаемое дескриптивными терминами), а потому, выделяя логическую форму выражений, мы отвлекаемся, вообще говоря, не от любого содержания. Такое отвлечение, т. е. рассмотрение формальной стороны мыслей, представляет собой лишь способ вычленения в чистом виде логического их содержания, которое и исследуется в логике. Это обстоятельство делает неприемлемым идущее от Канта понимание логики как сугубо формальной дисциплины. Напротив, логика является глубоко содержательной наукой, в которой каждая логическая процедура получает свое теоретическое оправдание посредством содержательных соображений. В этой связи термин «формальная логика» в его применении к современной логике является неточным. В подлинном смысле слова можно говорить лишь о формальном аспекте исследования, но не о формальной логике как таковой. При рассмотрении тех или иных логических проблем во многих случаях необходимо учитывать также и намерения интерпретатора, который использует языковые выражения. Напр., рассмотрение такой логической теории, как теория аргументации, спора, дискуссии, невозможно без учета целей и намерений участников диспута. Во многих случаях применяемые здесь приемы полемики зависят от желания одной из спорящих сторон поставить своего противника в неудобное положение, сбить его с толку, навязать ему определенное видение обсуждаемой проблемы. Рассмотрение всех этих вопросов составляет содержание особого подхода к анализу языка — «логической прагматики». Наиболее фундаментальным разделом логики является теория дедуктивных рассуждений. В настоящее время этот раздел в своей аппаратной (синтаксической, формальной) части представлен в виде разнообразных дедуктивных теорий — исчислений. Построение такого аппарата имеет двоякое значение: во-первых, теоретическое, так как позволяет вьщелить некоторый минимум законов логики и форм правильных рассуждений, исходя из которых можно обосновать все другие возможные законы и формы правильных рассуждений в данной логической теории; во-вторых, чисто практическое (прагматическое), так как разработанный аппарат может быть использован и используется в современной практике научного познания для точного построения конкретных теорий, а также для анализа философских и общенаучных понятий, приемов познания и т. д. В зависимости от глубины анализа высказываний выделяют исчисления высказываний (см. Логика высказываний) и кван- торные теории — исчисления предикатов (см. Логика предикатов). В первых анализ рассуждений ведется с точностью до выделения простых предложений. Иначе говоря, в исчислениях высказываний мы не интересуемся внутренней структурой простых предложений. В исчислениях предикатов анализ рассуждений осуществляется с учетом внутренней структуры простых предложений.
405
ЛОГИКА В зависимости от типов квантифицируемых переменных различают исчисления предикатов различного порядка. Так, в исчислении предикатов первого порядка единственными квалифицируемыми переменных являются индивидные переменные. В исчислении предикатов второго порядка вводятся и начинают квантифицироваться переменные для свойств, отношений и предметных функций разной местности. Соответственно строятся исчисления предикатов третьего и более высокого порядка. Еще одно важное членение логических теорий связано с использованием для представления логического знания языков с различной категориальной сеткой. В этой связи можно говорить о теориях, построенных на языках фреге-расселовского типа (многочисленные варианты исчисления предикатов), силлогистического (разнообразные силлогистики, а также онтология Лесневского, являющаяся современной формой сингулярной силлогистики) или алгебраического (различные алгебры логики и алгебры классов — Булева алгебра, алгебра Жегалкина, алгебра де Моргана, алгебра Хао Вана и др.). Для многих теорий, построенных на языках с различной категориальной сеткой, показана их взаимная переводимость. В последнее время в логических исследованиях начинает активно использоваться теоретико-категорный язык, основанный на новом математическом аппарате — теории категорий. В зависимости от способа построения выводов и доказательств (см. Вывод логический), применяемых в логических теориях, последние делятся на аксиоматические исчисления, исчисления натурального вывода и секвенциальные исчисления (см. Исчисление секвенций). В аксиоматических системах принципы дедукции задаются списком аксиом и правил вывода, позволяющих переходить от одних доказанных утверждений (теорем) к другим доказанным утверждениям. В системах натурального (естественного) вывода принципы дедукции задаются списком правил, позволяющих переходить от одних гипотетически принятых утверждений к другим утверждениям. Наконец, в секвенциальных исчислениях принципы дедукции задаются правилами, позволяющими переходить от одних утверждений о выводимости (они называются секвенциями) к другим утверждениям о выводимости. Построение в логике того или иного исчисления составляет формальную сторону логических исследований, которую всегда бывает желательно дополнить содержательными соображениями, т. е. построением соответствующей ей семантики (интерпретации). Для многих логических исчислений такие семантики имеются. Они представлены семантиками различного типа. Это могут быть таблицы истинности, т. н. аналитические таблицы, таблицы Бета (см. Семантические таблицы), различного рода алгебры, возможных миров семантики, описания состояний и т. д. Напротив, в том случае, когда логическая система первоначально строится семантически, встает вопрос о формализации соответствующей логики, напр., в виде аксиоматической системы. В зависимости от характера высказываний, а в конечном счете от типов отношений вещей, которые изучаются в логике, логические теории делятся на классические и неклассические. В основе такого членения лежит принятие при построении соответствующей логики определенных абстракций и идеализации. В классической логике применяются, напр., следующие абстракции и идеализации: а) принцип двузначности, согласно которому каждое высказывание является либо истинным, либо ложным, б) принцип экстенсиональности, т. е. разрешение для выражений, имеющих одно и то же значение, свободной их замены в любых контекстах, что говорит о том, что в классической логике интересуются только значением выражений, а не их смыслом, в) принцип абстракции актуальной бесконечности, который позволяет рассуждать о существенно неконструктивных объектах, г) принцип эк- зистенциальности, согласно которому универсум рассуждения должен быть непустым множеством, а каждое собственное имя должно иметь референт в универсуме. Эти абстракции и идеализации образуют ту точку зрения, тот ракурс, под которым мы видим и оцениваем объективную реальность. Однако никакая совокупность абстракций и идеализации не может охватить ее в полной мере. Последняя всегда оказывается более богатой, более подвижной, чем наши теоретические построения, что и делает оправданным свободное варьирование исходных принципов. В этой связи полный или частичный отказ от любого из указанных принципов выводит нас в область неоклассических логик. Среди последних выделяют: многозначные логики, в частности вероятностные и нечеткие, в которых происходит отказ от принципа двузначности; интуиционистские логики и конструктивные логики, в которых исследуются рассуждения в рамках абстракции потенциальной осуществимости; модальные логики (алетические, временные, деонтические, эпистемические, аксиологические и др.), релевантные логики, паранепротиворечивые логики, логики вопросов, в которых рассматриваются высказывания с ^экстенсиональными (интенсиональными) логическими константами; логики, свободные от экзистенциальных допущений, в которых происходит отказ от принципов экзистенциальности, и многие другие. Сказанное показывает, что логика как наука, дающая теоретическое описание законов мышления, не есть нечто раз и навсегда данное. Наоборот, каждый раз с переходом к исследованию новой области объектов, требующих принятия новых абстракций и идеализации, при учете новых факторов, которые влияют на процесс рассуждения, сама эта теория изменяется. Т. о., логика является развивающейся наукой. Но сказанное демонстрирует и нечто большее, а именно, что включение в состав логики определенной теории законов мышления напрямую связано с принятием определенных онтологических допущений. С этой точки зрения логика является не только теорией мышления, но и теорией бытия (теорией онтологии). Важным разделом современной логики является металоги- ка. В последней исследуются различные проблемы, относящиеся к логическим теориям. Основными здесь являются вопросы о тех свойствах, которыми обладают логические теории: о непротиворечивости, полноте, наличии разрешающих процедур, независимости исходных дедуктивных принципов, а также о различных отношениях между теориями и т. д. В этом смысле металогика является как бы саморефлексией логики относительно своих построений. Все метатеоретические исследования проводятся на специальном метаязыке, в качестве которого используется обычный естественный язык, обогащенный специальной терминологией и метатеореттескими дедуктивными средствами. Логическая методология является еще одним разделом современной логики. Обычно методологию подразделяют на общенаучную, в рамках которой изучаются познавательные приемы, применяемые во всех областях научного знания, а также методологию отдельных наук: методологию дедуктивных наук, методологию эмпирических наук, а также методологию социального и гуманитарного знания. Во всех этих раз-
406
ЛОГИКА В РОССИИ делах логическая методология участвует в качестве специфического аспекта исследования. Так, в общей
ЛОГИКА ВРОССИИ. По-видимому, первым оригинальным российским сочинением по логике стали «Письма к немецкой принцессе» (Lettres a une princesse d'Allemagne) Л. Эйлера, сначала вышедшие в трех частях в Санкт-Петербурге (1767—72) на французском языке, затем в Лейпциге (1770) и позднее переведенные на русский под названием «Письма о разных физических и философических материях» (СПб., 1796). Затем полвека о логике в России книг не писали (за исключением компилятивной «Логики» И. С. Рижского, 1790), ограничиваясь немецкими и французскими источниками. Только учреждение новых университетов (Тартуского, 1802; Казанского, 1804; Харьковского, 1805), расширившее возможности для философского образования (до этого времени лекции по философии читались только в Московском университете), благоприятно сказалось и на отношении к логике. Появляются местные сочинения: «Начертания логики» А. С. Лубкина (СПб., 1807), «Логика, риторика и поэзия» Ф. Мочульского (Харьков, 1811), «Логические наставления» Д. П. Лодия (СПб., 1815), «Логика» И. Любочинского (Харьков, 1817), «Опыт логики» П. Любовского (Харьков, 1818), «Начальные основания логики» И. И. Давыдова (М., 1820), «Краткое руководство по логике» Н. Рождественского (СПб., 1826). В интеллектуальную жизнь российских университетов логика входила не самостоятельным предметом, а как приложение к тем или иным философским системам, которые в разное время преобладали. К примеру, весь 18 в. и нач. 19-го прошли под знаком вольфовской и кантовской философии. С 30-х гг. усиливается влияние диалектики Фихте, Шеллинга и Гегеля. Как и философия, логика плохо совмещалась с установками системы образования, принятой в России, поскольку обе они, всегда направленные на «изощрение умов», могли порождать скептицизм, не всегда обращаемый «на пользу православия и народности». В этой ситуации стремление отделить логику от философии, представить ее как самостоятельную науку, лежащую вне идеологических интересов, казалось естественным. И первая заявка в этом направлении была сделана, по-видимому, К. Зеленецким в статье «О логике как систематически целом и как о науке, объясняющей факты Мышления и Знания» ( 1836), где он ратует за независимость формальной логики от философии. Но потребовалось время, чтобы российская логика конституировалась в самостоятельную науку. Этому способствовали, во-первых, аналогичные процессы в Англии, Германии и во Франции, и, во-вторых, основательное знакомство русских логиков с достижениями логиков в странах Западной Европы. При этом было учтено все — и метафизическое направление германской логики (Р. Лотце, В. Шуппе, В. Вундт и др.), и психологическое направление этой логики (X. Зигварт, Г. Липпс), и индуктивное направление сторонников английского эмпиризма (Д С Милль, А. Бэн), и математическое
407
ЛОГИКА В РОССИИ направление тех же англичан (Дж. Буль, А. де Морган, Ст. Джевонс, Дж. Венн). Именно к кон. 19 в. (под влиянием работы К. Прантля) появляются российские исследования (обзоры) по истории логики М. И. Владиславлева (1872), М. М. Троицкого (1882), П. Лейкфельда (1890), дополняемые оригинальными суждениями этих авторов. Вторая половина 19 в. — это время реформы логики, выхода за рамки аристотелевской силлогистики. В России эта реформа шла по двум направлениям. Во-первых, в философской логике М, Карийский (1880) предложил новую классификацию выводов (отличную от классификаций Аристотеля, Милля и Вундта), основанную на сравнительном анализе отношений тождества между субъектами и предикатами суждений, участвующих в выводе, а Л. Рутковский (1899) дополнил эту классификацию и развил критику миллевских индуктивных методов именно как методов логического доказательства. С. И. Поварнин (1917) обратил внимание на особенность несиллогистических умозаключений и пришел к выводу, что их теория возможна только на почве логики отношений, включающей и принципы логистики. Во-вторых, главная реформа шла в том направлении логики, которое позднее получило название математической (или символической) логики. Здесь следует указать на работы В. Бобынина (Опыты математического изложения логики. М., 1886); М. С. Волкова (Логическое исчисление. 1894), исследования И. В. Слешинского (Логическая машина Джевонса. 1893) и Е. Л. Буницкого (1896— 1897), и, наконец, на классические работы Я. С Порецкого, в известной мере завершившие эпоху булевско-шрёдеровского развития алгебры логики как алгебры классов. Между тем, не сталкиваясь с интересами сторонников математического направления в логике, продолжалось и развитие философской логики. Важный его период связан с творчеством Я. А. Васильева. Он выступил автором «воображаемой логики» (1910, 1912). Основная идея заключалась в том, что законы логические (см. Закон логический) подразделяются на два уровня: законы собственно логики, которая является эмпирической, и поэтому они вариативны, и законы мета- логики, которые неизменны. В мире эмпирических законов ни закон противоречия, ни закон исключенного третьего не являются универсальными. Васильев по праву считается вместе с польским логиком Я. Лукасевинем предшественником паранепротиворечивой логики. Он также стоит у истоков многозначной (точнее, трехзначной) логики. Воззрения Васильева опирались на общие философские идеи русской университетской логики, в которой, с одной стороны, в мире «вещей-в-себе» допускалась противоречивость, и выдвигалась проблема объемной неопределенности «качественных» понятий (А. И. Введенский, Я. Я. Лапшин), по сути дела ставившая под вопрос общезначимость исключенного третьего закона, а, с другой стороны, отвергалось аристотелевское (т. н. корреспондентское) определение истины, которому противопоставлялась непосредственная («интуитивная») данность субъекту познаваемого объекта «в подлиннике» (Я. О. Лососий). Настойчивыми логическими поисками отмечено и богословское творчество Я. Флоренского, настаивавшего на неизбежной противоречивости (антиномичности) познания. Высылка из России в нач. 20-х гг. выдающихся представителей русской гуманитарной мысли и трагическая судьба многих из тех, кто остался в России, в корне изменили саму постановку проблемы о соотношении философии и логики. Кризис оснований, захвативший математику в нач. 20-го столетия, затронул и логику. В работе «О недостоверности логических принципов» (1907) Л. Э. Я. Брауэр поставил вопрос о новой — интуишюнистской логике. В России брауэровский скептицизм в отношении закона исключенного третьего разделял и одесский математик С. О. Шатуновский (1917). Когда к кон. 20-х гг. начались поиски формализации интуиционистски приемлемых способов рассуждений, интуиционизм нашел признание у логиков России. И это не случайно, поскольку многие из них входили тогда в Московскую математическую школу, возглавляемую H. H. Лузиным — выдающимся представителем «полуинтуиционистской» концепции в основаниях математики, известной под именем эффекты- визма. Результатом работы в этом направлении российских математиков А. Я. Колмогорова (1925, 1932) и В. Я. Гливенко (1928—29) стали первые аксиоматические системы интуиционистской логики и первые теоремы о взаимоотношении между классической логикой и интуиционистской. Логическим отражением поисков, родственных интуиционистским, явилась работа И. Е. Орлова «Исчисление совместности предложений» (1928), которая оказалась исторически первой в мире работой по релевантной логике. Философская мотивировка этой работы была дана им еще в 1925 в статье «Логические исчисления и традиционная логика». Она сводилась к идее необходимости выражения в логическом формализме «связей по смыслу» между основанием и следствием условного суждения (а следовательно, и содержательного отношения между элементами умозаключения) и была для него выражением своеобразно понятой диалектической логики. Выдающимся достижением этого периода является также серия статей Я. Я. Жегалкина (1927—29) по арифметизации символической логики высказываний и предикатов и решение им (в рамках этой арифметизации) проблемы разрешимости для логики одноместных предикатов (для аристотелевской логики). Интерпретируя логику высказываний как «арифметику четного и нечетного», Жегалкин сводит значительный корпус доказательства теорем знаменитой «Principia mathematica» (Уайтхеда и Б. Рассела) к простым арифметическим упражнениям. Новое направление было открыто в эти же годы московским логиком М. И. Шейнфинкелем. В статье «О кирпичах математической логики» («Mathematische Annalen», 1924) он заложил основы комбинаторной логики. Тогда же русский физико-химик А. Р. Щукарев предпринял попытку применить понятия дифференциального исчисления к логике, основываясь на философии Р. Авенариуса. Щукарев публично демонстрировал сконструированную им «логическую машину» (аналог машины Джевонса). Однако к кон. 20-х гг. и математическая логика оказалась под огнем партийной критики. Формальной логике в целом в «директивном» порядке была противопоставлена диалектическая логика. Преподавание формальной логики в школах и высших учебных заведениях прекращается. Даже математики (во избежание обвинений в буржуазном идеализме) отходят от идеалов своей молодости. Активными борцами против «идеализма в математике» в эти годы становятся Э. Кольман и С. А. Яновская. Позднее к этому дуэту присоединится В. Н. Молодщий. С этого времени и до кон. 40-х гг. логическая мысль в СССР развивается исключительно в рамках математики. В математических журналах появляются работы Д. А Бочвара, А. И. Мальцева, Я. С. Новикова, В. И. Шестакова и др., несущие на себе высокую степень математической кодификации языка и этим предохраняющие ах авторов от идеологических нападок.
408
ЛОГИКА В РОССИИ В1946 постановлением ЦКВКП(б)логикавеетрадиционной форме вводится как предмет преподавания в школах и вузах. В этом же году переиздается дореволюционный учебник по логике Г. И. Чел панова (с купюрами, сделанными по «идеологическим соображениям»), появляются оригинальные учебники В. Ф. Асмуса (1947), К. С. Бакрадзе (1951) и др. Логика восстанавливается как особое направление гуманитарного образования в вузах, на ряде факультетов университетов и педагогических институтов открываются кафедры логики. В 1947 созданы кафедры логики на философском факультете
МГУ(возглавил ее П. С. Попов) и ЛГУ (первым преподавателем логики уже в 1944 был С. И. Поварнин); в том же году образован сектор логики в Институте философии Академии наук СССР (ныне РАН). Начало 50-х гг. отмечено рождением российского конструктивизма (см. Конструктивное направление). Работы А. А. Маркова и сотрудников его школы в немалой степени способствовали утверждению в общественном сознании научной значимости формальной логики. В эти годы С. А. Яновская инициирует издание на русском языке ведущих трудов по современной логике: Д. Гильберта и И. Аккермана «Основы теоретической логики» (1947) и А. Тарского «Введение в логику и методологию дедуктивных наук» (1948). Созданная ею школа логики оказала (благодаря обилию ее учеников) большое влияние на развитие философской мысли, на взаимодействие между логиками-философами и логиками-математиками. Семинар С. А. Яновской (кон. 50-х — нач. 60-х гг.) воспитал не одно поколение логиков. Большая роль принадлежит в этом также и А. А. Маркову, возглавившему образованную в 1958 кафедру математической логики МГУ. На логических семинарах Яновской, Маркова и их учеников (механико-математический и философский факультеты МГУ), Н. А. Шанина (в ЛГУ), на секторе логики Института философии формируется отечественная школа логиков-философов. Определенным итогом описанного развития (и, конечно, относительно либеральной атмосферы 60-х гг.) явилось издание первой в России «Философской энциклопедии» (1960—70), в которой логика, несмотря на сопротивление некоторых членов редакционной коллегии энциклопедии и даже ее главного редактора, впервые в истории отечественной философской мысли была представлена в ее современном (на момент издания) и по возможности полном виде. 2>. В. Бирюков, M. M. Новоселов Уникальная история России 20 в. предопределила и уникальное развитие логики в ней, во многом непонятное для западного историка науки. В тоталитарной социальной системе логика стала объектом чисто идеологических манипуляций. Даже после того, как в 1947 формальная логика была возвращена в систему среднего и высшего образования, ее положение в этой системе не было независимым. В результате острой дискуссии в 1950—51 гг. на страницах главного философского официоза «Вопросы философии» и дискуссии по проблемам логики в МГУ и Институте философии АН СССР (ныне РАН) было зафиксировано, что высшей ступенью мышления является диалектическая логика, а низшей — формальная. Сторонников последней такое соотношение явно не устраивало и на этом фоне все 50-е и даже 60-е m прошли в обоюдной полемике. С одной стороны, в целях примирения сторон некоторыми участниками дискуссии предпринимаются Попытки придать диалектической логике разумный смысл (С. А. Яновская, А. А. Зиновьев, Д. П. Горский, И. С. Нарский и др.). С другой стороны, в целях преодоления известного несоответствия уровней тогдашнего логико-философского образования и мировой логической культуры устанавливается практика переводов важнейших трудов по философской логике, таких, как «Логико-философский трактат» Л. Витгенштейна ( 1958, общая редакция и предисловие В. Ф. Асмуса) и «Значение и необходимость» Р. Карнапа (1959, общая редакция Д. А. Бочвара, предисловие С. А. Яновской); а также фундаментальных трудов по современной математической логике (под редакцией В. А. Успенского), таких, как С. К. Клини «Введение в метаматематику» (с добавлениями А. С. Есенина-Вольпина, 1957) и А. Чёрча «Введение в математическую логику» (1960), это оказало существенную помощь логикам-философам. Обе последние книги (как минимум начальные их главы) берутся за основу при преподавании логики на философском ф-те