Является ли "вопрос" высказыванием?
В своей ЖЖ-записи Мирослав Войнаровский (ник: psilogic) выражает сомнение в том, что "вопрос" есть вид высказывания, мотивируя тем, что в классической логике истинностные значения вопросов не исчисляются. Между нами состоялась следующая дискуссия:
[psilogic] = [PL]:
[mp_gratchev] = [MG]:
http://psilogic.livejournal.com/162261.html (тема: Проект "логика для чайников". Параграф 23.)
http://psilogic.livejournal.com/162755.html (тема: Формализация вопросов)
PL> Традиционный подход состоит в том, что высказывание - это повествовательное предложение, а не вопросительное или побудительное. А что же с вопросами и приказами?
MG> Верно, "традиционный подход" именно в том и состоит, что к высказываниям относят лишь предложения, которым можно присвоить истинностные оценки "истинно" и "ложно" (в двузначной логике). Только обратите внимание, что грамматические категории вы признаете и называете: "повествовательное предложение", "вопросительное предложение", "побудительное предложение". Так почему же соответствующим логическим предложениям: "суждению", "вопросу", "побуждению", - вы отказываете в их классификации как видов обобщенной категории "высказывание"?
MG> Что касается возможности переформулировки вопросов и побуждений в утвердительные высказывательные формы, то такая переформулировка не может служить основанием исключения самостоятельного логического значения категорий "вопроса" и "побуждения" (императива).
PL> Это не я отказываю, это классическая логика отказывает.
MG> Другими словами, при переходе к неклассической логике возможен вариант объединения суждений, вопросов и побуждений в один класс высказываний. И в этом случае, возражения с вашей стороны не последуют.
PL> Конечно, возможен - лишь бы это было разумно сделано.
MG> Теперь давайте двигаться в обратном направлении. От неклассической логики к классической. Хотя неклассическая и является расширением классической логики (добавляются разделы логики вопросов, логики норм и оценок), тем не менее, два раздела общей дисциплины не могут противоречить друг другу. Не может в одном случае "вопрос" не быть высказыванием (классическая логика), а в другом - быть (неклассическая логика).
PL> Почему не может?
MG> В силу закона исключенного противоречия. Нельзя в одной части формальной логики утверждать, что "вопрос не высказывание", а в другой части той же формальной системы - прямо противоположное: "вопрос есть высказывание". В неклассической логике "вопрос" есть высказывание, которое характеризуется не-истинностной оценкой. Переход от классической к неклассической логике в отношении элементарных утверждений не отменяет её основных законов.
PL> В одной логике ничего не сказано о том, как вычислять его (вопроса - M.G. ) истинность, в другой - это добавлено.
MG> Что добавлено? Добавлено вычисление "истинности" вопроса? Как это? Ведь вопрос и в том, и в другом случае не имеет истинностных значений.
PL> Высказывание/не высказывание - это просто констатация факта предусмотрен для такого текста способ вычисления истинности или нет.
MG> И там, и там не предусмотрен ("способ вычисления истинности вопроса"). На мой взгляд, здесь нужно развивать следующий подход:
1. В обеих логиках (классической и неклассической) "вопрос" является высказыванием.
2. Логическая категория "вопрос" не включена в систему классической логики (например, "вопроса" нет в логике предикатов первого порядка).
3. В классической логике рассматриваются лишь те формы мысли, которые способны характеризоваться истинностными оценками ("истинно" и "ложно" в двузначной логике).
4. Класс высказываний, включающий элементы, несущих истинностную оценку, исчерпывается единственным элементом - "суждением", поэтому в классической логике на "высказывание" и переносятся свойства "суждения".
5. В неформальных рассуждениях, при использовании других терминов (не-истинностных: вопрос, оценка, императив), правильнее говорить: "не суждение, т.к. вопрос" (у вас записано: [“Чья это кошка?” - не высказывание, т.к. вопрос]). Либо делать оговорку согласно п.п. 1-4.
В связи с тем, что у Мирослава Войнаровского (psilogic) "вопрос" не есть высказывание, возникает проблема его (вопроса) классификации (см. здесь: http://community.livejournal.com/dia_logic/13637.html?thread=288069#t288069 ).
Мне представляется разумным отнести "вопрос", наряду с суждением, императивом и оценкой, к "высказыванию" (предложению) как более общей логической категории.