Abstract
Arithmetical self-reference through diagonalization is compared with self-recognition in a mirror, in a series of diagrams that show the structure and main stages of construction of self-referential sentences. A Gödel code is compared with a mirror, Gödel numbers with mirror images, numerical reference to arithmetical formulas with using a mirror to see things indirectly, self-reference with looking at one’s own image, and arithmetical provability of self-reference with recognition of the mirror image. The comparison turns arithmetical self-reference into an idealized model of self-recognition and the conception(s) of self based on that capacity.
Similar content being viewed by others
References
Altman, R. (dir.) 1992: The Player, Los Angeles: Fine Line Features.
Bojadžiev, D. 1990: ‘Reconstructing diagonalization(s)’, Yearbook of the Kurt Gödel Society 1989.
Bojadžiev, D. 1995: ‘Specular Self-Reference in Science, Philosophy and Culture’, in E. Gal, M. Marcelli, P. Michalovič (ed.): Science and Philosophy in Shaping Modern European Culture III, Bratislava: Nadacia Komunikacia 1995, 151–159.
Bojadžiev, D. 1996: ‘Self-reference in philosophy and cognitive science’, in E. Baumgartner, W. Baumgartner, B. Borstner, M. Potrč, J. Shawe-Taylor, E. Valentine (eds.): Handbook: phenomenology and cognitive science, Dettelbach: Röll 1996, 313–318.
Bojadžiev, D. 2000: ‘Perlis on strong and weak self-reference a -mirror reversal’, J. Consc. Studies 7, 60–66.
Boolos, G., Jeffrey, R. 1980: Computability and Logic, Cambridge: Cambridge Univ. Press.
Case, J. 1994: ‘Infinitary Self Reference in Learning Theory’, Journal of Experimental and Theoretical Artificial Intelligence 6, 3–16.
Gregory, R. (ed.) 1987: The Oxford Companion to the Mind, Oxford: Oxford Univ. Press.
Hofstadter, D. 1979: Gödel, Escher, Bach: An Eternal Golden Braid, New Work: Basic Books.
Lacan, J. 1977: ‘The Mirror Stage as Formative of the Function of the I as Revealed in Psychoanalytic Experience’, in Ecrits - A Selection, London: Tavistock Publ.
Nagel, E., Newman, J. 1958: Gödel’s Proof, New York: NY Univ. Press.
Perlis, D. 1997: ‘Consciousness as Self-Function’, J. Consc. Studies 4, 509–25.
Radford, C. 1983: ‘Report on Analysis Problem No. 19’, Analysis 43, 113–118.
Shanker, S. 1988: ‘Wittgenstein’s Remarks on the Significance of Gödel’s Theorem’, in S. Shanker (ed.): Gödel’s Theorem in Focus, London: Croom Helm, 155–256.
Smith, B. 1986: ‘Varieties of Self-reference’, in J. Halpern (ed.): ‘Theoretical Aspects of Reasoning about Knowledge’, Proceedings of the 1986 Conference, San Franciosco: Morgan Kaufmann.
Smullyan, R. 1957: ‘Languages in which Self-reference is Possible’, J. Symb. Logic 22, 55–67.
Wallace, J. 1977: ‘Only in the Context of a Sentence do Words have any Meaning’, in P. French et al (eds.): Midwestern Studies in Philosophy 2, Minnesota: Univ. of Minnesota Press, 305–325.
Wandschneider, D. 1975: ‘Zur Eliminierung des Gödelschen Unvollständigkeitsproblems im Zusammenhang mit dem Antinomienproblem’, Zeitschrift f. allg. Wissenschaftstheorie 6, 65–81.
Whitehead, C. 2001: ‘Social Mirrors and Shared Experiential Worlds’, J. Consc. Studies 8, 3–36.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bojadžiev, D. Arithmetical and specular self-reference. Acta Anal 19, 55–63 (2004). https://doi.org/10.1007/s12136-004-1012-9
Received:
Issue Date:
DOI: https://doi.org/10.1007/s12136-004-1012-9