Acta Biotheoretica

Entities on a Temporal Scale Abstract Ontological understanding of biological units (i.e. what kinds of things are they) is crucial to their use in experimental design, analysis, and interpretation. Conceptualizing fundamental units in biology as individuals or classes is important for subsequent development of discovery operations. While the criteria for diagnosing individuals are acknowledged, temporal boundedness is often misinterpreted and temporal minima are applied to units in question. This results in misdiagnosis or abandonment of ontological interpretation altogether. Biological units such as areas of endemism in biogeography and species in evolutionary biology fall victim to such problems. Our goal here is to address the misconception that biological individuals such as species and areas of endemism have a temporal minimum. Areas of endemism can persist within small temporal boundaries in the context of metapopulation dynamics, island biogeography, and range expansion and contraction. Similarly, lineage reticulation illustrates examples of short-lived species. Here, examples of known entities are provided to illustrate their persistence on short time scales in attempt to rescue future interpretation of biological units from ontological misdiagnosis, elucidate the philosophical individuality of areas of endemism and species with short lifespans, and provide justification for the “snapshot in time” diagnostic approach.

XXXIVth Seminar of the French-Speaking Society for Theoretical Biology: Saint-Flour (Cantal), France, 26–28 May, 2014

SMT or TOFT? How the Two Main Theories of Carcinogenesis are Made (Artificially) Incompatible Abstract The building of a global model of carcinogenesis is one of modern biology’s greatest challenges. The traditional somatic mutation theory (SMT) is now supplemented by a new approach, called the Tissue Organization Field Theory (TOFT). According to TOFT, the original source of cancer is loss of tissue organization rather than genetic mutations. In this paper, we study the argumentative strategy used by the advocates of TOFT to impose their view. In particular, we criticize their claim of incompatibility used to justify the necessity to definitively reject SMT. First, we note that since it is difficult to build a non-ambiguous experimental demonstration of the superiority of TOFT, its partisans add epistemological and metaphysical arguments to the debate. This argumentative strategy allows them to defend the necessity of a paradigm shift, with TOFT superseding SMT. To do so, they introduce a notion of incompatibility, which they actually use as the Kuhnian notion of incommensurability. To justify this so-called incompatibility between the two theories of cancer, they move the debate to a metaphysical ground by assimilating the controversy to a fundamental opposition between reductionism and organicism. We show here that this argumentative strategy is specious, because it does not demonstrate clearly that TOFT is an organicist theory. Since it shares with SMT its vocabulary, its ontology and its methodology, it appears that a claim of incompatibility based on this metaphysical plan is not fully justified in the present state of the debate. We conclude that it is more cogent to argue that the two theories are compatible, both biologically and metaphysically. We propose to consider that TOFT and SMT describe two distinct and compatible causal pathways to carcinogenesis. This view is coherent with the existence of integrative approaches, and suggests that they have a higher epistemic value than the two theories taken separately.

A Conceptual Model of Morphogenesis and Regeneration Abstract This paper is devoted to computer modelling of the development and regeneration of multicellular biological structures. Some species (e.g. planaria and salamanders) are able to regenerate parts of their body after amputation damage, but the global rules governing cooperative cell behaviour during morphogenesis are not known. Here, we consider a simplified model organism, which consists of tissues formed around special cells that can be interpreted as stem cells. We assume that stem cells communicate with each other by a set of signals, and that the values of these signals depend on the distance between cells. Thus the signal distribution characterizes location of stem cells. If the signal distribution is changed, then the difference between the initial and the current signal distribution affects the behaviour of stem cells—e.g. as a result of an amputation of a part of tissue the signal distribution changes which stimulates stem cells to migrate to new locations, appropriate for regeneration of the proper pattern. Moreover, as stem cells divide and form tissues around them, they control the form and the size of regenerating tissues. This two-level organization of the model organism, with global regulation of stem cells and local regulation of tissues, allows its reproducible development and regeneration.

Implementation of a Model of Bodily Fluids Regulation Abstract The classic model of blood pressure regulation by Guyton et al. (Annu Rev Physiol 34:13–46, 1972a; Ann Biomed Eng 1:254–281, 1972b) set a new standard for quantitative exploration of physiological function and led to important new insights, some of which still remain the focus of debate, such as whether the kidney plays the primary role in the genesis of hypertension (Montani et al. in Exp Physiol 24:41–54, 2009a; Exp Physiol 94:382–388,2009b; Osborn et al. in Exp Physiol 94:389–396, 2009a; Exp Physiol 94:388–389, 2009b). Key to the success of this model was the fact that the authors made the computer code (in FORTRAN) freely available and eventually provided a convivial user interface for exploration of model behavior on early microcomputers (Montani et al. in Int J Bio-med Comput 24:41–54, 1989). Ikeda et al. (Ann Biomed Eng 7:135–166, 1979) developed an offshoot of the Guyton model targeting especially the regulation of body fluids and acid–base balance; their model provides extended renal and respiratory functions and would be a good basis for further extensions. In the interest of providing a simple, useable version of Ikeda et al.’s model and to facilitate further such extensions, we present a practical implementation of the model of Ikeda et al. (Ann Biomed Eng 7:135–166, 1979), using the ODE solver Berkeley Madonna.

Modeling the Enzyme Kinetic Reaction Abstract The Enzymatic control reactions model was presented within the scope of fractional calculus. In order to accommodate the usual initial conditions, the fractional derivative used is in Caputo sense. The methodologies of the three analytical methods were used to derive approximate solution of the fractional nonlinear system of differential equations. Two methods use integral operator and the other one uses just an integral. Numerical results obtained exhibit biological behavior of real world problem.

Computing with Synthetic Protocells Abstract In this article we present a new kind of computing device that uses biochemical reactions networks as building blocks to implement logic gates. The architecture of a computing machine relies on these generic and composable building blocks, computation units, that can be used in multiple instances to perform complex boolean functions. Standard logical operations are implemented by biochemical networks, encapsulated and insulated within synthetic vesicles called protocells. These protocells are capable of exchanging energy and information with each other through transmembrane electron transfer. In the paradigm of computation we propose, protoputing, a machine can solve only one problem and therefore has to be built specifically. Thus, the programming phase in the standard computing paradigm is represented in our approach by the set of assembly instructions (specific attachments) that directs the wiring of the protocells that constitute the machine itself. To demonstrate the computing power of protocellular machines, we apply it to solve a NP-complete problem, known to be very demanding in computing power, the 3-SAT problem. We show how to program the assembly of a machine that can verify the satisfiability of a given boolean formula. Then we show how to use the massive parallelism of these machines to verify in less than 20 min all the valuations of the input variables and output a fluorescent signal when the formula is satisfiable or no signal at all otherwise.

Towards a Behavioral-Matching Based Compilation of Synthetic Biology Functions Abstract The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design (CAD) environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the Gubs (Genomic Unified Behavioural Specification) language is a specification language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour.

Programming the Emergence in Morphogenetically Architected Complex Systems Abstract Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call themmorphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films).

Erratum to: The Organizational Account of Function is an Etiological Account of Function