"(philosophy) the doctrine that the meaning of a proposition consists of the operations involved in proving or applying it" . "Wordnet Synset 05983230-n" . .