Логика вопросов
Ло́гика вопро́сов, эротетическая [от греч. ἐρωτητιϰή (τέχνη) – эротетика, наука и искусство задавать вопросы], или интеррогативная (от лат. interrogativus – вопросительный), логика, раздел неклассической логики, исследующий вопросно-ответные отношения формальными методами. Обычно выделяют следующие типы вопросов: «ли-вопросы» (Чётно или нечётно число два?), «какой-вопросы», «сколько-вопросы», «почему-вопросы» и др. Интеррогативы, являющиеся формальным представлением вопроса, – это выражения вида ?ρσ, где σ – субъект вопроса, ρ – предпосылка, а ? обозначает функцию, сопоставляющую предпосылке и субъекту вопрос.
Логика вопросов начала развиваться с 1930-х гг. в работах К. Айдукевича (первым применил формально-логические средства для анализа вопросов), М. и А. Н. Прайор (Новая Зеландия; в 1955 ввели термин «эротетическая логика»), Т. Кубиньского (Польша), Я. Хинтикки, Н. Белнапа и Т. Стила (США), Е. К. Войшвилло, Ю. А. Петрова и др.
Логика вопросов используется в информационных системах, ориентированных на решение информационно-поисковых задач. Формализация вопросов в информационном языке осуществляется на базе проблемно ориентированной семантики, каждому типу вопросов соответствует специальное вопросно-ответное отношение, а вопрос понимается как запрос, адресованный информационной системе.