Философская энциклопедия - логика вопросов

ЛОГИКА ВОПРОСОВ — формальные средства описания отношения “вопрос — ответ”. Формальные средства имитации вопросов называют интеррогативами. Примерами интеррогативов являются ли-вопросы (“верно ли высказывание Л?”), какой-вопросы (“каковы все те х, которые удовлетворяют условию Д-с)?”), сколько-вопросы (“сколько х таких, что 0(.v)?”) и почему-вопросы (“почему химическое соединение х обладает наркотическим действием?”).

Существует два подхода к построению логической теории вопросов, которые можно назвать лингвистическими и компьютерными. Согласно первому подходу, материалом для построения формальных имитаций вопросов служат реально существующие вопросы естественного языка. В рамках этого подхода строится перевод вопроса некоторого типа в соответствующий ему интеррогатив. Такой перевод существует, если для этого вопроса может быть точно описан ответ, т. е. если определимо отношение “вопрос — ответ”.

Согласно второму подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационных системах, ориентированный на решение некоторой совокупности информационно-поисковых задач. Каждой такой задаче соответствует предписание, в котором содержится императив — требование ее решения (напр.: “найти все химические соединения, обладающие наркотическим действием”, “найти все статьи по заданной теме”, “найти все, что известно о данном понятии” и т. д.). Формализация вопросов в информационном языке осуществляется на базе проблемно-ориентированной семантики. Это означает, что каждому типу вопросов соответствует специальное вопросно-ответное отношение. Вопрос (в рамках такого подхода) понимается как запрос или требование информации определенного типа (такое понимание вопроса близко к тому, чтопредложил Я. Хинтикка). В интеллектуальных системах, содержащих подсистему объяснения, реализуется отношение “вопрос — ответ” для вопросов типа “почему?”. В частности, процедура поиска ответа на вопрос “почему?” может содержать средства порождения гипотез о причинах рассматриваемых явлений, которые извлекаются из баз данных посредством индукции, а принимаются эти гипотезы посредством абдуки.ии. Это означает, что вопросно-ответное отношение определяется с помощью синтеза познавательных процедур (см. Индуктивная логика).

В теории вопросов Н. Белнапа и Т. Стала, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами — выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа заключается в установлении степени полноты его выбора, измеряемой по отношению ко всему множеству истинных альтернатив. Требование различения — это требование, согласно которому различные именные альтернативы должны обозначать различные реальные альтернативы. В этой теории субъектом вопроса называется множество всех возможных альтернатив. Каждый элементарный вопрос полностью характеризуется описанием субъекта вопроса и предпосылки вопроса, которая определяется требованиями выбора, степени полноты и различения. Согласно Н. Белнапу и Т. Стилу, вопрос через свой субъект задает область альтернатив, а затем “предпосылает” имеющемуся списку альтернатив инструкцию, в соответствии с которой из списка альтернатив предлагается построить конкретный тип прямого ответа. Прямой ответ есть конъюнкция, построенная из высказываний S, С и D, определяющих выбор, требование полноты и требование различения соответственно. Возможны следующие виды прямых ответов: S&C&D, S&C, S&D, S. Требование различения связано с особенностями естественных языков, а требование полноты соответствует коэ4)фициэнту полноты информационного поиска. Н. Белнапу и Т. Стилу фактически удалось имитировать лишь два типа вопросов — ли-вопросы и какой-вопросы. Развитие логики вопросов может быть полезно для построения языков запросов к базам данных и для логической систематизации социологических опросов.

Лит.: Белнап Н., Сшил Т. Логика вопросов и ответов. М., 1981; Финн В. К. Логические проблемы информационного поиска. М., 1976; Хинтикка Я. Вопрос о вопросах.— В кн.: Философия и логика. М., 1974; Harrah D. A Logic of Questions and Answers.— Philosophy of Science, vol. 4,1961; Войшвилло Е. К., Петров Ю. А. Язык и логика вопросов.— В кн.: Логика и методология научного познания. М., 1974.

В. К. Финн

Новая философская энциклопедия: В 4 тт. М.: Мысль.

Под редакцией В. С. Стёпина.

2001.