Формализация вопросов

[psilogic]

Традиционный подход состоит в том, что высказывание - это повествовательное предложение, а не вопросительное или побудительное. А что же с вопросами и приказами? По этому поводу, может быть, потом надо будет написать отдельную главку в "логике для чайников", а пока в стиле "галопом по европам" для тех, кто понимает...



Вопросы и приказы тоже формализуются "в легкую", просто это будет уже "нетрадиционная медицина".

Всякое вопросительное предложение можно свести к повествовательному:
"Чья это кошка?" -> "Я хочу знать, чья это кошка."
"Чья это кошка?" -> "У меня к вам вопрос о том, чья это кошка."
"Это ваша кошка?" -> "Хотелось бы узнать, ваша ли это кошка."
Всякое побудительное предложение можно свести к повествовательному:
"Заткни свою кошку!" -> "Я требую, чтобы вы заткнули свою кошку."
"Пропустите, пожалуйста..." -> "Я прошу, чтобы меня пропустили."

Также можно вопросы формализовать уравнениями. Пусть предикат Кошка(t) означает принадлежность кошки владельцу t.

Тогда общий вопрос
"Чья это кошка?"
- формализуется уравнением
Кошка(x) = true, где x - неизвестная

Частный вопрос
"Это ваша кошка?"
- формализуется уравнением
Кошка(ваша) = x, где x - неизвестная

А парадокс лжеца формализуется уравнением:
x = (x = false)

Вместо "=" везде можно писать "<=>"

Comments

[alisarin.livejournal.com]

Во!

Вопрос - это предложение стороне в коммуникации дополнить некую структуру (интерпретации) неким следующим элементом.
:)

Предложение - это вызов активности некоторого оператора. :))

Брошу свои пять копеек

[imfromjasenevo.livejournal.com]

"Я хочу знать, чья это кошка." ->"Чья это кошка?"
более точно, а обратное не всегда верно.

[mp-gratchev.livejournal.com]

Традиционный подход состоит в том, что высказывание - это повествовательное предложение, а не вопросительное или побудительное. А что же с вопросами и приказами?

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

Что касается возможности переформулировки вопросов и побуждений в утвердительные высказывательные формы, то такая переформулировка не может служить основанием исключения самостоятельного логического значения категорий "вопроса" и "побуждения" (императива).

[oya-exclusive.livejournal.com]

когда я рассказываю о высказываниях, обязательно упоминаю, что хоть воспросительное предложение и не является высказыванием (за исключение риторических вопросов, кстати), зачастую в его основе лежит истинное суждение.
Например, "кто это стучится?" - "кто-то постучал"

[gilrain.livejournal.com]

вопросительные предложения корректнее было бы сводить к конструкции "я не знаю, [...].
при этом становится явным отличие обычных вопросов от риторических (для риторических полученное утверждение оказывается ложным).