Логика. Погудина Т.В. - 31 стр.

UptoLike

Составители: 

Рубрика: 

символически изображается знаками: а, или "~ " (~ а), или "ā"
Табличные определения логических союзов:
Модальность суждений:
Суждение как форма содержит двоякого рода информацию - основную и
дополнительную. Дополнительная информация называется модальностью
суждения. Она может выражаться отдельными словами /может быть, обязан,
необходимо и др./, но может и не иметь явного выражения. В этом случае ее
определяют содержательным анализом. Модальность - это явно или неявно
выраженная в суждении дополнительная информация
о характере зависимо-
сти между реальными явлениями, о логическом статусе ее суждения, об оце-
ночныхнормативных, регулятивных, временных и других его характеристи-
ках. Виды модальностей: алетическая
/пер. с греч. "истинность"/: делится на логическую и фактическую, выража-
ется словами "необходимо", "возможно", "случайно", "невозможно". Напри-
мер, "Кратковременные расстройства сна могут возникать у вполне здоровых
людей". Это "физически возможно". Эпистемическая
модальность /пер. с
греч. "знание"/: делится на достоверные и проблематические. Достоверные -
это достаточно обоснованные суждения, выражаются словами "доказуемо"
/"верифицируемо"/, "опровержимо" /"фальсифицируемо"/ и "неразрешимо"
а в аvв
и и и
и л и
л и и
л л л
а в аΛв
и и и
и л л
л и л
л л л
а в аνв
и и л
и л и
л и и
л л л
а в а→в
и и и
и л л
л и и
л л и
а в а↔в
и и и
и л л
л и л
л л и
а ~ а
и л
л и