![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicИзмерение истинности: высказывание
Истинность – это основная величина, которая измеряется в логике. Для того, чтобы четко определить это понятие, опишу максимально подробно процесс измерения. Потом рассмотрю примеры.
Прежде всего: что является объектом измерения? Это обозначение на каком-нибудь языке, но не любое. В русском языке объектом для измерения истинности обычно становится какое-нибудь законченное повествовательное предложение. Вопросительные, побудительные предложения не годятся. Также не годятся обрывки фраз, которые не выражают законченного утверждения.
Тексты, истинность которых измерить можно, называются “высказываниями”. Высказывание – специальный термин в логике. В обиходном языке есть понятия, похожие по смыслу: “утверждение”, “мнение”, “суждение”.
Вот несколько примеров.
“Это ваша кошка.”
– высказывание.
“Это ваша кошка?”
– не высказывание, т.к. вопрос.
“Чья это кошка?”
– не высказывание, т.к. вопрос.
“Уберите за своей кошкой!”
– не высказывание, т.к. побудительное предложение (в виде приказа).
“Прошу вас помолиться за душу вашей кошки.”
– эта или любая другая просьба – тоже побудительное предложение, хотя в конце восклицательный знак ставят не всегда.
“Не могли бы вы убрать за своей кошкой?”
– не высказывание, т.к. это просьба, выраженная в форме вопроса.
“Я думаю, что ваша кошка...”
– если окончание этой фразы нельзя угадать, утверждение останется незаконченным, и это будет не высказывание.
“ваша кошка”
– не высказывание, т.к. текст не выражает законченного утверждения, хотя может быть фрагментом такого утверждения.
“ваша кошка подохла”
– высказывание. Хотя это тоже фрагмент какой-то фразы (например: “Мне сказали, что ваша кошка подолха еще вчера.”), но этот фрагмент выражает законченное утверждение.
Если мы знаем, как определить истинность текста, то это – высказывание. Иначе – нет. Как определить истинность вопроса? “Стандартного”, принятого в математике способа нет. Только поэтому вопрос – не высказывание. В принципе, можно придумать какой-нибудь способ, но это уже выходит за рамки темы.
Итак “высказывание” – это обозначение, для которого имеется способ определить его истинность. Способы тоже скоро будут рассмотрены.
Читайте в следующей серии:
"Измерение истинности: двузначная логика"
Истинность – это основная величина, которая измеряется в логике. Для того, чтобы четко определить это понятие, опишу максимально подробно процесс измерения. Потом рассмотрю примеры.
Прежде всего: что является объектом измерения? Это обозначение на каком-нибудь языке, но не любое. В русском языке объектом для измерения истинности обычно становится какое-нибудь законченное повествовательное предложение. Вопросительные, побудительные предложения не годятся. Также не годятся обрывки фраз, которые не выражают законченного утверждения.
Тексты, истинность которых измерить можно, называются “высказываниями”. Высказывание – специальный термин в логике. В обиходном языке есть понятия, похожие по смыслу: “утверждение”, “мнение”, “суждение”.
Вот несколько примеров.
“Это ваша кошка.”
– высказывание.
“Это ваша кошка?”
– не высказывание, т.к. вопрос.
“Чья это кошка?”
– не высказывание, т.к. вопрос.
“Уберите за своей кошкой!”
– не высказывание, т.к. побудительное предложение (в виде приказа).
“Прошу вас помолиться за душу вашей кошки.”
– эта или любая другая просьба – тоже побудительное предложение, хотя в конце восклицательный знак ставят не всегда.
“Не могли бы вы убрать за своей кошкой?”
– не высказывание, т.к. это просьба, выраженная в форме вопроса.
“Я думаю, что ваша кошка...”
– если окончание этой фразы нельзя угадать, утверждение останется незаконченным, и это будет не высказывание.
“ваша кошка”
– не высказывание, т.к. текст не выражает законченного утверждения, хотя может быть фрагментом такого утверждения.
“ваша кошка подохла”
– высказывание. Хотя это тоже фрагмент какой-то фразы (например: “Мне сказали, что ваша кошка подолха еще вчера.”), но этот фрагмент выражает законченное утверждение.
Если мы знаем, как определить истинность текста, то это – высказывание. Иначе – нет. Как определить истинность вопроса? “Стандартного”, принятого в математике способа нет. Только поэтому вопрос – не высказывание. В принципе, можно придумать какой-нибудь способ, но это уже выходит за рамки темы.
Итак “высказывание” – это обозначение, для которого имеется способ определить его истинность. Способы тоже скоро будут рассмотрены.
Читайте в следующей серии:
"Измерение истинности: двузначная логика"
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2007-01-27 02:40 am (UTC)[psilogic] = [PL]:
PL> 1. Высказывание/не высказывание - это просто констатация факта
PL> предусмотрен для такого текста способ вычисления истинности или нет.
PL> 2. Вы неправильно записали суждения. Надо так:
PL> А. "Вопрос есть высказывание в расширенной логике".
PL> не-B. "Неверно, что вопрос есть высказывание в классической логике".
Резюме: Имеем, система общей логики включает, в том числе, такие две части, как:
А. Классическая формальная логика.
Б. Неклассическая (расширенная) формальная логика.
И оказывается, что в отношении логической категории "вопрос" эти две части не согласованы. В то время, как в "расширенной логике" вопрос является высказыванием - в "классической логике", вопрос таковым не является (на последнем настаивает Мирослав Войнаровский). psilogic: [“Чья это кошка?” – не высказывание, т.к. вопрос]. Ссылка на "способ вычисления истинности вопроса" не может быть принята во внимание, поскольку "истинность вопросов" в ЛВ (логике вопросов) не вычисляется и в "расширенной логике" за отсутствием предмета "вопросного вычисления", поскольку "вопросы" переформулируются в высказывательные формы и, далее, уже следует исчисление предикатов.