- модальное высказывание
- мат. modal statement
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
импликация — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции если ..., то ... , с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном… … Словарь терминов логики
семантика возможных миров — СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… … Энциклопедия эпистемологии и философии науки
абсолютные и сравнительные модальности — модальные характеристики, приложимые к отдельным объектам и, соответственно, к парам объектов. А. м. выступают как свойства объектов. С. м. как отношения между объектами. Напр., с точки зрения какой то системы ценностей невыполнение обещания… … Словарь терминов логики
МОДАЛЬНОСТЬ — (от лат. modus мера, способ) оценка связи, устанавливаемой в высказывании, данная с той или иной т.зр. Модальная оценка выражается с помощью модальных понятий: «необходимо», «возможно», «случайно», «доказуемо», «опровержимо», «обязательно»,… … Философская энциклопедия
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия