Модальный оператор - Modal operator

Модальные соединительно (или модальный оператор ) представляет собой логическую связка для модальной логики . Это оператор, который формирует предложения из предложений. В общем, модальный оператор обладает «формальным» свойством быть не- истинностным в следующем смысле: истинностное значение составных формул иногда зависит от факторов, отличных от фактического истинностного значения их компонентов. В случае алетической модальной логики можно сказать, что модальный оператор является истинно-функциональным в другом смысле, а именно, он чувствителен только к распределению истинностных значений по возможным мирам, актуальным или нет. Наконец, модальный оператор «интуитивно» характеризуется выражением модального отношения (такого как необходимость , возможность , убеждение или знание ) о предложении, к которому применяется оператор.

Интерпретация модальности

Существует несколько способов интерпретации модальных операторов в модальной логике, включая алетический , деонтический , аксиологический , эпистемический и доксастический .

Алетический

Алетические модальные операторы (M-операторы) определяют фундаментальные условия возможных миров , особенно причинность , пространственно-временные параметры и способность людей к действию. Они указывают на возможность , невозможность и необходимость действий, положения дел, событий, людей и качества в возможных мирах.

Деонтический

Деонтические модальные операторы (P-операторы) влияют на построение возможных миров как предписывающие или предписывающие нормы, то есть они указывают, что запрещено, обязательное или разрешенное.

Аксиологический

Аксиологические модальные операторы (G-операторы) преобразуют мировые сущности в ценности и отрицательные ценности с точки зрения социальной группы, культуры или исторического периода. Аксиологические модальности - это в высшей степени субъективные категории: то, что хорошо для одного человека, может считаться плохим другим.

Эпистемический

Эпистемические модальные операторы (K-операторы) отражают уровень знания, незнания и веры в возможный мир.

Doxastic

Доксастические модальные операторы выражают веру в утверждения.

Буломейная

Булломаические модальные операторы выражают желание.