OpiniOn Article published: 07 June 2012 doi: 10.3389/fpls.2012.00102 (3) Models have implicit functions and assumptions (e.g., Wimsatt, 2007; Winther, Forthcoming). The pragMaTic vieW focuses on contextual factors, the agents, and use. For example, philosopher Leo apostel wrote: Let then r(S,p,M,T) indicate the main variables of the modelling relationship. The subject S takes, in view of the purpose p, the entity M as a model for the prototype T. (apostel, 1960, p. 128) The pragMaTic vieW includes syntax and semantics, and explores assumptions and functions of models. Four Functions oF mathematical modeling The pragMaTic vieW helps us focus on the functions of mathematical models, including (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. uniFication Unification involves the integration and synthesis of disparate types of evidence and models. For instance, Darwin unified hybridization, developmental, paleontological, and biogeographical data under a single theory. in mathematical modeling, unification often entails embedding – a subsumption relation allowing for the unification of (i) various mathematical theories/ models and (ii) the data pertinent to those theories/models (Friedman, 1983; van Fraassen, 1989). model Fitting Model fitting employs statistical procedures such as regression analysis and hypothesis testing. although fitting is essential for model verification, models can be over fitted to accommodate all of the data, a practice called "fudging" by Lipton (2005), which Mathematical modeling in biology: philosophy and pragmatics Rasmus Grønfeldt Winther* Philosophy Department, University of California, Santa Cruz, CA, USA *Correspondence: rgw@ucsc.edu introduction philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory – Syntactic, Semantic, and pragmatic – to show that each illuminates mathematical modeling. The pragmatic view identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are here explored using a recent exchange between two groups of mathematical modelers in plant biology. Scientific debate can arise from different philosophies of modeling. PhilosoPhy oF science and models Three distinct philosophical perspectives on the nature and dynamics of scientific theory were sequentially developed in the twentieth century. each was a critique of the previous perspective. each illuminates scientific modeling. syntactic view: the logical structure oF scientiFic theory The SynTacTic vieW (advocated by the vienna circle "Logical positivists") took issue with nineteenth century german idealism and argued that a scientific theory was actually a set of sentences expressed in a logical language L (e.g., carnap, 1928/2003; Woodger, 1937; Hempel, 1966). The language L consisted of inference rules (e.g., modus ponens) and logical terms (e.g., ∃, ¬) as well as two types of vocabulary: theoretical (e.g., "proton," "protein," or "proletariat") and observational (e.g., "hard," "liquid," or "blue"). Sentences could be of two forms – either theoretical (i.e., containing only theoretical vocabulary, or mixed, i.e., correspondence rules), or observational (i.e., containing no theoretical vocabulary and acquiring meaning only from experimental observations). semantic view: the mathematical structure oF scientiFic theory in the late 1950s and early 1960s, some philosophers of science critiqued the SynTacTic vieW and focused on the history and sociology of scientific practice (e.g., Thomas Kuhn, paul Feyerabend, n.r. Hanson). another group suggested that a philosophy of science should focus on mathematical models, rather than logical languages. van Fraassen, an innovative advocate of this SeManTic vieW remarked: to present a theory, we define the class of its models directly, without paying any attention to questions of axiomatizability, in any special language, however relevant or simple or logically interesting that might be. and if the theory as such, is to be identified with anything at all – if theories are to be reified – then a theory should be identified with its class of models. (van Fraassen, 1989, p. 222) Models were "always a mathematical structure" (van Fraassen, 1970, p. 327; van Fraassen, 2008, p. 381), and theory was a family of mathematical models. The SeManTic vieW explored the mathematical structure of science, including the hierarchy of models from high theory to phenomenological models (Suppes, 2002) and the nature of confirmation and validation (i.e., the correct semantics) of theoretical models (e.g., Lloyd, 1994). Pragmatic view: Functions and assumPtions in scientiFic theory The perspectives on syntactic structures and semantic relations offered by the SynTacTic anD SeManTic vieWS are insufficient to describe scientific modeling because (1) practices, instruments, and experiments interweave with mathematical modeling (e.g., Hacking, 1983). (2) There are a variety of modeling syntaxes – mathematics, diagrams, narratives, simulations, and programs, etc. (e.g., Morgan and Morrison, 1999). www.frontiersin.org June 2012 | Volume 3 | Article 102 | 1 Hence, the replication of patterns observed in nature does not guarantee that the mechanism that underlies it in the real world has been discovered or explained" (p. 101). put differently, a model can mimic reality for the wrong reasons. comparative analysis of distinct proposed mechanisms, including novel discriminating predictions is necessary. conclusion The preceding illustrates that no model can fully satisfy all the functions and virtues of modeling. For instance, every model is limited in scope and identifies only some mechanisms. There are tradeoffs among functions (Wimsatt, 2007); for instance, (1) unification comes at the price of model fitting and prediction, and (2) model fitting and mechanism identification are not always aligned. Because of these trade-offs, different researchers make distinct claims about which functions are primary and forget that a theory is often a family of mathematical models, with each model maximizing only some functions. Modelers should not become prisoners of their own abstractions (Levins and Lewontin, 1980, p. 67), and should seek integration among reasonable models (Mitchell, 2003; Winther, 2011). The philosophical perspective i have here called The Pragmatic View makes our modeling functions explicit. acknowledgments Mariana Benítez, Karl niklas, Michael Titcomb, and Michael J. Wade provided comments. Support was provided by the academic Senate committee on research, Uc Santa cruz, and the Biocomplexity center, niels Bohr institute, University of copenhagen. reFerences Álvarez-Buylla, e. r., Benítez, M., and espinosa-Soto, c. (2007). phenotypic evolution is restrained by complex developmental processes. HFSP J. 1, 99–103. apostel, L. (1960). Towards the formal study of models in the non-formal sciences. Synthese 12, 125–161. carnap, r. (1928/2003). The Logical Structure of the World (Der Logische Aufbau der Welt). peru, iL: Open court. Friedman, M. (1983). Foundations of Space-Time Theories. Relativistic Physics and Philosophy of Science. princeton: princeton University press. Hacking, i. (1983). Representing and Intervening. Introductory Topics in the Philosophy of Natural Science. cambridge: cambridge University press. Hempel, c. g. (1966). Philosophy of Natural Science. englewood cliffs, nJ: prentice-Hall. Álvarez-Buylla et al. (2007) show that two hypothetical proteins A (activator) and L (inhibitor) can produce the same growth and flowering patterns as the prusinkiewicz et al. (2007) model. sPeaking at cross-PurPoses prusinkiewicz et al. (2007) and Álvarez-Buylla et al. (2007) capture the same system behavior, yet they disagree about the other party's legitimate modeling claims. Álvarez-Buylla et al. (2007) write "The unjustified reduction of a complex network... to a pair of interacting genes, leads to conclusions that might not be accurate" (p. 102), whereas prusinkiewicz and coen (2007) retort: "We do not deny the importance of further interactions, but we find it important to get a clear grasp of the key principles before incorporating too many genes" (p. 154). Thus, Álvarez-Buylla et al. (2007) and prusinkiewicz and coen (2007) adopt differing but complementary perspectives on modeling functions. Álvarez-Buylla et al. (2007) emphasize model fitting and prediction and are skeptical of unification and of how to identify mechanism, whereas prusinkiewicz and coen (2007) focus on unification. indeed, a simple unifying model has significant virtues, even if it is difficult for it to fit diverse and complex empirical situations. now, prusinkiewicz et al. (2007) allude to the importance of unification: "We propose that a relatively simple developmental mechanism – the transient model – underlies the restriction of inflorescence types to a small region of morphospace" (p. 1455). note that the model is itself considered a mechanism, a reification with which Álvarez-Buylla et al. (2007) take issue. Moreover, prusinkiewicz and coen (2007) argue: "[Our]... approach is to simplify the problem through various levels of abstraction, and focus on the underlying principles" (p. 155). prusinkiewicz and coen (2007) endorse a ceteris absentibus ("all other factors absent/abstracted away") heuristic to context, a reasonable and productive strategy when unification is the goal. in contrast, Álvarez-Buylla et al. (2007) present a methodological critique of prusinkiewicz et al. (2007), emphasizing biological complexity and model fitting: "The point we are trying to make is that there might be several alternative mechanisms, such as the transient and toy ones, that could reproduce similar sets of patterns. can be addressed by the akaike information criterion (Hitchcock and Sober, 2004; see Winther, 2009). mechanism identiFication Mechanism identification uses various strategies, including (i) analysis (i.e., decomposition into constituent parts and processes, given a theoretical perspective), (ii) causal surgery (pearl, 2000), and (iii) mechanism transplantation (see Winther, Forthcoming). Mathematical models assist in these strategies, and hence in mechanism identification (Winther, 2011). Prediction The relevance of an observation or datum for the testing, confirmation, and choice of mathematical models and theories is significantly greater if it is a novel prediction (e.g., popper, 1963; see Winther, 2009). in this sense, an excellent prediction is surprising, validating, and correct. a case study The foregoing is illustrated with a debate between two camps of modelers, each focusing on different modeling functions. The possibility of collaboration rather than conflict is explored and advocated. the models prusinkiewicz et al. (2007) present a simple model for the development of inflorescences, which postulates a single parameter – vegetativeness (veg) – as the indicator of flowering. if a meristem has a high veg, it continues to grow vegetatively. if it has a low level, it flowers. The model stipulates that levels of veg decrease over time and that meristems have one of two internal states: A or B. Meristems can be apical or lateral. in each, veg drops and induces flowering at two different times: T a and T B . Since lateral branches do not usually produce flowers (p. 1453), the model assumes that meristems in A revert to B. This "transience" model emulates flowering patterns that are related empirically to two Arabidopsis genes, TERMINAL FLOWER and LEAFY. it also mimics genetic experimental data. Álvarez-Buylla et al. (2007) present an alternative "toy model" inspired by Turing's (1952) morphogenesis model, wherein an activator auto-catalyzes and induces an inhibitor that inhibits the activator and diffuses more rapidly (see Winther, 2011). Winther Mathematical modeling in biology: philosophy and pragmatics Frontiers in Plant Science | Plant Evolution and Development June 2012 | Volume 3 | Article 102 | 2 Winther, r. g. (Forthcoming). "evo-Devo as a trading zone" in Conceptual Change in Biology: Scientific and Philosophical Perspectives on Evolution and Development, Boston Studies in the philosophy of Science, ed. a. Love (Springer verlag). Woodger, J. H. (1937). The Axiomatic Method in Biology. cambridge: cambridge University press. Received: 27 April 2012; accepted: 01 May 2012; published online: 07 June 2012. Citation: Winther RG (2012) Mathematical modeling in biology: philosophy and pragmatics. Front. Plant Sci. 3:102. doi: 10.3389/fpls.2012.00102 This article was submitted to Frontiers in Plant Evolution and Development, a specialty of Frontiers in Plant Science. Copyright © 2012 Winther. This is an open-access article distributed under the terms of the Creative Commons Attribution Non Commercial License, which permits non-commercial use, distribution, and reproduction in other forums, provided the original authors and source are credited. prusinkiewicz, p., and coen, e. (2007). passing the el greco test. HFSP J. 1, 152–155. prusinkiewicz, p., erasmus, y., Lane, B., Harder, D., and coen, e. (2007). evolution and development of infloresence architectures. Science 316, 1452–1456. Suppes, p. (2002). Representation and Invariance of Scientific Structures. Stanford, ca: cSLi publications. Turing, a. (1952). The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. B Biol. Sci.237, 37–72. van Fraassen, B. (1970). On the extension of Beth's semantics of physical theories. Philos. Sci. 37, 325–339. van Fraassen, B. (1989). Laws and Symmetry. new york: Oxford University press. van Fraassen, B. (2008). Scientific Representation: Paradoxes of Perspective. new york: Oxford University press. Wimsatt, W. c. (2007). Re-Engineering Philosophy for Limited Beings: Piecewise Approximations to Reality. cambridge: Harvard University press. Winther, r. g. (2009). prediction in selectionist evolutionary theory. Philos. Sci. 76, 889–901. Winther, r. g. (2011). part-whole science. Synthese 178, 397–427. Hitchcock, c., and Sober, e. (2004). prediction versus accommodation and the risk of overfitting. Br. J. Philos. Sci. 55, 1–34. Levins, r., and Lewontin, r. c. (1980). Dialectics and reductionism in ecology. Synthese 43, 47–78. Lipton, p. (2005). Testing hypotheses: predictions and prejudice. Science 307, 219–221. Lloyd, e. a. (1994). The Structure and Confirmation of Evolutionary Theory. princeton: princeton University press. Mitchell, S. (2003). Biological Complexity and Integrative Pluralism. cambridge: cambridge University press. Morgan, M. S., and Morrison, M. (eds.) (1999). Models as Mediators. Perspectives on Natural and Social Sciences. cambridge: cambridge University press. pearl, J. (2000). The Art and Science of Cause and Effect. available at: http://singapore.cs.ucla.edu/ LecTUre/lecture_sec1.htm [accessed april 12, 2011]. popper, K. r. (1963). Conjectures and Refutations. The Growth of Scientific Knowledge. London: routledge & Kegan paul. Winther Mathematical modeling in biology: philosophy and pragmatics www.frontiersin.org June 2012 | Volume 3 | Article 102 |