- тип суждения, предполагающий недостаток информации о соответствующем объекте и требующий ответа, объяснения. Логическая структура любого В. включает: 1) базисную информацию - то, что уже известно; 2) неизвестное - то, на что направлен В.; 3) требование перехода от данного к искомому, выраженное в местоименных языковых формах и (или) вопросительной интонации. Логические значения В. как особой формы мысли отличаются от логических значений высказываний (истина или ложь), так как в В. отсутствует утверждение или отрицание, а выражается лишь запрос, поиск, направленный на устранение незнания. В., с точки зрения присущего ему логического значения, можно характеризовать как своевременный или несвоевременный, корректный или некорректный, осмысленный или неосмысленный, понятный или непонятный, содержательный или несодержательный. Любой В. должен быть определенным, т.е. на него можно ответить утвердительно или отрицательно и существует эффективная процедура (т.е. предписание, намечающее последовательность преобразований, которые необходимо применять к каждому элементу какой-то операции, чтобы прийти к единственно правильному решению) для нахождения такого ответа. При отсутствии данной эффективной процедуры возникает проблемная ситуация. Проблемой называется такая разновидность В., ответ на который не содержится в накопленном знании и алгоритм решения которой неизвестен. Ответом на проблему выступают гипотезы. В интерактивной логике (логике В. и ответов) по способу формирования неизвестного В. принято делить на два типа: 1) В. к решению (неместоименный), выражающий стремление к уточнению или к подтверждению суждения, находящегося под вопросительным знаком, либо стремление найти истинный ответ среди суждений, находящихся под вопросительным знаком; 2) В. к дополнению (местоименный), намечающий лишь схему ответа в виде пропозициональной функции, которую необходимо превратить в истинное высказывание. В. к решению и В. к дополнению делятся на простые, которые невозможно разбить на два самостоятельных В., и сложные, разбиваемые на два или более простых В. Простые В. к решению делятся на условные ("Если телу придать третью космическую скорость, оно покинет пределы Солнечной системы?") и безусловные ("Все ли цвета радуги содержит белый свет?"). Сложные В. к решению делятся на конъюнктивные ("Верно ли, что число 47256 делится на 2 и на 3?") и дизъюнктивные в исключительном смысле ("Данный вулкан действующий или потухший?") или не исключающем смысле ("Хотите чаю или кофе?"). В В. к решению часто имеется или подразумевается частица "ли" в словосочетаниях "действительно ли", "верно ли", "надо ли", "справедливо ли" и т.д., что позволяет выделить подмножество "ли" - В. Простые и сложные В. к дополнению делятся на открытые, предусматривающие ответ в свободной форме ("По каким признакам из множества чисел выделяется подмножество рациональных чисел?"), и закрытые, требующие точного и определенного ответа в виде одного простого или сложного суждения ("Кто является автором романа "Веверлей"?", "Кто, где, когда убил Гая Юлия Цезаря?"). Неопределенность, содержащаяся в В., устраняется в ответе. Ответы по разным основаниям делят на: 1) прямые и косвенные; 2) полные и частичные; 3) исчерпывающие и не исчерпывающие; 4) допустимые и недопустимые. С.В. Воробьева