自我指称

自我指称是一个句子指称自己因而产生悖论的现象。例如，一个人说：“我在撒谎。”如果他所说为真，则他在撒谎且此句为假。如果他所说为假，则他不在撒谎而此句为真。罗素设计出类型论以清除这种悖论。根据罗素的理论，我们需要区分表征对象的一阶语句和与一阶语句而不是对象有关的二阶语句。