Proposition

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Proposition" – news · newspapers · books · scholar · JSTOR (February 2023) (Learn how and when to remove this message)

A proposition is a statement that can be either true or false.^[1] It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the objects denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue.

Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value ${\displaystyle T}$ if given the actual world as input, but would return ${\displaystyle F}$ if given some alternate world where the sky is green. However, a number of alternative formalizations have been proposed, notably the structured propositions view.

Propositions have played a large role throughout the history of logic, linguistics, philosophy of language, and related disciplines. Some researchers have doubted whether a consistent definition of propositionhood is possible, David Lewis even remarking that "the conception we associate with the word ‘proposition’ may be something of a jumble of conflicting desiderata". The term is often used broadly and has been used to refer to various related concepts.