For the last of his introductory discussions, Kripke returns to the distinction between giving meaning and fixing reference (see pp. 32-33 for his first discussion of these ideas).
• Kripke first offers an illustration of the distinction that also provides an example of a contingent truth known a priori (pp. 53-57).
• He then extends these ideas to the case of proper names (pp. 57-58).
• And he uses this distinction to indicate two ways of understanding the Frege-Russell theory of proper names (pp. 58-59).