Sentence examples for necessity operators from inspiring English sources

The properties listed in (6) can very naturally be called 'kinds of necessity,' and in some contexts they are the properties expressed by necessity operators like 'must' and 'could not have been otherwise.' But that is not true of every property that can be defined from some kind of necessity by relativization or restriction.

The fallacy, therefore, concerns the scope of the necessity operator.

For example, the second necessity operator could be interpreted as normative (rather than metaphysical) necessity.

To compare the two, Meyer added a necessity operator to R (to produce the logic NR).

The resulting criterion is fairly stringent: it counts the S5 necessity operator as a logical constant, but not the S4 necessity operator or the H operator in temporal logic.

The necessity operator □ can also be introduced and defined, though Lewis does not, in the usual way as ¬◊¬.

Notice that strong superveniencem is formulated just like weak superveniencem, except that it contains one more necessity operator.

It should also be mentioned that we can define the necessity operator, □, in the usual manner, i.e., as ~ ◊ ~.

This principle, minus the necessity operator, is endorsed in Casati and Varzi (1999) and labeled 'Weak Expansivity' by Parsons (2007).

When we combine the operators 'Fixedly' and 'Actually'F('F A'), the complex operator behaves like a necessity operator ranging over possible worlds playing the actual world role.

Since, semantically speaking, the necessity operator is literally a universal quantifier, the definition corresponds exactly to the definition (7) of the existential quantifier.