Sentence examples for properties of sentences from inspiring English sources

The recursive characterization of truth can be used to state the semantic properties of sentences and their constituents, as a theory of meaning should.

Here it is best to distinguish between the terms 'tensed' and 'tenseless', properties of sentences, and 'timeless' and 'temporal', properties of individuals and events Copyright © 2010 by Paul Helm.

This paper is about the logical properties of sentences of the form S's are normally P, and starts from the idea that any logical theory for such sentences should meet the following simple requirement:.

Logic is of course also concerned with properties of sentences (logical truth and falsity, provability), sets of sentences (consistency), and sequences of sentences (proof); and with relations between sentences (logical equivalence and implication) and between sets of sentences and sentences (logical consequence and independence).

By enriching compositional semantics in this way, generalized 2D semantics promises a straightforward explanation of a variety of epistemic properties of sentences: e.g., why a necessary sentence like 'Hesperus is Phosphorus' is not apriori knowable, what the subject learns by accepting the sentence, or how the subject uses the sentence in reasoning.

Alternatively, one might suspect that in the end, talk of propositions is just convenient shorthand for talking about the semantic properties of sentences: perhaps sentences of a Begriffsschrift, or sentences of mentalese, or sentences of natural languages (abstracting away from their logically/semantically irrelevant properties).

We could discuss the properties of sentence connectives in terms of such quantified languages (in which open as well as closed sentences can be their arguments) but to avoid extraneous complications prefer the setting of the propositional languages with which we began.

Assume a formula φ(x) is given that is intended to express some property of sentences – truth, for instance.

Modality is a property of sentences, not part of their content, and modal sentences therefore involve both a declarative sentence and a meta-language claim about that sentence.

This other view takes the main feature of truth to be that it reports a non-trivial semantic property of sentences (e.g. corresponding with a fact in the world, or having a value in a model).

Moreover, syntax-direct translations can be used to verify properties of visual sentences during a semantic analysis phase.