Second-Order Positive Comprehension and Frege＇s Basic Law V
摘要
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.＂
引用本文（GB/T 7714）
Liu, Jingxian. Second-Order Positive Comprehension and Frege＇s Basic Law V[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2012.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。