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.”
Corresponding Author(s):
LIU Jingxian,Email:liujingxian@gmail.com
引用本文:
. Second-Order Positive Comprehension and Frege’s Basic Law V[J]. Frontiers of Philosophy in China, 2012, 7(3): 367-377.
LIU Jingxian. Second-Order Positive Comprehension and Frege’s Basic Law V. Front Phil Chin, 2012, 7(3): 367-377.
