МОДАЛЬНАЯ ЛОГИКА
МОДАЛЬНАЯ ЛОГИКА — логическая теория модальностей (модальных операторов) — применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
Источник:
Большой энциклопедический словарь
на Gufo.me
Значения в других словарях
- МОДАЛЬНАЯ ЛОГИКА — МОДАЛЬНАЯ ЛОГИКА – область логики, в которой изучаются логические операторы, называемые модальностями. В качестве стандартных обычно используются (алетические) модальности: «необходимость» и «возможность». Новая философская энциклопедия
- Модальная Логика — Область логики, в к-рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа "необходимо, что.,.", "возможно, что..." и т. п. В математич. логике рассматриваются различные формальные системы М. Математическая энциклопедия
- Модальная логика — Область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Большая советская энциклопедия
- модальная логика — МОДАЛЬНАЯ ЛОГИКА — раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов... Энциклопедия эпистемологии и философии науки
