Модальная Логика

область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Логические операции), и сравнительному исследованию таких исчислений. «Модальные операторы» («возможно», «необходимо» и др.) могут относиться как к высказываниям (См. Высказывание) или Предикатам, так и к словам, выражающим какие-либо действия или поступки. Интерес к проблемам М. Л. Обусловлен прежде ..

"МОД" ("Maud") - норвежское парусно-моторное судно. Построено в 1917. Водоизмещение ок. 800 т. В 1918-20 под руководством Р. Амундсена совершено сквозное плавание Северным морским путем (с 2 зимовками). В 1922-24 дрейфовало от о. Врангеля к Новосибирским о-вам.. ..

МОДА (франц. Mode - от лат. Modus - мера, способ, правило),1) непродолжительное господство определенного вкуса в какой-либо сфере жизни или культуры. В отличие от стиля мода отражает более кратковременные и поверхностные изменения внешних форм бытовых предметов и художественных произведений. В узком смысле - смена форм и образцов одежды.2) Непрочная, быстропроходящая популярность.. ..

МОДАЛЬНОСТЬ - категория, выражающая отношение говорящего к содержанию высказывания, отношение последнего к действительности. Модальность может иметь значение утверждения, приказания, пожелания и др. Выражается специальными формами наклонений, интонацией, модальными словами (напр., "возможно", "необходимо", "должен"). В логике такие слова называются модальными операторами, с их помощью указывается способ понимания суждений (высказываний).. ..

МОДЕЛИЗМ СПОРТИВНЫЙ - конструирование, изготовление и испытание моделей летательных аппаратов, автомобилей, судов, локомотивов и др. В спортивных целях.. ..

Логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам. Играет важную роль в логической семантике.. ..

Логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам. Играет важную роль в логической семантике.. ..

..

МОДАЛЬНАЯ ЛОГИКА. ..

— раздел неклассической логики, в ко­тором исследуются логические связи модальных высказы­ваний, т. Е. Высказываний, включающих модальности. М. Л. Слага­ется из ряда направлений, каждое из которых занимается модаль­ными высказываниями определенного типа. Так, теория логических модальностей изучает логическое поведение высказываний, вклю­чающих модальные понятия «логически необходимо», «логически возможно», «логически случайно». Логика эпистемическая исследует высказывания, содержащие разного род..