Sentence examples for sentential operator from inspiring English sources

We can use the sentential operator "□" for metaphysical necessity, the one-place predicate "E" for existence, and the two-place sentential operator "→" for material implication.

So we'll need a sentential operator \ \Diamond\) in our language to represent metaphysical possibility.

Your full corpus of beliefs is a set of such sentences we call \(K\) (not to be confused with the sentential operator \(K\) from epistemic logic (§4.1)).

The language of modal logic is the same as ordinary, classical logic, but with an additional sentential operator, \ \Box\), thrown in to represent necessity.

Alternative ways of taking 'a is red at t' include treating 'at t' as an adverbial modifier, or as a sentential operator.

Probability is treated as a sentential operator in the language, so it can be arbitrarily nested and combined with other logical operators.

Similarly, it seems there are locative sentential operators 'in Chicago, it is raining'.

It is also possible to treat the sentential operators "necessarily" and "possibly" as non-logical operators in an intensional language (Kuhn 1981).

The subtleties and intricacies of proof theory and of the truth conditions for sentential operators do not, he believes, help us better understand Socrates' humanity (Meta III 6 m177).

But one might also capture lawlikeness in a first-order modal language supplemented with sentential operators for natural necessity and natural possibility (Niiniluoto 1983).

It was therefore an important discovery that these quantifiers could all be defined in terms of ∀ and sentential operators (replacing all(A, B) by ∀x(A x) → B x)), some(A, B) by ¬∀x(A x) → ¬B x)), etc).