We can see that they are both philosophers and logicians, so we may find the grounds of their different kinds of analysis of proper names in first-order and modal logics.

• 但是应看到,弗雷格、罗素和克里普克不但是哲学家而且也都是逻辑学家,他们的哲学理论都有他们各自的逻辑理论的支持,因此他们对专名的不同分析可以从一阶逻辑与模态逻辑中找到依据。