5.指称和逻辑