Erkenntnis 26 (1):1 - 43 (1987)
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)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
The Forth Part of the Back and Forth Map in Countable Homogeneous Structures.S. J. Mcleish - 1997 - Journal of Symbolic Logic 62 (3):873-890.
Les antécédents scolastiques de la théorie des ensembles.J. -L. Gardies - 1986 - Revue de Métaphysique et de Morale 91 (4):486 - 505.
Letter to Dedekind.George Cantor - 1899 - In J. Van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879--1931. Harvard University Press. pp. 113--117.
Cantor on Frege's Foundations of Arithmetic : Cantor's 1885 Review of Frege's Die Grundlagen der Arithmetik.Marcus Rossberg & Philip A. Ebert - 2010 - History and Philosophy of Logic 30 (4):341-348.
Added to index2009-01-28
Total downloads20 ( #248,475 of 2,171,798 )
Recent downloads (6 months)1 ( #326,702 of 2,171,798 )
How can I increase my downloads?