In modern philosophy, mathematics, logic and linguistics, a proposition refers to the semantics of a judgment (statement) (the concept of actual expression), which can be defined and observed.

. Proposition refers not to the judgment (statement) itself, but to the semantics expressed. When different judgments (statements) have the same semantics, they express the same proposition. In mathematics, a declarative sentence to judge something is generally called a proposition.