This chapter includes a slightly abbreviated version of [1961, 5]. The paper, read at a symposium on the Logic of Variables and Constants at the University of Minnesota in 1959, was followed by comments of Professor Ernest W. Adams and my rejoinder. Parts of the latter are herein incorporated in Section 6a.