- логика модальностей
- мат. logic of modalities
Большой англо-русский и русско-английский словарь. 2001.
логика модальностей
Смотреть что такое "логика модальностей" в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ЛОГИКА — (греч. logike, от logikos построенный на рассуждении), дисциплина, изучающая формы и законы правильных, т.е. способных служить расширению знания, умственных построений. От Л. как науки следует отличать Л. как связь и динамику логически правильной … Российская педагогическая энциклопедия
логика неклассическая — совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе… … Словарь терминов логики
Логика норм — Деонтическая логика (от др. греч. deon долг и логика; логика норм, нормативная логика) раздел логики, исследующий логическую структуру и логические связи нормативных высказываний. Деонтическая логика является также разделом модальной логики и … Википедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
модальная логика — МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… … Энциклопедия эпистемологии и философии науки
эпистемическая логика — ЭПИСТЕМИЧЕСКАЯ ЛОГИКА ветвь модальной логики. В широком понимании ее задачей (как и доксастической логики при таком же понимании) является анализ сложно подчиненных предложений с придаточными, вводимыми союзом «что» и глаголами главного… … Энциклопедия эпистемологии и философии науки
Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… … Википедия
модальная логика — раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного… … Словарь терминов логики
