одах бывшего СССР. Очень сильная группа логиков (математиков и философов) сложилась в Тбилиси. В Киеве под руководством М. В. Поповича интенсивно исследовалась логико-методологическая проблематика. В Кишиневе, после переезда туда из Москвы А. В. Кузнецова, также сложилась активно работающая группа логиков. Различные Всесоюзные конференции по логике проводились, конечно, не только в России. Но главным центром подготовки профессиональных кадров в области логики является кафедра логики философского факультета МГУ. Была создана уникальная система специализации по логике. Большое внимание уделялось профилизации лекционных курсов применительно к специфике разных специальностей. Преподавателями кафедры были разработаны оригинальные спецкурсы: «Логика научного познания» Е. К. Войшвилло, «Квази-функциональная логика» Ю. В. Ивлевым, «Логическая семантика» Е. Д. Смирновой и многие др. Особое место в структуре специализации занимали спецкурсы В. А. Смирнова, который знакомил студентов с самыми современными направлениями исследований в мировой логической науке. Начиная с 80-х гг. вышло в свет 15 монографий, написанных преподавателями кафедры, большое количество учебников (многие из них выдержали несколько изданий) и учебных пособий. Преподавание логики на философском факультете Санкт-Петербургского (в то время Ленинградского) университета началось с сентября 1944. При кафедре начинал свой курс по математической логике А. А. Марков, потом его сменил Н. А. Шанин. С кон. 50-х — нач. 60-х гг. на факультете кроме традиционной логики преподается символическая логика. Первыми преподавателями ее из состава членов кафедры были И. Н. Бродский и О. Ф. Серебрянников. Главным педагогическим достижением кафедры логики было издание в 1977 учебника для философских факультетов «Формальная логика» в двух частях. С1990 кафедра регулярно (раз в два года) организует и проводит научные конференции «Современная логика: проблемы теории, истории и применения в науке». Сектор логики Института философии РАН всегда оставался ведущим центром научно-исследовательских работ по философской и формальной логике. Начиная с 1959 им подготовлено и выпущено в издательстве «Наука» более 20 коллективных трудов. Большой размах приобрели исследования в области неклассических логик, где был получен целый ряд интересных результатов. Научно-исследовательский семинар по логике, четверть века руководимый В. А. Смирновым, приобрел широкую известность и на нем делали доклады многие зарубежные ученые. В 1990 им был создан Институт логики, ког- нитологии и развития личности (ИЛКиРЛ). Институт ведет исследовательскую и пропагандистскую работу в области логики, принимает активное участие в проведении Российских и Международных конференций по логике. Издается литература, соответствующая профилю Института, а также электронный журнал «Логические исследования» (отв. ред. А. С. Карпенко): http://www.logic.ru/Russian/LogStud.
ЛОГИЧЕСКИЕИЗДАНИЯ. Относительно периодических изданий по логике в России сложилась ситуация, не имеющая аналогов в развитых (цивилизованных) странах, и приходится констатировать, что Россия по сей день не имеет своего логического журнала. С 1959 выходит серия «Математическая логика и основания математики». С 1962 начал выходить журнал «Алгебра и логика» (Новосибирск), где в основном публикуются работы по математике. С 1975 выходит серия «Логика и методология науки» (в основном переводы). С 1982 начали выходить труды научно-исследовательского семинара по логике, а с 1993 — ежегодник (по возможности) «Логические исследования». Заслуга в появлении последних двух изданий принадлежит В. А. Смирнову, которому пришлось для этого преодолеть немалые трудности; он же и являлся первым их ответственным редактором. Кончается XX век, страшный для России, с ее неисчислимыми жертвами и потерями. Но величие Логики как гуманитарной науки в том и состоит, что она стала спасительным прибежищем для человеческого духа. Лит.: Бажанов В. А. Прерванный полет. История «университетской» философии и логики в России. М, 1995; Башмакова И. Г., Демидов C. С, Успенский В. А. Жажда ясности.— «Вопросы истории естествознания и техники», 1996, вып. 4 (к 100-летию со дня рождения С. А. Яновской): Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики. М., 1985; Бочаров В. А., Войшвилло Е. К, Драгалин А. Г., Смирнов В. А. Некоторые проблемы развития логики.— «ВФ», 1979, № 6; Брюшинкин В. Н. Исследования по формальной логике (обзор советской литературы последних лет). — Там же, 1983, № 6; Избр. труды русских логиков XIX в. М, 1956; Карпенко А. С Логика в России. Вторая половина 20 в.— «ВФ», 1999, № 9; Кондаков Н. И. Из истории формальной логики в России в 50—80-х годах XIX века.— В кн.: Вопросы теории познания и логики. М., 1960; Моисеев В. Логика в России и СССР— В кн.: Русская философия. Малый энциклопедический словарь. М., 1995; Нагорный H. М. Андрей Андреевич Марков (к 90-летию со дня рождения).— «Известия РАН. Техника. Кибернетика», 1993, № 5; Очерки по истории логики в России. М., 1962; Примаковский А. П. Хронологический указатель произведений по вопросам логики, изданных на русском языке в СССР в XVIII— XX вв. М., 1955; Развитие логических идей в России,— В кн.: История философии в СССР, т. 3. М, 1968; Результаты В. А. Смирнова в области современной формальной логики (общая редакция А. С. Карпенко).— В кн.: Логические исследования, вып. 4. М, 1997; Семиотика и информатика, 1993, вып. 33 (посвящается памяти Дмитрия Анатольевича Бочвара); СилаковА. В., Стяжкин Н. И. Краткий очерк истории общей и математической логики в России. М., 1962; Стяжкин Н. И. Формирование математической логики. М., 1967; Есенин-Вольпин С А. Избранное. М., 1999; Шуринов Б. М., Бирюков П. Б. Российская логическая наука на переломе начала XX века: идеи А. И. Введенского и Н. О. Лосского.— Вестник Международного Славянского Университета, 1996, т. 1; Они же. Из истории логики отношений: вклад русской философии конца XIX века (Каринский и Рутковский).— Там же, 1997, т. 2; Яновская С. А. Основания математики и математическая логика.— Математика в СССРзаЗОлет. М., 1947; Онаже. Математическая логика и основания математики.— Математика в СССР за 40 лет, т. 1. М., 1959, § 13; Anellis I. H. Formal Logic and dialectical-materialism in the Soviet Union.— Modern Logic, 1994, № 4; Bochenski J. M. Soviet Logic — Studies in Soviet Thought, 1961, vol. 1, № 1 ; Cavaliere F. La logica formale in Unione Sovietica: Gli anni del dibattito, 1946-1965, Firenze, 1990; Mathias A. H. D. Logic and Terror- Jahrbuch 1990 der Kurt-Godel-Gesellschaft, 1991; Mints G. Proof theory in the USSR (1925-1969).- The Journal of Symbolic Logic, 1991, vol. 56, № 2; Pennino L. La logica simbolica nella produzione scientifica in lingua russa (1961 —1983). Roma—Napoli, 1990; Tikhomirov V. M. The life and work of Andreii Nikolaevich Kolmogorov.— «Russian Math. Surveys», 1988, vol. 43, № 6; Uspensky V. A. Mathematical Logic in the former Soviet Union: Brief history and curent tvends.— Logic and Scientific Methods. Dordrecht, 1997. А. С. Карпенко
414
ЛОГИКА ВЫСКАЗЫВАНИЯ
ЛОГИКА ВОПРОСОВ— формальные средства описания отношения «вопрос — ответ». Формальные средства имитации вопросов называют интеррогативами. Примерами ин- террогативов являются ли-вопросы («верно ли высказывание Л?»), какой-вопросы («каковы все те х, которые удовлетворяют условию Р(х)?»), сколько-вопросы («сколько х таких, что o(x)?») и почему-вопросы («почему химическое соединение х обладает наркотическим действием?»). Существует два подхода к построению логической теории вопросов, которые можно назвать лингвистическими и компьютерными. Согласно первому подходу, материалом для построения формальных имитаций вопросов служат реально существующие вопросы естественного языка. В рамках этого подхода строится перевод вопроса некоторого типа в соответствующий ему интеррогатив. Такой перевод существует, если для этого вопроса может быть точно описан ответ, т. е. если определимо отношение «вопрос — ответ». Согласно второму подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационных системах, ориентированный на решение некоторой совокупности информационно-поисковых задач. Каждой такой задаче соответствует предписание, в котором содержится императив — требование ее решения (напр.: «найти все химические соединения, обладающие наркотическим действием», «найти все статьи по заданной теме», «найти все, что известно о данном понятии» и т. д.). Формализация вопросов в информационном языке осуществляется на базе пробле мно-ориентированной семантики. Это означает, что каждому типу вопросов соответствует специальное вопросно-ответное отношение. Вопрос (в рамках такого подхода) понимается как запрос или требование информации определенного типа (такое понимание вопроса близко к тому, что предложил Я. Хинтикка). В интеллектуальных системах, содержащих подсистему объяснения, реализуется отношение «вопрос — ответ» для вопросов типа «почему?». В частности, процедура поиска ответа на вопрос «почему?» может содержать средства порождения гипотез о причинах рассматриваемых явлений, которые извлекаются из баз данных посредством индукции, а принимаются эти гипотезы посредством абдукции. Это означает, что вопросно-ответное отношение определяется с помощью синтеза познавательных процедур (см. Индуктивная логика). В теории вопросов Н. Белнапа и Т. Стила, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами — выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа