Sentence examples for propositional theory from inspiring English sources

Given a propositional theory T and a proposition q, a sufficient condition of q is one that will make q true under T, and a necessary condition of q is one that has to be true for q to be true under T. In this paper, we propose a notion of strongest necessary and weakest sufficient conditions.

Thus the last two rules of inference and the last two axiom schemas are absent from the propositional theory.

Determining whether a propositional theory is satisfiable is a prototypical example of an NP-complete problem.

Despite this, Kosslyn has continued to set up and knock down this same straw-man, as a centerpiece of his critique of "propositional theory", in subsequent writings (e.g., Kosslyn, 1994 pp. 8 & 12; Kosslyn, Thompson, & Ganis, 2006 p. 28)).

Even if these extensions are rejected as unnecessarily complicated, Brentano's existential analysis offers a viable alternative to the propositional theory for basic kinds of judgements, like the ones used in syllogistic.

In this paper we show how propositional default theories can be characterized by classical propositional theories: for each finite default theory, we show a classical propositional theory such that there is a one-to-one correspondence between models for the latter and extensions of the former.

Uncertain conditional judgements create difficulties for all propositional theories.

This thesis marks the contrast to all propositional theories of judgement.

Propositional theories assume that a complete sentence (or a that-clause) is needed for expressing the content of a judgement.

We apply a similar approach to define supported models for arbitrary propositional theories, and to study their properties.

Recall that propositional theories supplement this theory of reference with an extra layer with a theory which assigns a content, as well as a reference, to each meaningful expression.