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

[psilogic]

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



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

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

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

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

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

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

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

Comments

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

[imfromjasenevo.livejournal.com]

Потому, что напимер, когда спрашивают, "Какой черт тебя сюда принес?"
совсем не хотят узнать, какой черт тебя принес.

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

[psilogic.livejournal.com]

ну это уже фразеологизм...

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

[imfromjasenevo.livejournal.com]

Да, но я в общем не к этому, а к тому, что человек, который спрашивает может не интересоваться ответом.

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

[psilogic.livejournal.com]

это да
просто тогда утверждение "я хочу знать..." - ложное

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

[imfromjasenevo.livejournal.com]

об этом и было замечание.