1. 首页 / 知识 /  正文

什么是罗素的类型论? 爱问知识人

什么是罗素的类型论? 爱问知识人

什么是罗素的类型论?

德国哲学家戈特洛布 ·弗雷格尝试把数学归纳为逻辑学。罗素从中获得了灵感,他开始致力于一个新难题的研究:所有不是自身元素的类型,我们称其为 ,它是自身的一个元素吗?这个问题看起来是正确的,但是罗素指出这是自相矛盾的:如果 是自身的一个元素,那么它就不属于 , 是包含所有不是自身的元素类型。但是如果 不是自身的一个元素,那么它就应该属于 ,则 是自身的一个元素。罗素的回答是,对事物的种类进行区分,以此来限定人们描述它们的方式。因此我们可以说罗素是一位分析哲学家,但是不能说一群人是一位分析哲学家。