Sentence examples for indefinite propositions from inspiring English sources

But the truth of such indefinite propositions with empty subjects does not bear on the forms of propositions that occur in the square.

One case is what he calls indefinite propositions such as "A man is walking": nothing prevents both this proposition and "A man is not walking" being simultaneously true.

(p_{ 0.5, 0.5)}) can be read as an indefinite proposition.

The ratio true values/all values is then called by Łukasiewicz the truth-value of the indefinite proposition.

In our urn case the truth-value of the indefinite proposition 'x is a black ball in this urn' is $\frac{m}{m+n}$.

Firstly, there is the idea of a proposition (in this case an indefinite proposition) being neither true nor false; secondly, and connected with this, of such a proposition having a numerical truth-value properly between 0 (false) and 1 (true).

Łukasiewicz's theory makes constructive use of ideas plucked from elsewhere: from Frege he took the idea of a truth-value, from Whitehead and Russell the idea of an indefinite proposition, and from Bolzano the idea of the ratio of true values to all values for a proposition.

Let the indefinite proposition '$x$ is a black ball in this urn' be such that the variable '$x$' may take as value any expression naming a ball in the urn: the variable is then said to range over the individual balls, and different expressions naming the same ball to have the same value.

Kretzmann, p. 108), but adds a doubt: "It seems that when I say 'a man is running' [i.e. an I-proposition] the term 'man' does not supposit determinately, since [A] the proposition is indefinite, and [B] it is uncertain for whom the term 'man' supposits.

According to both interpretations, Ammonius and Boethius assumed that the definite truth of predictions directly implies determinism and that Aristotle denied the definite truth of all future contingent propositions; it is less clear how they understood the indefinite truth of these (Sorabji 1998).

In the first one, he recalls that categorematic common concrete terms can supposit both personaliter and simpliciter at once (mixtim) when the propositions where they occur as subjects are universal affirmative or indefinite.