Модальная логика
область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Логические операции), и сравнительному исследованию таких исчислений. «Модальные операторы» («возможно», «необходимо» и др.) могут относиться как к высказываниям (См. Высказывание) или Предикатам, так и к словам, выражающим какие-либо действия или поступки. Интерес к проблемам М. Л. Обусловлен прежде всего естественной связью, с одной стороны, между модальностями типа «необходимо» и понятием «логического закона» (т. Е. Тождественно истинного высказывания какой-либо логической системы), а с другой — между модальностями типа «возможно» и такими гносеологическими и общенаучными понятиями, как «(эффективно) осуществимо», «вычислимо» и т.
П. В классических системах М. Л. (для которых справедлив Исключённого третьего принцип A V ⌉ A или закон снятия двойного отрицания ⌉ ⌉ А ⊃ А для модальностей имеют место соотношения двойственности, аналогичные «законам де Моргана» ⌉ (А V В) ≡ (⌉ А & ⌉ В) и ⌉ (А & В) ≡ (⌉ А V ⌉ В) алгебры логики и соответствующим эквивалентностям для Кванторов, связывающие операторы возможности и необходимости ☐ с Отрицанием ⌉. ☐A ≡ ⌉ ⌉ A и А ≡ ⌉ ☐ ⌉ A. Поэтому в аксиоматических системах М. Л. В качестве исходной вводят обычно одну модальную операцию (используя какую-либо из этих эквивалентностей в качестве определения другой операции). Аналогично вводятся и другие модальные операции (не входящие в число логических операций и не выразимые через них).
Системы М. Л. Могут быть интерпретированы в терминах многозначной логики (См. Многозначная логика) (простейшие системы — как трёхзначные. «истина», «ложь», «возможно»). Это обстоятельство, а также возможность применения М. Л. К построению теории «правдоподобных» выводов указывают на её глубокое родство с вероятностной логикой (См. Вероятностная логика). Кроме рассматривавшихся выше «абсолютных» модальностей, в М. Л. Приходится иметь дело с т. Н. Относительными, т. Е. Связанными с какими-либо условиями («А возможно, если В», и т. П.). Формализация правил обращения с ними не вызывает дополнительных трудностей и проводится с помощью аппарата ограниченных кванторов (с использованием предикатов, выражающих ограничительные условия, и логические операции материальной импликации).
Ю. А. Гастев.
Дополнительный поиск Модальная логика
На нашем сайте Вы найдете значение "Модальная логика" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Модальная логика, различные варианты толкований, скрытый смысл.
Первая буква "М". Общая длина 16 символа