|Abstract||The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom.|
|Keywords||Frege Basic Law V Cantor's Theorem|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Marcus Rossberg & Philip A. Ebert (2010). Cantor on Frege's Foundations of Arithmetic : Cantor's 1885 Review of Frege's Die Grundlagen der Arithmetik. History and Philosophy of Logic 30 (4):341-348.
Kevin C. Klement (2010). Russell, His Paradoxes, and Cantor's Theorem: Part I. Philosophy Compass 5 (1):16-28.
Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
Richard Heck (2005). Julius Caesar and Basic Law V. Dialectica 59 (2):161–178.
Fernando Ferreira & Kai F. Wehmeier (2002). On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. Journal of Philosophical Logic 31 (4):301-311.
Richard Heck (1995). Frege's Principle. In J. Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer.
Charles Sayward (2002). Convention T and Basic Law V. Analysis 62 (4):289–292.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Øystein Linnebo (2003). Frege's Conception of Logic: From Kant to Grundgesetze. Manuscrito 26 (2):235-252.
Nino B. Cocciharella (1992). Cantor's Power-Set Theorem Versus Frege's Double-Correlation Thesis. History and Philosophy of Logic 13 (2):179-201.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
Richard Heck (2011). A Logic for Frege's Theorem. In Frege's Theorem. Oxford University Press.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
William Demopoulos (1994). The Contemporary Interest of an Old Doctrine. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:209 - 216.
Added to index2012-06-25
Total downloads88 ( #10,094 of 722,917 )
Recent downloads (6 months)25 ( #5,039 of 722,917 )
How can I increase my downloads?