Linked from
The 58 pages that link to Proposition, each with the reason it gives.
Type theoryRelated: Some type theories treat propositions themselves as types.
AgnosticismRelated: The central proposition is that at least one god exists.
Proof assistantRelated: Formal proof development begins by stating propositions as goals.
Possible worldsRelated: Worlds are commonly treated as assigning truth values to propositions.
Stoic logicRelated: Stoic analysis begins with complete statements rather than isolated terms.
LogicRelated: Propositions serve as the truth-bearing units in many formal systems.
PredicateRelated: Applying a predicate to arguments produces a proposition with a truth value.
Tractatus Logico-PhilosophicusRelated: The work analyzes propositions as pictures of possible facts.