ЛОГИКА И МЕТОДОЛОГИЯНАУК. Эта тема широко разрабатывалась логиками, философами и методологами науки, включая и логические аспекты исследований, т. е. применение современной логики для обсуждения и решения тех или иных методологических и философских проблем. Нередко под прикрытием критики логического позитивизма (см. обзорную статью по логике В. А. Бочарова, Е. К. Войшвилло, А. Г. Драгалина и В. А. Смирнова в журнале «ВФ», 1979, № 6) удавалось отвоевывать как само поле деятельности для логиков-философов и методологов, так и «запрещенную» проблематику, и получать при этом оригинальные результаты. Это был вынужденный компромисс с официальной идеологией. В 30-е гг. С. А. Яновская и В. Ф. Асмус начинают исследовать логико-методологические и философские проблемы оснований математики. Появляются работы Яновской о роли абстракций и идеализации в познании и о способах введения понятий. Ю. А. Петров под руководством Яновской публикует монографию (1967), в которой анализируются проблемы абстракции бесконечности и осуществимости. Современную теорию понятия, привлекая средства символической логики, создает Е. К. Войшвилло (1967,1989). Вопросам абстракции и образования понятий посвящена книга Д. П. Горского (1962); им же исследована специфика определений в различных теориях (1974). В свою очередь M. M. Новоселов вводит методологически важное понятие интервала абстракции и на его основе ряд таких понятий, как абстракция постоянства, абстракция индивидуации. абстракция неразличимости и др., сопровождая введение этих понятий их алгебро-логическим анализом; в частности, он формулирует аксиоматику для отношения тождества с мерой транзитивности (1978), законы композиции для отношения неразличимости (1984) и логику неразличимостей как модель псевдобулевой структуры (1989), а на основе интервальной концепции тождества предлагает решение парадокса Рассела (1998). В совместной работе Б. В. Бирюков и М. М. Новосёлов (впервые на формально-акс иоматической основе) исследуют свойства научного объяснения (1988). Проблему отрицательных высказываний в познании подробно исследовали А Д. Гетманова (1972) и
Я ЯБродский (1973). В работах А. А. Старченко, Ю. В. Ивлева, А. А. Ивина, И. Ю. Алексеевой, В. Б. Родоса и др. активно развивалась теория аргументации. В последнее время новый подход к теории понятия и аргументации разрабатывается В. К. Финном. Проблемы аксиоматического метода рассматриваются в работах А. С. Есенина-Вольпина и В. Н. Садовского. Философские основания логических систем и самой логики исследовались Е. Д. Смирновой. Отчасти сюда же относятся работы Е. Е. Ледникова, В. Н. Брюшинкина, Г. В. Сориной. В коллективных работах «Проблемы логики научного познания» (1964) и «Логика научного исследования» (1964) была сформулирована программа разработки логики и методологии научного познания. Ряд интересных работ помещен уже в сб. «Логика и методология науки» (1967). К этой же тематике примыкает монография Б. В. Бирюкова «Кибернетика и методология науки» (1974), в которой, в частности, анализируются основные черты логической формализации и предлагается основанная на логике экспликация феномена понимания. Ряд авторов (Л. Б. Баженов, Б. С. Грязнов, А. А. Зиновьев, В. Н. Карпович, С. А. Лебедев, Е. Е. Ледников, Ю. A. Петров, Г. И. Рузавин, В. Н. Садовский, К. Ф. Самохвалов, B. А. Смирнов, В. С. Швырёв, Э. Г. Юдин и др.) детально разрабатывают различные вопросы методологии дедуктивных и эмпирических наук. Методология искусственного интеллекта развивалась в работах Д. А. Поспелова и В. К. Финна. Ключевым понятием методологии наук, позволяющим использовать хорошо разработанную логическую техник)', является понятие научной теории. Важные результаты здесь были получены В. А. Смирновым в монографии «Логические методы анализа научного знания» (1987), которая была опубликована после продолжительной борьбы Смирнова с методологами, выступившими против «засилья» формальной логики. На основе фундаментальных результатов, полученных им в теории определимости, Смирнов вводит в научный оборот новые понятия об отношениях между теориями (дефини- циальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволившие сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., для погружаемости элементарной онтологии Лесьневского в одноместное второ- порядковое исчисление предикатов. Отметим, наконец, своеобразное решение вопроса о соотношении формальной логики и философии. В силу сугубо специфических условий развития философского знания в России после высылки в 1921 лучших философов за границу логики это соотношение решили в свою пользу, привлекая самый современный логический аппарат для обсуждения, анализа, реконструкции и решения различных философских и логико-философских проблем. В этом смысле показательны коллективные сб. «Философские вопросы современной формальной логики» (1962; отв. ред. П. В. Таванец), «Философия и логика» (1974; отв. ред. П. В. Таванец и В. А. Смир-
413
ЛОГИКА В РОССИИ нов) и монография А. С. Карпенко «Фатализм и случайность будущего. Логический анализ» (1990). И если в первой еще делались реверансы в сторону диалектической логики и критиковался неопозитивизм, то во второй вообще обошлись без всего этого. (См. также ст. Философская логика).
ОСНОВНЫЕЛОГИКО-ФИЛОСОФСКИЕ ЦЕНТРЫ. Различные логические центры возникали в разных городах бывшего СССР. Очень сильная группа логиков (математиков и философов) сложилась в Тбилиси. В Киеве под руководством М. В. Поповича интенсивно исследовалась логико-методологическая проблематика. В Кишиневе, после переезда туда из Москвы А. В. Кузнецова, также сложилась активно работающая группа логиков. Различные Всесоюзные конференции по логике проводились, конечно, не только в России. Но главным центром подготовки профессиональных кадров в области логики является кафедра логики философского факультета МГУ. Была создана уникальная система специализации по логике. Большое внимание уделялось профилизации лекционных курсов применительно к специфике разных специальностей. Преподавателями кафедры были разработаны оригинальные спецкурсы: «Логика научного познания» Е. К. Войшвилло, «Квази-функциональная логика» Ю. В. Ивлевым, «Логическая семантика» Е. Д. Смирновой и многие др. Особое место в структуре специализации занимали спецкурсы В. А. Смирнова, который знакомил студентов с самыми современными направлениями исследований в мировой логической науке. Начиная с 80-х гг. вышло в свет 15 монографий, написанных преподавателями кафедры, большое количество учебников (многие из них выдержали несколько изданий) и учебных пособий. Преподавание логики на философском факультете Санкт-Петербургского (в то время Ленинградского) университета началось с сентября 1944. При кафедре начинал свой курс по математической логике А. А. Марков, потом его сменил Н. А. Шанин. С кон. 50-х — нач. 60-х гг. на факультете кроме традиционной логики преподается символическая логика. Первыми преподавателями ее из состава членов кафедры были И. Н. Бродский и О. Ф. Серебрянников. Главным педагогическим достижением кафедры логики было издание в 1977 учебника для философских факультетов «Формальная логика» в двух частях. С1990 кафедра регулярно (раз в два года) организует и проводит научные конференции «Современная логика: проблемы теории, истории и применения в науке». Сектор логики Института философии РАН всегда оставался ведущим центром научно-исследовательских работ по философской и формальной логике. Начиная с 1959 им подготовлено и выпущено в издательстве «Наука» более 20 коллективных трудов. Большой размах приобрели исследования в области неклассических логик, где был получен целый ряд интересных результатов. Научно-исследовательский семинар по логике, четверть века руководимый В. А. Смирновым, приобрел широкую известность и на нем делали доклады многие зарубежные ученые. В 1990 им был создан Институт логики, ког- нитологии и развития личности (ИЛКиРЛ). Институт ведет исследовательскую и пропагандистскую работу в области логики, принимает активное участие в проведении Российских и Международных конференций по логике. Издается литература, соответствующая профилю Института, а также электронный журнал «Логические исследования» (отв. ред. А. С. Карпенко): http://www.logic.ru/Russian/LogStud.
