The modality of a proposition is the way in which it is true or false. The most important division is between propositions true of necessity, and those true as things are: necessary as opposed to contingent propositions. Other qualifiers sometimes called modal include the tense indicators ‘It will be the case that p ’ or ‘It was the case that p ’, and there are affinities between the deontic indicators ‘it ought to be the case that p ’ or ‘it is permissible that p ’, and the logical modalities. See also modal logic.
Philosophy dictionary. Academic. 2011.