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

[psilogic]

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



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

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

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

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

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

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

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

Comments

[psilogic.livejournal.com]

да, естественно

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

[alisarin.livejournal.com]

Все прекрасно, но не стоит ли для таких форматов дополнить Булёву алгебру нек. специальными знаками. :)

[psilogic.livejournal.com]

а смайлик зачем? :)

[alisarin.livejournal.com]

Я по ней не спец. А вдруг ... уже?

Но такие форматы разработки в рамках формальных алгебр требуют.

[psilogic.livejournal.com]

да булева алгебра она как бы статичная - один раз сделали, ну и все
а дальше - да, надстройки над ней всякие можно делать