Volume 4 · Number 3 · Pages 121–137

< Previous Paper · Next Paper >

Reflexivity and Eigenform: The Shape of Process

Louis H. Kauffman

Download the full text in
PDF (304 kB)

> Citation > Similar > References > Add Comment


Purpose: The paper discusses the concept of a reflexive domain, an arena where the apparent objects as entities of the domain are actually processes and transformations of the domain as a whole. Human actions in the world partake of the patterns of reflexivity, and the productions of human beings, including science and mathematics, can be seen in this light. Methodology: Simple mathematical models are used to make conceptual points. Context: The paper begins with a review of the author’s previous work on eigenforms - objects as tokens for eigenbehaviors, the study of recursions and fixed points of recursions. The paper also studies eigenforms in the Boolean reflexive models of Vladimir Lefebvre. Findings: The paper gives a mathematical definition of a reflexive domain and proves that every transformation of such a domain has a fixed point. (This point of view has been taken by William Lawvere in the context of logic and category theory.) Thus eigenforms exist in reflexive domains. We discuss a related concept called a “magma.” A magma is composed entirely of its own structure-preserving transformations. Thus a magma can be regarded as a model of reflexivity and we call a magma “reflexive” if it encompasses all of its structure-preserving transformations (plus a side condition explained in the paper). We prove a fixed point theorem for reflexive magmas. We then show how magmas are related to knot theory and to an extension of set theory using knot diagrammatic topology. This work brings formalisms for self-reference into a wider arena of process algebra, combinatorics, non-standard set theory and topology. The paper then discusses how these findings are related to lambda calculus, set theory and models for self-reference. The last section of the paper is an account of a computer experiment with a variant of the Life cellular automaton of John H. Conway. In this variant, 7-Life, the recursions lead to self-sustaining processes with very long evolutionary patterns. We show how examples of novel phenomena arise in these patterns over the course of large time scales. Value: The paper provides a wider context and mathematical conceptual tools for the cybernetic study of reflexivity and circularity in systems.

Key words: reflexive, eigenform, cybernetics, Boolean algebra, knots, magma, Russell paradox, cellular automata


Kauffman L. H. (2009) Reflexivity and eigenform: The shape of process. Constructivist Foundations 4(3): 121–137. http://constructivist.info/4/3/121

Export article citation data: Plain Text · BibTex · EndNote · Reference Manager (RIS)

Similar articles

Kauffman L. H. (2016) Cybernetics, Reflexivity and Second-Order Science

Kauffman L. H. (2017) Eigenform and Reflexivity

Kauffman L. H. (2017) Mathematical Work of Francisco Varela

Müller K. H. & Riegler A. (2016) Mapping the Varieties of Second-Order Cybernetics

Kauffman L. H. (2012) The Russell Operator


Aczel P. (1988) Non-wellfounded sets. CSLI Lecture Notes Number 14. Center for the Study of Language and Information, Stanford CA. << Google Scholar

Barendregt H. P. (1984) The lambda calculus. Its syntax and semantics. North Holland, Amsterdam. << Google Scholar

Barwise J. & Moss L. (1996) Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI Lecture Notes Number 60. Center for the Study of Language and Information, Stanford CA. << Google Scholar

Bohm D. (1980) Wholeness and the implicate order. Routledge & Kegan Paul, London. << Google Scholar

Bortoft H. (1971) The whole: Counterfeit and authentic. Systematics 9(2): 43–73. << Google Scholar

DeHornoy P. (2000) Braids and self-distributivity. Birkhäuser, Basel. << Google Scholar

Foerster H. von (1981) Notes on an epistemology for living things. In: Foerster H. von, Observing systems. Intersystems, Salinas CA: 258–271. Originally published as: Foerster H. von (1972) Notes on an epistemology for living things. Biological Computer Laboratory Report 9.3, BCL Fiche No. 104/1. University of Illinois, Urbana. << Google Scholar

Foerster H. von (1981) Objects: Tokens for (eigen-)behaviors. In: Foerster H. von, Observing systems. Intersystems, Salinas CA: 274–285. Originally published as: Foerster H. von (1976) Objects: Tokens for (eigen-)behaviors. ASC Cybernetics Forum 8(3/4): 91–96. << Google Scholar

Foerster H. von (1981) On constructing a reality. In: Foerster H. von, Observing systems. Intersystems, Salinas CA: 288–309. Originally published as: Foerster H. von (1973) On constructing a reality. In: Preiser F. E. (ed.) Environmental design research. Volume 2. Dowden, Hutchinson & Ross, Stroudberg: 35–46. << Google Scholar

Gardner M. (1970) Mathmatical Games –The fantastic combinations of John Conway’s new solitaire game “Life.” Scientific American 223: 120–123. << Google Scholar

Hintikka J. (1962) Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithaca. << Google Scholar

Kauffman L. H. (1987) Self-reference and recursive forms. Journal of Social and Biological Structures 10: 53–72. << Google Scholar

Kauffman L. H. (1995) Knot logic. In: Kauffman L. H. (ed.) Knots and applications. World Scientific, Singapore: 1–110. << Google Scholar

Kauffman L. H. (2001) The mathematics of Charles Sanders Peirce. Cybernetics and Human Knowing 8(1/2): 79–110. << Google Scholar

Kauffman L. H. (2003) Eigenforms: Objects as tokens for eigenbehaviors. Cybernetics and Human Knowing 10(3/4): 73–90. << Google Scholar

Kauffman L. H. (2005) Eigenform. Kybernetes 34(1/2): 129–150. << Google Scholar

Lawvere F. W. (1972) Introduction to toposes, algebraic geometry and logic. Springer Lecture Notes on Mathematics Volume 274: 1–12. << Google Scholar

Lefebvre V. A. (1982) Algebra of conscience. Reidel, Dordrecht. << Google Scholar

Mandelbrot B. B. (1982) The fractal geometry of nature. W. H. Freeman, San Francisco. << Google Scholar

Piechocinska B. (2005) Physics from wholeness. PhD. Thesis. Uppsala Universitet, Sweden. << Google Scholar

Scott D. S. (1980) Relating theories of the lambda calculus.In: Seldin P. & Hindley R. (eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, New York: 403–450. << Google Scholar

Spencer-Brown G. (1969) Laws of form. George Allen and Unwin, London. << Google Scholar

Webster’s New Collegiate Dictionary (1956) G. C. Merriam Publishers, Springfield MA. << Google Scholar

Wolfram S. (2002) A new kind of science. Wolfram Media, Champaign IL. << Google Scholar

Comments: 0

To stay informed about comments to this publication and post comments yourself, please log in first.