First, one propounds a proposition, that is, one sets forth a proposition to be proved.
I was more or less prepared for a hard transition period, and therefore I was really surprised when I got a proposition from the International Forum of Young Scientists Foundation to set up and head the main office of the presently forming World Academy of Young Scientists (WAYS) in Budapest.
While theoretically a compelling proposition, in practice governments attempting to set tax levels on this basis face difficulties quantifying future costs resulting from present smoking.
Thus, these implementations maintain a proposition set perspective, but at the same time address the need for richer semantic structures as well.
It is, however, one thing for a proposition or set of propositions to be false, another altogether for it to be necessarily false.
Voters defeated a proposition setting up a Saturdaynight recreation program, 748, to 697.
Against completeness, one might say that there are circumstances in which the level of disagreement on a particular proposition (or set of propositions) is so great that forming a collective view on it is undesirable or counterproductive.
Within possible worlds semantics, propositions can be defined as functions from worlds to truth values, or as sets of worlds: a proposition is the set of worlds at which it is true.
Let us call the set of possible worlds W. A proposition is a set of possible worlds.
Alternatively, they can argue, as does Davidson (1986), that the coherence of a proposition with a set of beliefs is a good indication that the proposition corresponds to objective facts and that we can know that propositions correspond.
