Frontiers of Philosophy in China >
Second-Order Positive Comprehension and Frege’s Basic Law V
Published date: 05 Sep 2012
Copyright
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.”
Key words: predicative comprehension; positive comprehension; Basic Law V
LIU Jingxian . Second-Order Positive Comprehension and Frege’s Basic Law V[J]. Frontiers of Philosophy in China, 2012 , 7(3) : 367 -377 . DOI: 10.3868/s030-001-012-0022-9
/
〈 | 〉 |