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.
Extended data:
Propositional classification
Kant classified judgments according to his category theory, which had a great influence on later generations. Kant's classification of judgment mainly includes four aspects:
1, quantity, including full name, proper name and single name;
2. Quality, including affirmative, negative and infinite (all S are not P);
3. Relationship, including outspoken (the relationship between two concepts), hypothetical (the relationship between two judgments) and selective (the relationship between several judgments) judgments;
4. Modality, with or without (almost) natural, true and definite judgment. Kant's so-called model refers to the degree of cognition. He believes that the judgments that constitute hypothetical judgments and selective judgments are both probable.
References:
Baidu encyclopedia-proposition