Modal operator

From Wikipedia, the free encyclopedia
Jump to: navigation, search

A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional, and is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied.

Modality interpreted[edit]

There are several ways to interpret modal operators in modal logic, including: alethic, deontic, axiological, epistemic, and doxastic.

Alethic[edit]

Alethic modal operators (M-operators) determine the fundamental conditions of possible worlds, especially causality, time-space parameters, and the action capacity of persons. They indicate the possibility, impossibility and necessity of actions, states of affairs, events, people, and qualities in the possible worlds.

Deontic[edit]

Deontic modal operators (P-operators) influence the construction of possible worlds as proscriptive or prescriptive norms, i.e. they indicate what is prohibited, obligatory, or permitted.

Axiological[edit]

Axiological modal operators (G-operators) transform the world's entities into values and disvalues as seen by a social group, a culture, or a historical period. Axiological modalities are highly subjective categories: what is good for one person may be considered as bad by another one.

Epistemic[edit]

Epistemic modal operators (K-operators) reflect the level of knowledge, ignorance and belief in the possible world.

Doxastic[edit]

Doxastic modal operators express belief in statements.