For example, there is the proposition that cats have four legs.
On all likeness approaches Z is the proposition that is furthest from the truth.
So the truth with the least probability on the evidence is the proposition that is closest to the whole truth.
Propositional attitudes are then relations between a person and an ordered n-tuple that is the proposition that is the content of the attitude.
This is the proposition that is analyzed and critiqued by Thomas Aquinas in his De unitate intellectus contra Averroistas (1269) [TUIA].
According to the second version, only one of these propositions is semantically expressed by the sentence, while the other is the proposition that is communicated by a typical assertoric use of the sentence.
The thrust of (5) is the proposition that no matter what object we supply as argument, the propositional function $x$ is self-identical will map it into a true proposition.
Neither is the proposition that Greece will manage to stay in the euro.
Yet so popular is the proposition that no politician dare challenge it.
Second is the proposition that, in the long run, the rate of profit for capitalist enterprises has to fall.
The Design Argument is the proposition that the presence of order in the universe is evidence for the existence of God.
