FOM: comprehension principle and Frege's V axiom

Richard G. Heck, Jr. heck at
Tue May 22 14:52:47 EDT 2001

There is some nice discussion of the relationship between comprehension and 
Law V in some papers by Nino Cocchiarella. Check out "Cantor's Power-Set 
Theorem Versus Frege's Double-Correlation Thesis", History and Philosophy 
of Logic 13 (1992), 179-201. Another paper that deals with these issues is 
my "The Consistency of Predicative Fragments of Frege's Grundgesetze der 
Artithmetik", History and Philosophy of Logic 17 (1996), 209-20. A question 
raised there, whether the Delta-1-1 fragment is consistent, is answered in 
Kai Wehmeier, "Consistent Fragments of Grundgesetze and the Existence of 
Non-Logical Objects", Synthese 121 (1999), 309-28.


Richard G. Heck Jr.

More information about the FOM mailing list