[psilogic] = [PL]: PL> 1. Высказывание/не высказывание - это просто констатация факта PL> предусмотрен для такого текста способ вычисления истинности или нет.
PL> 2. Вы неправильно записали суждения. Надо так: PL> А. "Вопрос есть высказывание в расширенной логике". PL> не-B. "Неверно, что вопрос есть высказывание в классической логике".
Резюме: Имеем, система общей логики включает, в том числе, такие две части, как: А. Классическая формальная логика. Б. Неклассическая (расширенная) формальная логика.
И оказывается, что в отношении логической категории "вопрос" эти две части не согласованы. В то время, как в "расширенной логике" вопрос является высказыванием - в "классической логике", вопрос таковым не является (на последнем настаивает Мирослав Войнаровский). psilogic: [“Чья это кошка?” – не высказывание, т.к. вопрос]. Ссылка на "способ вычисления истинности вопроса" не может быть принята во внимание, поскольку "истинность вопросов" в ЛВ (логике вопросов) не вычисляется и в "расширенной логике" за отсутствием предмета "вопросного вычисления", поскольку "вопросы" переформулируются в высказывательные формы и, далее, уже следует исчисление предикатов.
no subject
[psilogic] = [PL]:
PL> 1. Высказывание/не высказывание - это просто констатация факта
PL> предусмотрен для такого текста способ вычисления истинности или нет.
PL> 2. Вы неправильно записали суждения. Надо так:
PL> А. "Вопрос есть высказывание в расширенной логике".
PL> не-B. "Неверно, что вопрос есть высказывание в классической логике".
Резюме: Имеем, система общей логики включает, в том числе, такие две части, как:
А. Классическая формальная логика.
Б. Неклассическая (расширенная) формальная логика.
И оказывается, что в отношении логической категории "вопрос" эти две части не согласованы. В то время, как в "расширенной логике" вопрос является высказыванием - в "классической логике", вопрос таковым не является (на последнем настаивает Мирослав Войнаровский). psilogic: [“Чья это кошка?” – не высказывание, т.к. вопрос]. Ссылка на "способ вычисления истинности вопроса" не может быть принята во внимание, поскольку "истинность вопросов" в ЛВ (логике вопросов) не вычисляется и в "расширенной логике" за отсутствием предмета "вопросного вычисления", поскольку "вопросы" переформулируются в высказывательные формы и, далее, уже следует исчисление предикатов.