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

[psilogic]

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



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

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

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

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

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

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

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

Comments

[mp-gratchev.livejournal.com]

"Пусть дана какая-нибудь математическая логика L, в которой истинность вопросов не определена". -- Множество "математических логик", где возможна истинность вопроса, пусто.

[mp_gratchev] = [MG]:
MG> А1. "Вопрос есть высказывание в любой логике"
MG> А2. "Неверно, что А1".
MG> А3. "Вопрос есть высказывание только и только в расширенной логике"

"A1, A2, A3 неверно". -- Из двух предложений A1 и A2 может быть неверным лишь какое-то одно.

А3. "Вопрос есть высказывание только и только в расширенной логике" (Грачёв).
А4. "Вопрос есть высказывание в расширенной логике" (Войнаровский).

Если неверно А3 и верно А4, то существует ещё некая логика, в которой вопрос есть высказывание.

"Диалектическая логика не входит" -- Диалектическую логику я привел для образца. Я полагал, что вы предложите встречные положительные примеры, а не отрицательные.

[psilogic.livejournal.com]

[ Из двух предложений A1 и A2 может быть неверным лишь какое-то одно. ]

прокосел. A2 верно

[ существует ещё некая логика, в которой вопрос есть высказывание. ]

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