![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Формализация вопросов
Традиционный подход состоит в том, что высказывание - это повествовательное предложение, а не вопросительное или побудительное. А что же с вопросами и приказами? По этому поводу, может быть, потом надо будет написать отдельную главку в "логике для чайников", а пока в стиле "галопом по европам" для тех, кто понимает...
Вопросы и приказы тоже формализуются "в легкую", просто это будет уже "нетрадиционная медицина".
Всякое вопросительное предложение можно свести к повествовательному:
"Чья это кошка?" -> "Я хочу знать, чья это кошка."
"Чья это кошка?" -> "У меня к вам вопрос о том, чья это кошка."
"Это ваша кошка?" -> "Хотелось бы узнать, ваша ли это кошка."
Всякое побудительное предложение можно свести к повествовательному:
"Заткни свою кошку!" -> "Я требую, чтобы вы заткнули свою кошку."
"Пропустите, пожалуйста..." -> "Я прошу, чтобы меня пропустили."
Также можно вопросы формализовать уравнениями. Пусть предикат Кошка(t) означает принадлежность кошки владельцу t.
Тогда общий вопрос
"Чья это кошка?"
- формализуется уравнением
Кошка(x) = true, где x - неизвестная
Частный вопрос
"Это ваша кошка?"
- формализуется уравнением
Кошка(ваша) = x, где x - неизвестная
А парадокс лжеца формализуется уравнением:
x = (x = false)
Вместо "=" везде можно писать "<=>"
Вопросы и приказы тоже формализуются "в легкую", просто это будет уже "нетрадиционная медицина".
Всякое вопросительное предложение можно свести к повествовательному:
"Чья это кошка?" -> "Я хочу знать, чья это кошка."
"Чья это кошка?" -> "У меня к вам вопрос о том, чья это кошка."
"Это ваша кошка?" -> "Хотелось бы узнать, ваша ли это кошка."
Всякое побудительное предложение можно свести к повествовательному:
"Заткни свою кошку!" -> "Я требую, чтобы вы заткнули свою кошку."
"Пропустите, пожалуйста..." -> "Я прошу, чтобы меня пропустили."
Также можно вопросы формализовать уравнениями. Пусть предикат Кошка(t) означает принадлежность кошки владельцу t.
Тогда общий вопрос
"Чья это кошка?"
- формализуется уравнением
Кошка(x) = true, где x - неизвестная
Частный вопрос
"Это ваша кошка?"
- формализуется уравнением
Кошка(ваша) = x, где x - неизвестная
А парадокс лжеца формализуется уравнением:
x = (x = false)
Вместо "=" везде можно писать "<=>"
no subject
и, кстати, вопросы являются частным случаем побудительных предложений.
побудительное просит (приказывает, молит) что-то сделать
вопрос просит (приказывает, молит) сделать вполне определенную вещь: поделиться информацией
no subject
no subject
no subject
Но такие форматы разработки в рамках формальных алгебр требуют.
no subject
а дальше - да, надстройки над ней всякие можно делать