Second-Order Positive Comprehension and Frege＇s Basic Law V  

作　　者：LIU Jingxian 

机构地区：[1]Department of Philosophy,Peking University,Beijing 100871,China

出　　处：《Frontiers of Philosophy in China》2012年第3期367-377,共11页中国哲学前沿（英文版）

摘　　要：Richard Heck and John Burgess have shown that Frege＇s Basic Law V is consistent with predicative comprehension and that the resulting theory interprets Robinson Arithmetic. There are also many other ways to keep Frege from being contradictory. This paper shows that Basic Law V is also consistent with positive comprehension and that the resulting theory also interprets Robinson Arithmetic. In addition, the theory of positive Frege provides a new understanding of Dummett＇s ＂indefinitely extensible concepts.＂

关 键 词：predicative comprehension positive comprehension Basic Law V 

分 类 号：C[社会学]