Modality

A property of a judgement characterizing its degree of certainty. Different modalities and the interelations between them are studied in modal logic. The modalities "necessary" and "possible" have been studied in logic since Aristotle (4th century B.C.) who, however, did not impart a precise meaning to them. These modalities are called fundamental and are denoted by the symbols and (or and ), respectively. Various combinations of the fundamental modalities and the negation are also modalities. The dual of a modality is the modality obtained from by replacing each occurrence of by , and conversely. In most systems of modal logic, for a modality and its dual the equivalence

(*)

holds.

In principle, it is possible to form an infinite number of combinations of , and ; however, in concrete systems the number of pairwise inequivalent modalities often remains bounded (in view of (*) and the presence of axioms simplifying certain modalities, or reducing one modality to another). For example, in the system S3 there are exactly 40 different modalities, and in S4 there are only 12:

and their duals. In S5 there are only 4 modalities: , , , . On the other hand, in the system of modal logic T, and also in S1 and S2, the number of modalities is infinite and, even more, there are no reductions of modalities; that is, two positive (not containing ) modalities, and are equivalent if and only if .

Sometimes the term modality refers to such notions (formalized in corresponding theories) as "truth" , "provability" , "disprovability" , and is also connected with the temporal "will be" , "always was" , etc.

For references see Modal logic.