Гуманитарные технологии Аналитический портал • ISSN 2310-1792

Логика вопросов

Наиме­нова­ние: Логика вопросов
Опреде­ление: Логика вопросов — это раздел символической логики, исследующий логико-семантические свойства вопросительных предложений.
Текст статьи: Авторы: В. К. Финн. Подготовка элект­ронной публи­кации и общая редакция: Центр гумани­тарных техно­логий. Инфор­мация на этой стра­нице периоди­чески обнов­ляется. Послед­няя редакция: 21.10.2017.

Логика вопросов (или интеррогативная логика) — это раздел символической логики (см. Символическая логика), исследующий логико-семантические свойства вопросительных предложений (см. Вопрос). Логика вопросов объединяет совокупность формальных средств описания отношения «вопрос — ответ». Формальные средства имитации вопросов называют интеррогативами. Примерами интеррогативов являются ли-вопросы (например: «верно ли высказывание A?»), какой-вопросы (например: «каковы все те x, которые удовлетворяют условию P(x)?»), сколько-вопросы (например: «сколько x таких, что Q(x))?») и почему-вопросы (например: «почему химическое соединение x обладает некоторым действием?»).

Существует два основных типа подходов к построению логической теории вопросов, которые можно условно назвать лингвистическими и компьютерными.

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

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

В теории вопросов Н. Белнапа и Т. Стила, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами — выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа заключается в установлении степени полноты его выбора, измеряемой по отношению ко всему множеству истинных альтернатив. Требование различения — это требование, согласно которому различные именные альтернативы должны обозначать различные реальные альтернативы. В этой теории субъектом вопроса называется множество всех возможных альтернатив. Каждый элементарный вопрос полностью характеризуется описанием субъекта вопроса и предпосылки вопроса, которая определяется требованиями выбора, степени полноты и различения.

Согласно Н. Белнапу и Т. Стилу, вопрос через свой субъект задаёт область альтернатив, а затем «предпосылает» имеющемуся списку альтернатив инструкцию, в соответствии с которой из списка альтернатив предлагается построить конкретный тип прямого ответа. Прямой ответ есть конъюнкция, построенная из высказываний S, C и D, определяющих выбор, требование полноты и требование различения соответственно. Возможны следующие виды прямых ответов: S & CDS & CSDS. Требование различения связано с особенностями естественных языков, а требование полноты соответствует коэффициенту полноты информационного поиска. Н. Белнапу и Т. Стилу фактически удалось имитировать лишь два типа вопросов — ли-вопросы и какой-вопросы.

Развитие логики вопросов обусловлено прикладными задачами построения языков запросов к базам данных, систем информационного поиска, логической систематизации социологических опросов и другими.

Библио­графия:
  1. Белнап H., Стил Т. Логика вопросов и ответов. — М., 1981.
  2. Войшвилло E. К., Петров Ю. А. Язык и логика вопросов. — В книге: Логика и методология научного познания. — М., 1974.
  3. Финн В. К. Логические проблемы информационного поиска. — М., 1976.
  4. Хинтикка Я. Вопрос о вопросах. — В книге: Философия и логика. — М., 1974.
  5. Harrah D. A Logic of Questions and Answers. — Philosophy of Science, Vol. 4, 1961.
Источник: Логика вопросов. Гуманитарная энциклопедия [Электронный ресурс] // Центр гуманитарных технологий, 2010–2017 (последняя редакция: 21.10.2017). URL: http://gtmarket.ru/concepts/6908
Авторы статьи: © В. К. Финн. Подготовка электронной публикации и общая редакция: Центр гуманитарных технологий.
Логика: понятия и концепции

Тематический раздел

Новые концепты
Базисные концепты