- Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-нибудь в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в...
Вы здесь
- Таким образом, с позиций модальной логики норма относится к модальности долженствования, или деонтической модальности, как универсальной категории суждения о мире, выступая в трёх формах: разрешённого, запрещённого или должного.
- Для доказательства обратного им пришлось прибегнуть к модальной логике.
- Апофеозом этого в логике была так называемая семантика возможных миров, разновидность модальной логики, зародившаяся в конце 1960-х годов.
- Когда он ответил нам, что никто из преподавателей не согласился читать этот курс, я и мои сокурсники стали самостоятельно изучать ключевые статьи, посвящённые философским проблемам, связанным с модальной логикой.
- Наряду с исследованиями в области философии неопозитивизма он проводил исследования в области вероятностной, модальной логики, а также активно занимался разработкой проблем семантики — науки о значении понятий языка.
- Основное внимание в модальной логике отводится абсолютным модальностям.
- Раздел модальной логики, исследующей такие понятия, называется эпистемической логикой.
- Модальная логика возникла в результате обогащения языка логики и расширения её возможностей выражения.