Suggestions(1)
Exact(10)
(This is sometimes expressed by saying that variables range over propositions, or that they take propositions as their values).
All PC operators take propositions as their arguments, and the result of applying them is also in each case a proposition.
Versions of this view vary both according to which properties they take propositions to be, and what they take propositions to be properties of.
It has thus far been assumed that intuitions always take propositions as their objects.
Adams suggests that someone might, à la Leibniz, take propositions to be thoughts in the mind of God.
Prior's answer and in a sense it amounts to a rejection of the question is that modal functions take propositions as arguments, but propositions are logical constructions.
Similar(50)
Anyone who wonders why we take Proposition 8 so personally around here just needs to look back at this time, when the deaths started taking on an almost absurd "six degrees of Kevin Bacon" feel: everyone knew someone who had been devastated by this.
As we see clearly in Russell (1903), for instance, he takes propositions to have constituents.
But taking propositions to be truthbearers will not be to every truthmaker theorist's liking.
One standard view of propositions takes propositions to be sets of possible worlds; another takes propositions to have something more closely resembling a linguistic logical structure (see structured propositions for a detailed exposition of this issue).
Other versions of the view are defended by van Inwagen (2004), who takes propositions to be 0-place relations, and Speaks (2014a), who takes propositions to be monadic properties which are true iff they are instantiated.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com