Proposition — In logic and philosophy of language, a proposition is the declarative content of a statement: what is said when one makes an assertion, and which can be true or false. The fundamental distinction separates the sentence — the linguistic expression, a sequence of words in a particular language — from the proposition, the abstract content that the sentence expresses. This is why “Snow is white” and “La neige est blanche” express the same proposition, whereas a single sentence such as “I am hungry” expresses different propositions depending on who utters it. Gottlob Frege, in “Der Gedanke” (1918), called propositions Gedanken (thoughts) and conceived them not as private psychological states but as objective, atemporal contents and the primary bearers of truth value — identifying the Gedanke with the sense (Sinn) of a declarative sentence (the reference/Bedeutung being its truth value). Bertrand Russell, in his realist phase (Principles of Mathematics, 1903), defended structured propositions, which contain the objects themselves as constituents; his “On Denoting” (1905), far from refining that analysis, marked a departure from it — the theory of descriptions was precisely the instrument of that break — and contemporary authors such as Nathan Salmon and Scott Soames have revived neo-Russellian versions of the structured view. A rival conception, tied to possible-worlds semantics (Stalnaker, Lewis), identifies the proposition with the set of possible worlds in which the sentence is true — an elegant approach, but one that makes all necessary truths identical. Propositions are also indispensable to the propositional attitudes (belief, desire, hope), analysed in the form “S believes that p”, which links the debate to the philosophy of mind and the theory of intentionality.
← Glossary