A proposition is a fundamental concept in logic, philosophy of language, and semantics, defined as a statement capable of being either true or false. Crucially, propositions are not specific linguistic expressions; for example, the English "Snow is white" and the German "Schnee ist weiß" both denote the same underlying proposition. They serve as the objects of belief and other "propositional attitudes," representing the mental content of thoughts like "Jane believes that it is raining." In modern logic, propositions are often formally understood as functions mapping a possible world to a truth value, though alternative models like structured propositions are also discussed. Despite their fundamental role, the precise definition of propositionhood remains a complex subject of philosophical debate, with figures like David Lewis noting the concept's potential "jumble of conflicting desiderata."