По-видимому, некоторые результаты, относящиеся к логике команд (требований), также являются полезными. Но нам едва ли здесь нужна эта логика. Значение императивного элемента в сложных проблемах логики вопросов невелико, как это показывается тем фактом, что проблемы, связанные с непрямыми вопросами, едва ли более просты, чем проблемы, связанные с прямыми вопросами, хотя, по-видимому, там (т.е. в прямых вопросах) не будет никаких императивных операторов (даже в их более глубокой структуре). Тесная связь между вопросами и императивами допускалась Кацем, но он не разрабатывает идею систематически и не упоминает, что она уже была осуществлена и использована Аквистом.
Тем не менее одна проблема при формулировании императивного оператора должна быть упомянута. Любая удовлетворительная формулировка должна выяснить факт, о котором действительно спрашивающий не только хочет быть информирован, но и хочет иметь информацию, обеспечиваемую персоной, к которой адресуется этот вопрос. Это аналогично факту, что императив обычно адресуется к специфичному человеку и касается того, что он должен сделать или чего он не должен делать. Не ясно, каким образом должна быть выражена эта релятивизация к персоне (ибо таким образом релятивизованные операторы не изучались систематически логиками, одно из наиболее важных исключений — Хилпинен).
К счастью, мне кажется, что эти проблемы не затрагивают того остального, о чем я хочу сказать, ибо большинство свойств логического и грамматического поведения вопроса зависят только от его дезидератума.
С этим связано то мнение относительно императивного оператора, что императив не является абсолютным, а зависит от истинности предпосылки вопроса.
Таким образом, парафраз
(1) Кто убьет Робина Кука?
как
(2) Сделай так, что я знаю, кто убьет Робина Кука, является неточным. Обычно спрашивающий не хочет убийства Робина Кука. Дезидератумом (2) — описанием состояния дел, которое спрашивающий хочет осуществить, является
(3) Я знаю, кто убьет Робина Кука, которое, может быть, влечет
(4) Кто-то убьет Робина Кука, которое необязательно является частью того, что хочет спрашивающий. Более точным парафразом поэтому будет
(5) Допуская, что Робин Кук будет убит, сделай так, что я знаю кто убьет Робина Кука.
Мы вернемся к проблеме предпосылок вопроса позднее. Эго приведет меня к расширению, в некоторых отношениях, того, что только что говорилось об условной природе вопросов.
Ввиду факта, что анализ вопросов, только что очерченный, уже использовался (и защищался) Леннартом Аквистом, может показаться, что все, что может быть сделано здесь, уже сделано им. Аквист действительно написал подробную работу по логике вопросов. Он основывает свое обсуждение на только что упомянутой идее, а именно, что вопрос является некоторым типом императива, требующим увеличить знание задающего вопрос. Именно эта идея является плодотворной для всей логики вопросов в целом. В этом смысле Аквист полностью прав. Однако эта позиция может быть развита далее в нескольких направлениях, которые сам Аквист не развивает.
Прежде всего, подход, который он использует, может быть применен для того, чтобы обсуждать роль вопросов в естественных языках. Кроме того, в самой эпистемической логике Аквист не понимает полностью взаимосвязь кванторов с эпистемическими операторами, лишая тем самым эпистемическую логику дальнейших интересных проникновений. Под этим я понимаю недооценку проблемы квантификации в эпистемических контекстах с точки зрения логической семантики (в смысле Тарского и Карнапа).