 This construal of the theory of reference is traceable to  Gottlob Frege’s  attempt to formulate a logic sufficient for the formalization of mathematical inferences (see especially Frege 1879 and 1892.) The construction of a theory of reference of this kind is best illustrated by beginning with the example of proper names. Consider the following sentences: