Erkenntnis 26 (1):1 - 43 (1987)
|Abstract||A ground-motive for this study of some historical and metaphysical implications of the diagonal lemmas of Cantor and Gödel is Cantor's insightful remark to Dedekind in 1899 that the Inbegriff alles Denkbaren (aggregate of everything thinkable) might, like some class-theoretic entities, be inkonsistent. In the essay's opening sections, I trace some recent antecedents of Cantor's observation in logical writings of Bolzano and Dedekind (more remote counterparts of his language appear in the First Critique), then attempt to relativize the notion of Inkonsistenz to self-sufficient theories T which interpret themselves. In effect, I argue that Gödel's diagonal lemma suggests a sense in which metatheoretic notions of proof, well-foundeness and satisfaction are object-theoretically inkonsistent. With respect to Cantor's Inbegriff, for example, the lemma yields that any object-theoretic reconstruction of thinkability generates an antidiagonal sentence , which one can paraphrase asSelf-referential application of the assertion that.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
S. J. Mcleish (1997). The Forth Part of the Back and Forth Map in Countable Homogeneous Structures. Journal of Symbolic Logic 62 (3):873-890.
J. -L. Gardies (1986). Les Antécédents Scolastiques de la Théorie des Ensembles. Revue de Métaphysique Et de Morale 91 (4):486 - 505.
George Cantor (1899). Letter to Dedekind. In J. Van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879--1931. Harvard University Press.
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.
Christopher Menzel (1984). Cantor and the Burali-Forti Paradox. The Monist 67 (1):92-107.
Added to index2009-01-28
Total downloads7 ( #133,587 of 549,198 )
Recent downloads (6 months)1 ( #63,397 of 549,198 )
How can I increase my downloads?