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

ЛОГИЧЕСКИЕИЗДАНИЯ. Относительно периодических изданий по логике в России сложилась ситуация, не имеющая аналогов в развитых (цивилизованных) странах, и приходится констатировать, что Россия по сей день не имеет своего логического журнала. С 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)?») и почему-вопросы («почему химическое соединение х обладает наркотическим действием?»). Существует два подхода к построению логической теории вопросов, которые можно назвать лингвистическими и компьютерными. Согласно первому подходу, материалом для построения формальных имитаций вопросов служат реально существующие вопросы естественного языка. В рамках этого подхода строится перевод вопроса некоторого типа в соответствующий ему интеррогатив. Такой перевод существует, если для этого вопроса может быть точно описан ответ, т. е. если определимо отношение «вопрос — ответ». Согласно второму подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационных системах, ориентированный на решение некоторой совокупности информационно-поисковых задач. Каждой такой задаче соответствует предписание, в котором содержится императив — требование ее решения (напр.: «найти все химические соединения, обладающие наркотическим действием», «найти все статьи по заданной теме», «найти все, что известно о данном понятии» и т. д.). Формализация вопросов в информационном языке осуществляется на базе пробле мно-ориентированной семантики. Это означает, что каждому типу вопросов соответствует специальное вопросно-ответное отношение. Вопрос (в рамках такого подхода) понимается как запрос или требование информации определенного типа (такое понимание вопроса близко к тому, что предложил Я. Хинтикка). В интеллектуальных системах, содержащих подсистему объяснения, реализуется отношение «вопрос — ответ» для вопросов типа «почему?». В частности, процедура поиска ответа на вопрос «почему?» может содержать средства порождения гипотез о причинах рассматриваемых явлений, которые извлекаются из баз данных посредством индукции, а принимаются эти гипотезы посредством абдукции. Это означает, что вопросно-ответное отношение определяется с помощью синтеза познавательных процедур (см. Индуктивная логика). В теории вопросов Н. Белнапа и Т. Стила, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами — выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа заключается в установлении степени полноты его выбора, измеряемой по отношению ко всему множеству истинных альтернатив. Требование различения — это требование, согласно которому различные именные альтернативы должны обозначать различные реальные альтернативы. В этой теории субъектом вопроса называется множество всех возможных альтернатив. Каждый элементарный вопрос полностью характеризуется описанием субъекта вопроса и предпосылки вопроса, которая определяется требованиями выбора, степени полноты и различения. Согласно Н. Белнапу и Т. Стилу, вопрос через свой субъект задает область альтернатив, а затем «предпосылает» имеющемуся списку альтернатив инструкцию, в соответствии с которой из списка альтернатив предлагается построить конкретный тип прямого ответа. Прямой ответ есть конъюнкция, построенная из высказываний S, С и Д определяющих выбор, требование полноты и требование различения соответственно. Возможны следующие виды прямых ответов: S&C&D, S&C, S&D, S. Требование различения связано с особенностями естественных языков, а требование полноты соответствует коэффициенту полноты информационного поиска. Н. Белнапу и Т. Стилу фактически удалось имитировать лишь два типа вопросов — ли-вопросы и какой-вопросы. Развитие логики вопросов может быть полезно для построения языков запросов к базам данных и для логической систематизации социологических опросов. Лит.: БелнапН., Стил Г. Логика вопросов и ответов. М., 1981; Финн В. К. Логические проблемы информационного поиска. М., 1976; Хинтикка Я. Вопрос о вопросах.— В кн.: Философия и логика. М., 1974; Hurrah D. A Logic of Questions and Answers.— Philosophy of Science, vol. 4, 1961; Войшвимо E. К., Петров Ю. А. Язык и логика вопросов.— В кн.: Логика и методология научного познания. М, 1974. В. К. Финн