В Степин - Новая философская энциклопедия. Том второй Е—M

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), это оказало существенную помощь логикам-философам. Обе последние книги (как минимум начальные их главы) берутся за основу при преподавании логики на философском ф-те

МГУи изучаются различными группами логиков, одну из которых организует А. А. Зиновьев. Т. о., налаживается контакт между логиками-философами и логиками-математиками. В противостоянии с «диалектиками» первые обратились за помощью ко вторым и получили ее. Семинары А. А. Маркова и С. А. Яновской на механико-математическом факультете МГУ стали «первыми университетами» для многих философов, ставших на стезю логической науки. Тем не менее развитие формальной логики все еще не было ее «внутренним делом». Ученые, в особенности работавшие на стыке логики, философии (а единственно верной философией была тогда марксистско-ленинская) и методологии наук (а всеобщим методом была только материалистическая диалектика) сталкивались с большими трудностями в своей деятельности. К примеру, до нач. 60-х гг. доступ к иностранной литературе был сильно ограничен, а для публикации на иностранном языке вплоть до сер. 80-х гг. требовалось унизительное специальное разрешение. В работах, в особенности диссертационных, если уж они не были совершенно формальными или математическими, требовались ссылки на классиков марксизма. Поэтому приходилось пользоваться «эзоповским языком», переходившим порой в имманентную ложь. И все же в то время формальная логика была отдушиной для многих мыслящих философов. А ответом на усиление идеологического и политического террора после «Пражской весны» 1968 явился возросший интерес к формальной логике со стороны молодых философов, тяготевших к символической и технической стороне дела. По существу только в 70-е тт. в СССР философская логика как самостоятельная дисциплина выходит на всесоюзный и международный уровень. В 1974 в Институте философии проводится Всесоюзное совещание по теории логического вывода (с привлечением зарубежных ученых). В 1978 там же проводится Всесоюзное совещание по модальным и интенсиональным логикам, а в следующем году проходит 2-й Советско-финский коллоквиум по логике (первый проходил в Финляндии в 1976). Главным событием для логиков всего мира является проведение Международных конгрессов по логике, методологии и философии науки, первый из которых прошел в Стэнфорде в 1960. И если на третьем в Амстердаме (1967) было всего несколько профессиональных логиков из России (А. А. Марков был приглашенным докладчиком), то начиная с 1971 (Бухарест) делегация становится весьма представительной. А в 1987 очередной конгресс (восьмой) проводится в Москве, что, помимо прочего, говорит и об авторитете отечественной логики, которая к тому времени имела уже немалый «послужной