n. 1.(philosophy) the doctrine that the meaning of a proposition consists of the operations involved in proving or applying it