Volume 13 · Number 1 · Pages 11–17

< Previous Paper · Next Paper >

Mathematical Work of Francisco Varela

Louis H. Kauffman

Download the full text in
PDF (687 kB)

> Citation > Similar > References > Add Comment


Purpose: This target article explicates mathematical themes in the work of Varela that remain of current interest in present-day second-order cybernetics. Problem: Varela’s approach extended biological autonomy to mathematical models of autonomy using reflexivity, category theory and eigenform. I will show specific ways that this mathematical modeling can contribute further to both biology and cybernetics. Method: The method of this article is to use elementary mathematics based in distinctions (and some excursions into category theory and other constructions that are also based in distinctions) to consistently make all constructions and thereby show how the observer is involved in the models that are so produced. Results: By following the line of mathematics constructed through the imagination of distinctions, we find direct access and construction for the autonomy postulated by Varela in his book Principles of Biological Autonomy. We do not need to impose autonomy at the base of the structure, but rather can construct it in the context of a reflexive domain. This sheds new light on the original approach to autonomy by Varela, who also constructed autonomous states but took them as axiomatic in his calculus for self-reference. Implications: The subject of the relationship of mathematical models, eigenforms and reflexivity should be reexamined in relation to biology, biology of cognition and cybernetics. The approach of Maturana to use only linguistic and philosophical approaches should now be reexamined and combined with Varela’s more mathematical approach and its present-day extensions.

Key words: Autonomy, autopoiesis, eigenform, reflexivity, reflexive domain, observer, self-reference, category, functor, adjoint functor, distinction.


Kauffman L. H. (2017) Mathematical work of francisco varela. Constructivist Foundations 13(1): 11–17. http://constructivist.info/13/1/011

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

Maturana H. R., Bitbol M. & Luisi P. L. (2012) The Transcendence of the Observer. Discussions at the Conference “The Ethical Meaning of Francisco Varela’s Thought”

Müller K. H. & Riegler A. (2014) A New Course of Action

Urrestarazu H. (2011) Autopoietic Systems: A Generalized Explanatory Approach – Part 2


Barendregt H. P. (1981) The lambda calculus its syntax and semantics. North Holland, Amsterdam. << 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 in 1972. Available at http://cepa.info/2258

Foerster H. von (1981) Objects: Tokens for (eigen-)behaviors. In: Foerster H. von, Observing systems. Intersystems, Salinas CA: 274–285. Originally published in 1976. Available at http://cepa.info/1270

Goguen J. A. & Varela F. J. (1979) Systems and distinctions: Duality and complementarity. International Journal of General Systems 5(1): 31–43. Available at http://cepa.info/2060

Kauffman L. H. & Varela F. J. (1980) Form dynamics. Journal for Social and Biological Structures 3: 171–206. Available at http://cepa.info/1841

Kauffman L. H. (1978) DeMorgan algebras: Completeness and recursion. In: Proceedings of the eighth international conference on multiple valued logic. IEEE Computer Society Press, Los Alamitos CA: 82–86. << Google Scholar

Kauffman L. H. (1978) Network synthesis and Varela’s calculus. International Journal of General Systems 4: 179–187. Available at http://cepa.info/1822

Kauffman L. H. (2005) Reformulating the map color theorem. Discrete Mathematics 302(1–3): 145–172. << Google Scholar

Linde C. & Goguen J. (1978) Structure of planning discourse. Journal of Social and Biological Structures 1: 219–251. << 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

Stcherbatsky T. (1968) Buddhist logic. Mouton de Gruyter, Berlin. << Google Scholar

Varela F. J. & Goguen J. A. (1978) The arithmetic of closure. Cybernetics and System 8(3–4): 291–324. << Google Scholar

Varela F. J. (1975) A calculus for self-reference. International Journal of General Systems 2: 5–24. Available at Available at http://cepa.info/1840

Varela F. J. (1979) Principles of biological autonomy. North Holland, New York. << Google Scholar

Varela F. J., Maturana H. R. & Uribe R. (1974) Autopoiesis: The organization of living systems, its characterization and a model. Biosystems 5(4): 187–196. Available at http://cepa.info/546

Comments: 0

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