n. (Philos.) the doctrine that the meaning of a proposition consists of the operations involved in defining, proving, or applying it. [ WordNet 1.5 ]