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