МОДАЛЬНАЯ ЛОГИКА
область логики,
посвящённая изучению модальностей, построению исчислений, в
к-рых модальности применяются к высказываниям, наряду с логическими
операциями, и сравнительному исследованию таких исчислений. "Модальные
операторы" ("возможно", "необходимо" и др.) могут относиться как к высказываниям
или
предикатам, так и к словам, выражающим к.-л. действия или поступки.
Интерес к проблемам М. л. обусловлен прежде всего естественной связью,
с одной стороны, между модальностями типа "необходимо" и понятием "логического
закона" (т. е. тождественно истинного высказывания к.-л. логич. системы),
а с другой - между модальностями типа "возможно" и такими гносеологич.
и общенауч. понятиями, как "(эффективно) осуществимо", "вычислимо" и т.
п.
В классич. системах М. л. (для к-рых справедлив
исключённого
третьего прин-
нем.: sollen, konnen, wollen и др.); др.
модальными словами (напр., рус.: "кажется", "пожалуй"; англ.: perhaps,
likely); интонационными средствами. Различные языки грамматически по-разному
выражают разные значения М. Так, англ, язык выражает значение ирреальной
М. при помощи спец. наклонения (т. н. Subjunctive II, напр.: If you had
come in time we should have been able to catch the train), в ягнобском
языке формы настояще-будущего времени могут иметь модальные оттенки косвенного
приказания, приглашения к действию, решимости сделать что-либо, допущения
и др.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я