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