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