Sentence examples for use a modal language from inspiring English sources

In this section I'll discuss the approach taken by most computer scientists, who, unlike McCarthy, use a modal language to formalize propositional attitudes.

Let ℒ be a modal language whose names and predicates represent those in some fragment of ordinary language (as in our examples (5) and (6) above).

In fact, new actualists generally tend to opt for fixed domain semantics for modal logic (as discussed briefly in note 6 above) and a modal language that contains a dedicated predicate 'C!' to express the property of concreteness.

Plantinga's semantics would thus appear to generate precisely the same truth values for the sentences of a modal language as Kripke's.

In order to be able to speak in a modal language about important distinctions between theories, researchers have extended provability logic in many different ways.

The hybridization of a modal language amounts to extending its expressive power in such a way that it becomes possible to refer in the object language to a particular state of the model (see e.g., Blackburn 2000).

Here, instead of using the modal value, the wear measurements should be calculated using a modal radius - (0.5 * 1 sd of point deviation from modal value).

Finally, Vmodal works like Vshown but uses a modal verb from the 'shownForm' stage.

Use a foreign language for commands.

Thus, using modal language in talking about the world and our agency in the world does not commit us to recognizing independent, metaphysically real necessary connections or the existence of moral facts independent of moral agents.

There is, Lewis contends, a vast array of non-actual worlds, an array that contains at least those worlds that are generated by an ingenious principle of recombination, a principle that can be stated without the use of modal language (1986: 87).