A false proposition (like h&r&~w) can be closer to the truth than some true propositions (like h).
A debate club attracted surprisingly animated audiences for subversive propositions like "Democracy is the best form of government".
We have sketched this view for simple propositions like the proposition that Ramey sings.
A state of affairs for Plantinga is a proposition-like entity that either obtains — [Socrates' having been a philosopher], say — or does not — [There being Aliens], say.
The idea is that, for each proposition \(A\) in \(\mathcal{F}\), there is not just a fact of the matter about what the frequency of truths amongst propositions like \(A\) actually is; there is also a fact of the matter about what the frequency of truths amongst propositions like \(A\) would be if there were more propositions like \(A\).
So what it is for a proposition like You are happy to be true in another world is not for you to be happy in that world; you aren't in that world.
Initialization sequence (init-pop) The full initialization sequence goes like this: 1. Create each person, storing specifications of proposition inputs, analog sets, a list of which propositions should be "perceived" initially, and additional semantic rules for propositions and predicates.
Marriage propositions like Ms. Baker's are apparently common.
That is, as opposed to general propositions like [All men are animals] and [There are Aliens], some propositions are, in the words of Arthur Prior, "directly about" specific individuals — for example, the proposition [Winston Churchill was a German citizen].
Instead, propositions like (7) contain individual essences as constituents.
"Probably it's my small town upbringing and the fact that I've been going to church all my life," said Lewis Cain of Sacramento, who voted for Proposition 22. "It just seemed like the right thing to do".
