什么是罗素的类型论?

5个月前 (10-23 09:10)阅读3回复0
wsygfsj
wsygfsj
  • 管理员
  • 注册排名5
  • 经验值144025
  • 级别管理员
  • 主题28805
  • 回复0
楼主

德国哲学家戈特洛布•弗雷格(Gottlob Frege,1848—1925 )测验考试把数学归 纳为逻辑学。罗素从中获得了灵感,他起头努力于一个新难题的研究:所有不 是本身元素的类型,我们称其为C,它是本身的一个元素吗?那个问题看起来是 准确的,但是罗素指出那是自相矛盾的:若是C是本身的一个元素,那么它就不 属于D,D是包罗所有不是本身的元素类型。但是若是C不是本身的一个元素,

0
回帖

什么是罗素的类型论? 期待您的回复!

取消