– это высказывание, которое устраняет неопределенность, содержащуюся в вопросе. Идеальная вопросно-ответная ситуация подразумевает, что логически корректный вопрос должен быть определенным (то есть на него можно ответить утвердительно или отрицательно) и что существует эффективная процедура (то есть предписание, указывающее на последовательность шагов, которые необходимо предпринять, чтобы прийти к единственно правильному решению) для нахождения такого ответа. При отсутствии эффективной процедуры нахождения ответа возникает
проблемная ситуация. Так, Л. Витгенштейн в «Логико-философском трактате» (1921) писал: «Для ответа, который невозможно высказать, нельзя также высказать и вопрос. Тайны не существует. Если вопрос вообще может быть поставлен, то на него можно и ответить…» Существует два основных типа подходов к построению логической теории вопросов, которые можно условно назвать
лингвистическими и
компьютерными. Согласно первому подходу, материалом для построения формальных имитаций вопросов служат реально существующие вопросы естественного языка. В рамках этого подхода строится перевод вопроса некоторого типа в соответствующий ему интеррогатив. Такой перевод существует, если для этого вопроса может быть точно описан ответ, то есть если определимо отношение «вопрос – ответ». Согласно второму подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационных системах, ориентированный на решение некоторой совокупности информационно-поисковых задач. Каждой такой задаче соответствует предписание, в котором содержится императив – требование ее решения. Таким образом, в рамках этого подхода вопрос понимается как запрос (требование информации определенного типа), адресованный к информационной системе. Логика вопросов широко используется в ряде направлений современной философии и социологии, а также для решения прикладных задач программирования, включающих, прежде всего, построение языков запросов к базам данных, систем информационного поиска, анализа больших объемов данных и другие
23.
Сразу отметим, что такой подход к изучению вопрошания оставляет в стороне основные практики с вопрошаниями, за исключением формальной логики и программирования. А нас интересует именно это основное множество.