[n] the doctrine that the meaning of a proposition consists of the operations involved in proving or applying it