Словарь логики

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