Content deleted Content added
Owndifiction (talk | contribs) m →Modality interpreted: Added boulomaic modal operator |
|||
Line 1:
{{Unreferenced|date=May 2019|bot=noref (GreenC bot)}}
A '''modal connective''' (or '''modal operator''') is a [[logical connective]] for [[modal logic]]. It is an [[binary function|operator]] which forms [[proposition]]s from propositions. In general, a modal operator has the "formal" property of being non-[[truth function|truth-functional]] in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as [[Logical truth|necessity]], [[Logical possibility|possibility]], [[belief]], or [[knowledge]]) about the proposition to which the operator is applied.
== Syntax for modal operators ==
The syntax rules for modal operators <math>\Box</math> and <math>\Diamond</math> are very similar to those for universal and existential [[Quantifier (logic)|quantifiers]]; In fact, any formula with modal operators <math>\Box</math> and <math>\Diamond</math>, and the usual [[Logical connective|logical connectives]] in [[propositional calculus]] (<math> \land,\lor,\neg,\rightarrow,\leftrightarrow </math>) can be [[Rewriting#Logic|rewritten]] to a [[De dicto and de re|''de dicto'']] normal form, similar to [[prenex normal form]]. When there are quantifiers involved, though, different order of an adjacent pair of modal operator and quantifier can lead to [[De dicto and de re#Representing de dicto and de re in modal logic|different semantic meanings]]; Also, when [[multimodal logic]] is involved, different order of an adjacent pair of modal operators can also lead to different semantic meanings.
== Modality interpreted ==
| |||