The paper deals with the problem of semantic interpretation of proper names (rigid designation) and predication.
