meduza писал(а):
Мне нет
блин, попробую объяснить. Есть обычные человеческие рассуждения, язык, которыми все пользуются. Часть языка формализована в виде алгебры высказываний, исчисления высказываний, логики предикатов и пр. Зная эти теории можно лучше ориентироваться в языке, анализировать речь и пр. Кроме того, в обычном языке есть вопросы. Но формальной теории, описывающей вопросы, я не видел. Хотелось бы почитать для общего развития.
Я могу попытаться выдумать какие-то кусочки этой теории, если бы она была. Например, если

- высказывание, то

- вопрос, скажем первого типа. Он формализует вопрос "Верно ли высказывание

?". Должны быть и вопросы другого типа. Вопросу

должен соответствовать ответ

. В качестве ответа

, наверное, следовало бы взять высказывание, истинность которого совпадала бы с

, например

:

.
Должны быть вопросы 2-го типа

, формализующие вопрос "Какой?" естественного языка. К примеру, если

- высказывание с квантором существования, то

- вопрос, ответ на который

- это множество

. Возможно тут как-то нужн ограничить вид высказываний

.
Должна быть формализация ложного вопроса, описание "парадокса" ложного вопроса и пр.
Вот я хочу книжку с такой теорией! Понятен вопрос? Можете мне книжку назвать?