proposition

1) an abstract object in the propositional calculus meant to represent a concept to be taken as true, false, or sometimes some hypothetical value between the two, cf. The Languages of Science 2) a semantic feature representing a sort of ideal object corresponding to the proposition of mathematical logic, ¶5-3-3; a p. may be realis, irrealis, or hypothesis 3) an ad hoc semantic functor generating a presumptive from the contents of its related , ¶6-1-2, figure 8