兰姆塞真之冗余论探析

兰姆塞通过对"什么是真的"这一问题的分析,探讨了真的本性。他认为,只有具有命题指称并且有断定特性的信念才能成为"真的"载体,一个信念P是真的,当且仅当p。在他的定义中,他特别注重命题指称的分析,认为只有对命题指称进行分析,才能将"是真的"与"被断定"联系起来,也因为这样,兰姆塞的理论有符合论的影子,但从形式上看,他认为"是真的"属多余的谓词,可以删去,故其理论称为冗余论。