Предложения со словосочетанием «модальная логика»
На рубеже 1920-х гг. были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т. п.
Стремление обогатить язык логики и расширить её возможности привело к возникновению модальной логики.
Это придало модальной логике новое дыхание и поставило её в центр современных логических исследований.
С точки зрения модальной логики можно сказать, что в любом логически возможном мире детерминированное событие пройзойдет тогда, когда имели место детерминирующие обстоятельства (причины и законы природы).
Схемы модальной логики и семантики могут быть рассмотрены как формализации тех или иных институтов воображаемого.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: пятидверный — это что-то нейтральное, положительное или отрицательное?
Нейтральное
Положительное
Отрицательное
Не знаю
Отметим, однако, что интуитивно приемлемая теоретико-множественная интерпретация модальных логик существенно отличается от теоретико-множественной интерпретации логики классов [Сергеев, 1984], а построение такой интерпретации в ряде случаев является весьма нетривиальной задачей.
Также были построены первые модальные логики,рассматривающие понятия необходимости, возможности, случайности.
Некоторые философы пытаются применить к временным парадоксам модальную логику.
Таким образом, с позиций модальной логики норма относится к модальности долженствования, или деонтической модальности, как универсальной категории суждения о мире, выступая в трёх формах: разрешённого, запрещённого или должного.
Ассоциации к слову «логика»
Синонимы к словосочетанию «модальная логика»
Сочетаемость слова «модальный»
Сочетаемость слова «логика»
Значение словосочетания «модальная логика»
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-нибудь в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в немодальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости). (Википедия)
Афоризмы русских писателей со словом «логика»
- Нет ничего парадоксальнее женского ума: женщин трудно убедить в чем-нибудь, надо их довести до того, чтоб они убедили себя сами; порядок доказательств, которыми они уничтожают свои предубеждения, очень оригинален; чтобы выучить их диалектике, надо опрокинуть в уме своем все школьные правила логики.
- Сам процесс <Нюренбергский процесс>, его законы, его логика, его материалы и выводы разоблачили всю низость, всю гнусную и страшную сущность идей нацизма и одновременно прозвучали грозным предостережением человечеству.
- Закономерности человеческих чувств и страстей не всегда просты. Их изначальность, логика проявления и возрастания подчас не поддаются самым надежным жерновам рассудка. Сила болезненного воображения, энергия сомнений нередко ослепляют человека, туманят его разум и заполняют сердце таким гнетущим мраком, что человеку не хочется жить.
- (все афоризмы русских писателей)
Отправить комментарий
Значение словосочетания «модальная логика»
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-нибудь в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в немодальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости).
Все значения словосочетания «модальная логика»Синонимы к словосочетанию «модальная логика»
- многозначная логика
- вероятностная логика
- индуктивная логика
- логика высказываний
- логика предикатов
- (ещё синонимы...)