Computational Modelling, Explicit Mathematical Treatments, and Scientific Explanation

Total Page:16

File Type:pdf, Size:1020Kb

Computational Modelling, Explicit Mathematical Treatments, and Scientific Explanation Computational modelling, explicit mathematical treatments, and scientific explanation John Bryden and Jason Noble School of Computing, University of Leeds, LS2 9JT, UK Abstract findings can be applied more generally. Biological systems are made up of many different subsystems at different levels. A computer simulation model, can produce some interesting and surprising results which one would not expect from ini- Alife models often reside in the interface from one level to tial analysis of the algorithm and data. We question however, the next and can become extremely complex, especially as whether the description of such a computer simulation mod- entities from any level can interact with entities from other elling procedure (data + algorithm + results) can constitute levels. an explanation as to why the algorithm produces such an ef- fect. Specifically, in the field of theoretical biology, can such The discipline of computer simulation modelling allows a procedure constitute real scientific explanation of biological modellers previously unheard-of freedom to build and un- phenomena? We compare computer simulation modelling to derstand systems of many interacting parts. This new ex- explicit mathematical treatment concluding that there are fun- pressive freedom appears to have the potential to become damental differences between the two. Since computer simu- the new modelling paradigm in science, perhaps overriding lations can model systems that mathematical models can not, we look at ways of improving explanatory power of com- traditional techniques which use explicit mathematical treat- puter simulations through empirical style study and mecha- ments. However, this freedom does not come without a cost: nistic decomposition. as more and more detail is added computer simulation mod- els can quickly become unwieldy and too complicated to un- Introduction derstand. It seems possible that computer simulation modelling could How then can computer models contribute to the task of become the new modelling paradigm in biology. As mod- producing scientifically acceptable explanations? The use ellers build transparent, tractable, computer simulation mod- of a complex yet poorly understood model may be accept- els their relaxed assumptions will, in comparison with tra- able as some sort of loose analogy. However, Di Paolo et al. ditional explicit mathematical treatments, make for con- (2000) have argued that without a proper understanding of siderably more realistic models that are close to the data. the internal workings of a computer simulation model, it can The ‘Virtual Biology Laboratory’ is proposed (Kitano et al., be impossible to say whether such a model makes a valuable 1997) where a cycle is applied through comparing computer contribution to the scientific problem it is addressing. They models with empirical evidence: the results from each pro- describe such problematic models as ‘opaque thought exper- cedure inspiring the direction of the other. Animals, such iments’, arguing the need for explanations of the phenomena as C. elegans, have been well studied using computational modelled. They suggest that modellers should use an ‘ex- models, e.g., (Bryden and Cohen, 2004). Indeed the forma- perimental phase’ in which manipulations are made to the tion of a complete model of the organism has been identi- computer model, the results of these manipulations hope- fied as a potential grand challenge for computing research fully generating insights into the workings of the system. (Harel, 2002). However, a full exploration of the rela- Once the internal mechanisms are understood, the transpar- tionship between mathematical and computational models ent model can then not only give new insights into the sys- in biology has not yet been achieved. Questions remain: tem being modelled but can also become a powerful predic- for instance, whether both forms of modelling can peace- tive tool. fully coexist, whether mathematical models should aspire We question whether a computer simulation model can, in to the complexity of computational models, and conversely and of itself, constitute a scientific explanation. For exam- whether computational models can ever be as precise as a ple, one might produce a model in which individual organ- mathematical treatment. isms are explicitly represented and a particular population- In this paper we are mainly concerned with the scientific level phenomenon appears to emerge. But this does not con- modelling of biological systems, however we hope that the stitute an explanation of how entities from one level of a bio- logical hierarchy produce interesting phenomena at another Real World level. Di Paolo et al. (2000) argue that some explanation is Empirical Scientific Corpus required above a basic description of the model and the sys- science tem it represents. In this paper we look further into what an adequate explanation of a model’s mechanisms should en- Conceptual Model tail. We will compare the account that we construct with the more basic position, sometimes seen in the artificial life lit- Results Assumptions erature, that a bare-bones description of a biological system with a computer model that qualitatively produces similar behaviour—with little or no extra analysis or explanation— Working Model can constitute a scientific explanation of some phenomena. Given the above picture we must also consider the tradi- Modelling Tools tional methodology of explicit mathematical treatment. By Figure 1: The cycle of enquiry in scientific modelling within explicit mathematical treatment we mean a model which is the context of scientific investigation. complete and contains no implicit steps, the steps can be logical statements and do not need to be formally written using mathematical symbols. While computer simulation matical treatments reside in the working model area of the models are fundamentally mathematical constructions, they, framework. We take a working model to be a determinis- in the way they are reported, contain implicit mathematical tic and completely specified model of a system. (Whereas steps rather than the explicit steps used by formal mathe- a conceptual model may remain vague in places, a working matical models. An explicit mathematical treatment takes model must be completely fleshed out.) Logical processes logical axioms and specifies a number of clear explicit steps are applied to the axioms and the results of this process are that deductively generate some result. In this paper we com- recorded. Logical processes can include mathematical equa- pare this traditional treatment with the new computational tions, logical deductions and computations. Working mod- approach. els produce results which are used to refine and update the Firstly we set the context, we look at a framework for conceptual model. scientific modelling. Then, by looking at two examples of Before we specifically look at the sorts of results that can a similar system, we identify some properties that charac- be generated by explicit mathematical treatments or com- terise an explicit mathematical treatment and which a com- puter simulation models, we discuss the types of assump- puter simulation is unlikely to share. Having established that tions that can be used to generate a working model. An as- explicit mathematical treatment is the ultimate goal of any sumption is essentially an abstraction from a more complex modelling enterprise, we look at how computer simulation system. There will be many abstractions from the real world models do indeed still have value. We look at how com- in the conceptual model (tested by empirical science) and plex and unwieldy computer simulations may be simplified it will normally be necessary to make further abstractions to more easily generate explicit mathematical treatments— for ease of modelling. One of the main benefits of com- proposing that this can be done by decomposition into sim- puter simulation modelling (Di Paolo et al., 2000) is that pler systems. Finally we set out, in an order of merit, the assumptions can be very easily added to or removed from various different modelling approaches discussed. models to see if they are significant or important. Explicit mathematical treatments tend to be more fixed in their as- A framework for scientific modelling sumptions. The types of abstractions used by either explicit To understand how modelling is important and relevant conceptual models or computer simulation models can be within scientific investigation, we present a framework for distinguished into two groups, reductionist and analogous scientific investigation with the scientific modelling cycle abstractions. We take inspiration for this distinction from highlighted. Figure 1 presents a diagram of the framework. Bedau’s discussion of ‘unrealistic’ models (Bedau, 1999). The primary focus of scientific investigation is the build- In order to highlight the important differences between ing of a good conceptual model of the real world. Expla- the use of computational and mathematical techniques in nations of the real world reside in the conceptual modelling building a working model, we must first consider the out- area of the framework, these are recorded in the scientific comes of a successful working model for the broader scien- corpus. The basic scientific process involves the submission tific project. The more valuable results generated by a work- of concepts to the twin tests of empirical science and scien- ing model will form some kind of explanation of why some tific modelling. The main focus of the framework,
Recommended publications
  • Science-Based Target Setting Manual Version 4.1 | April 2020
    Science-Based Target Setting Manual Version 4.1 | April 2020 Table of contents Table of contents 2 Executive summary 3 Key findings 3 Context 3 About this report 4 Key issues in setting SBTs 5 Conclusions and recommendations 5 1. Introduction 7 2. Understand the business case for science-based targets 12 3. Science-based target setting methods 18 3.1 Available methods and their applicability to different sectors 18 3.2 Recommendations on choosing an SBT method 25 3.3 Pros and cons of different types of targets 25 4. Set a science-based target: key considerations for all emissions scopes 29 4.1 Cross-cutting considerations 29 5. Set a science-based target: scope 1 and 2 sources 33 5.1 General considerations 33 6. Set a science-based target: scope 3 sources 36 6.1 Conduct a scope 3 Inventory 37 6.2 Identify which scope 3 categories should be included in the target boundary 40 6.3 Determine whether to set a single target or multiple targets 42 6.4 Identify an appropriate type of target 44 7. Building internal support for science-based targets 47 7.1 Get all levels of the company on board 47 7.2 Address challenges and push-back 49 8. Communicating and tracking progress 51 8.1 Publicly communicating SBTs and performance progress 51 8.2 Recalculating targets 56 Key terms 57 List of abbreviations 59 References 60 Acknowledgments 63 About the partner organizations in the Science Based Targets initiative 64 Science-Based Target Setting Manual Version 4.1 -2- Executive summary Key findings ● Companies can play their part in combating climate change by setting greenhouse gas (GHG) emissions reduction targets that are aligned with reduction pathways for limiting global temperature rise to 1.5°C or well-below 2°C compared to pre-industrial temperatures.
    [Show full text]
  • Semantic Foundation of Diagrammatic Modelling Languages
    Universität Leipzig Fakultät für Mathematik und Informatik Institut für Informatik Johannisgasse 26 04103 Leipzig Semantic Foundation of Diagrammatic Modelling Languages Applying the Pictorial Turn to Conceptual Modelling Diplomarbeit im Studienfach Informatik vorgelegt von cand. inf. Alexander Heußner Leipzig, August 2007 betreuender Hochschullehrer: Prof. Dr. habil. Heinrich Herre Institut für Medizininformatik, Statistik und Epidemologie (I) Härtelstrasse 16–18 04107 Leipzig Abstract The following thesis investigates the applicability of the picto- rial turn to diagrammatic conceptual modelling languages. At its heart lies the question how the “semantic gap” between the for- mal semantics of diagrams and the meaning as intended by the modelling engineer can be bridged. To this end, a pragmatic ap- proach to the domain of diagrams will be followed, starting from pictures as the more general notion. The thesis consists of three parts: In part I, a basic model of cognition will be proposed that is based on the idea of conceptual spaces. Moreover, the most central no- tions of semiotics and semantics as required for the later inves- tigation and formalization of conceptual modelling will be intro- duced. This will allow for the formalization of pictures as semi- otic entities that have a strong cognitive foundation. Part II will try to approach diagrams with the help of a novel game-based F technique. A prototypical modelling attempt will reveal basic shortcomings regarding the underlying formal foundation. It will even become clear that these problems are common to all current conceptualizations of the diagram domain. To circumvent these difficulties, a simple axiomatic model will be proposed that allows to link the findings of part I on conceptual modelling and formal languages with the newly developed con- cept of «abstract logical diagrams».
    [Show full text]
  • Coronavirus Control Plan: Revised Alert Levels in Wales (March 2021) Coronavirus Control Plan: Revised Alert Levels in Wales 2
    Coronavirus Control Plan: Revised Alert Levels in Wales (March 2021) Coronavirus Control Plan: Revised Alert Levels in Wales 2 Ministerial Foreword The coronavirus pandemic has turned all our lives upside down. Over the last 12 months, everyone in Wales has made sacrifices to help protect themselves and their families and help bring coronavirus under control. This is a cruel virus – far too many families have lost loved ones, and unfortunately, we know that many more people will fall seriously ill and sadly will die before the pandemic is over. But the way people and communities have pulled together across Wales, and followed the rules, has undoubtedly saved many more lives. We are now entering a critical phase in the pandemic. We can see light at the end of the tunnel as we approach the end of a long and hard second wave, thanks to the incredible efforts of scientists and researchers across the world to develop effective vaccines. Our amazing vaccination programme has made vaccines available to people in the most at-risk groups at incredible speed. But just as we are rolling out vaccination, we are facing a very different virus in Wales today. The highly-infectious variant, first identified in Kent, is now dominant in all parts of Wales. This means the protective behaviours we have all learned to adopt are even more important than ever – getting tested and isolating when we have symptoms; keeping our distance from others; not mixing indoors; avoiding crowds; washing our hands regularly and wearing face coverings in places we cannot avoid being in close proximity with each other.
    [Show full text]
  • System for Electrochemical Analysis and Visualization
    An Object Orïented Infrastructure for the Development of a Computer Modeling System for Electrochemical Analysis and Visualization by Eric Marcuzzi A Thesis Submitted to the Faculty of Graduate Studies and Research through the School of Computer Science in Partial Fulfillment of the Requirernents for the Degree of Master of Science at the Univers@ of Windsor Windsor, Ontario, Canada 1997 National Library Bibliothèque nationale du Canada Acquisitions and Acquisitions et Bibliographie Services senrices bibliographiques 395 WelliStreet 395. rue Wellmgton OttayiliaON K1A ON4 OttawON K1AW carlada canada The author has granted a non- L'auteur a accordé une licence non exclusive licence allowing the exclusive permettant à la National Library of Canada to Bibliothèque nationale du Canada de reproduce, loaq distriiute or sell reproduire, prêter, distncbuer ou copies of this thesis in microfonn, vendre des copies de cette thèse sous paper or electronic formats. la forme de microfiche/nlm, de reproduction sur papier ou sur format électronique. The author retains ownership of the L'auteur conserve la propriété du copyright in this thesis. Neither the droit d'auteur qui protège cette thèse. thesis nor subsîantial extracts fiom it Ni la thèse ni des extraits substantiels may be printed or otherwise de celle-ci ne doivent être imprimés reproduced without the author's ou autrement reproduits sans son permission. autorisation. O Eric Marcuzzi 1997 ABSTRACT In this thesis a partial system design and implementation for a computer modelhg system, the VPMS (Vimial Proto-ping, Modelling and Simulation) system. which supports exteiisibility, reusability, distributivity and openness, is presented. This system identifies and cornpartmentahes modelling system functionaliry, such as numerical modelling and scientific visualization.
    [Show full text]
  • Models: Bringing Real-World Phenomena to School
    BACK TO SCHOOL 2020 Models: Bringing Real-World Phenomena to School Whether learning in a physical or virtual classroom, using models helps students understand real-world phenomena— like COVID-19—and solve problems related to phenomena. hanks in large part to the power of model-based science, we are in a far better place than any generation “Tbefore us to deal successfully and efficiently with a pandemic of this scale.” That statement about the COVID-19 pandemic is from Rachael L. Brown, director of the Centre for Philosophy of the Sciences, Australian National University (Brown 2020). It highlights the value of scientific modeling in making complex issues that impact the world easier to understand— to define, quantify, and visualize. Modeling is a key process for both scientists and engineers. Models represent a system (or parts of a system) and its interactions—such as inputs, processes, and outputs—and can be modified or refined with new evidence or new test results. • Scientists use models to help develop questions and explanations, generate data that can be used to make predictions, and communicate ideas to others (NSTA 2014). • Engineers use models to help analyze a system to see where or under what conditions flaws might develop or to test possible solutions to a program (NSTA 2014). Carolina Biological Supply Company A meteorologist gathers data at an observation station. For example, an epidemiology-driven machine- in activities—including creating models—they learning model is just one of the models are better equipped to share their knowledge, developed to predict the spread of COVID-19 engineer solutions to problems that arise from (UCLA Samueli Newsroom 2020).
    [Show full text]
  • THE ROLE of CARTOGRAPHY in DESIGNING a GLOBAL SAMPLING FRAMEWORK for Envmonmental MONITORING
    ORAL PRESENTATION 314 THE ROLE OF CARTOGRAPHY IN DESIGNING A GLOBAL SAMPLING FRAMEWORK FOR ENVmONMENTAL MONITORING A. Jon Kimerling Denis White Department Of Geosciences Oregon State University Corvallis, OR 97331 USA Abstract Environmental monitoring and assessment is becoming a global activity as our concern with and understanding of global scale environmental issues increases. Additionally, international economic agreements such as GATT and NAFTA now include environmental compliance regulations. Scientists at the U.S. Environmental Protection Agency (EPA) and similar organizations in other countries are now asking cartographers and GIS experts if there exist global geographical data structures that will allow optimal implementation of survey sample designs, modeling of environmental processes, analyses of sampling and related data, and display of results. In this paper we examine the role that cartographers in the' United States have played in the development of global grid sampling frameworks for environmental monitoring and analysis, an EPA sponsored activity .. First and foremost, cartographers have played a lead role in devising ways to define a set of regularly arranged sampling points covering the entire earth. The problem is to approximate as closely as possible a regularly spaced sampling grid. This is because not more than 12 points, the vertices of an icosahedron projected onto a sphere, can be placed on the earth equidistantly. One approach has been to model the earth as a polyhedral globe, with each face of the polyhedron being a map projection surface that optimizes the generation of a large set of approximately reguhirly spaced sampling points. Equal area and other projections have been developed for the faces of the octahedron and icosahedron.
    [Show full text]
  • Environments of Intelligence
    Environments of Intelligence “An absorbing volume that integrates an extraordinarily wide area of work, with interesting observations and new twists right to the end.” Ruth Millikan, University of Connecticut, USA What is the role of the environment, and of the information it provides, in cognition? More specifically, may there be a role for certain artefacts to play in this context? These are questions that motivate “4E” theories of cognition (as being embodied, embedded, extended, enactive). In his take on that family of views, Hajo Greif first defends and refines a concept of information as primarily natural, environmen- tally embedded in character, which had been eclipsed by information-processing views of cognition. He continues with an inquiry into the cognitive bearing of some artefacts that are sometimes referred to as “intelligent environments”. With- out necessarily having much to do with Artificial Intelligence, such artefacts may ultimately modify our informational environments. With respect to human cognition, the most notable effect of digital computers is not that they might be able, or become able, to think but that they alter the way we perceive, think and act. Hajo Greif teaches at the Munich Center for Technology in Society (MCTS), Technical University of Munich, Germany, and the Department of Philosophy, University of Klagenfurt, Austria. His research interests cover the philosophy – and some of the history and the social studies – of science and technology, as well as the philosophy of mind. History and Philosophy of Technoscience Series Editor: Alfred Nordmann For a full list of titles in this series, please visit www.routledge.com 1 Error and Uncertainty in Scientific Practice Marcel Boumans, Giora Hon and Arthur C.
    [Show full text]
  • Spatial Analysis, Modelling and Planning
    Edited by Jorge Rocha and José António Tenedório Spatial Analysis, Modelling and Planning New powerful technologies, such as geographic information systems (GIS), have been evolving and are quickly becoming part of a worldwide emergent digital infrastructure. Spatial analysis is becoming more important than ever because enormous volumes of Spatial Analysis, spatial data are available from different sources, such as social media and mobile phones. When locational information is provided, spatial analysis researchers can use it to calculate statistical and mathematical relationships through time and space. Modelling and Planning This book aims to demonstrate how computer methods of spatial analysis and modeling, integrated in a GIS environment, can be used to better understand reality and give rise to more informed and, thus, improved planning. It provides a comprehensive discussion of Edited by Jorge Rocha and José António Tenedório spatial analysis, methods, and approaches related to planning. ISBN 978-1-78984-239-5 Published in London, UK © 2018 IntechOpen © eugenesergeev / iStock SPATIAL ANALYSIS, MODELLING AND PLANNING Edited by Jorge Rocha and José António Tenedório SPATIAL ANALYSIS, MODELLING AND PLANNING Edited by Jorge Rocha and José António Tenedório Spatial Analysis, Modelling and Planning http://dx.doi.org/10.5772/intechopen.74452 Edited by Jorge Rocha and José António Tenedório Contributors Ana Cristina Gonçalves, Adélia Sousa, Lenwood Hall, Ronald Anderson, Khalid Al-Ahmadi, Andreas Rienow, Frank Thonfeld, Nora Schneevoigt, Diego Montenegro, Ana Da Cunha, Ingrid Machado, Lili Duraes, Stefan Vilges De Oliveira, Marcel Pedroso, Gilberto Gazêta, Reginaldo Brazil, Brooks C Pearson, Brian Ways, Valentina Svalova, Andreas Koch, Hélder Lopes, Paula Remoaldo, Vítor Ribeiro, Toshiaki Ichinose, Norman Schofield, Fred Bidandi, John James Williams, Jorge Rocha, José António Tenedório © The Editor(s) and the Author(s) 2018 The rights of the editor(s) and the author(s) have been asserted in accordance with the Copyright, Designs and Patents Act 1988.
    [Show full text]
  • Modeling As Scientific Reasoning—The Role of Abductive
    education sciences Article Modeling as Scientific Reasoning—The Role of Abductive Reasoning for Modeling Competence Annette Upmeier zu Belzen 1,* , Paul Engelschalt 1 and Dirk Krüger 2 1 Biology Education, Humboldt-Universität zu Berlin, 10099 Berlin, Germany; [email protected] 2 Biology Education, Freie Universität Berlin, 14195 Berlin, Germany; [email protected] * Correspondence: [email protected] Abstract: While the hypothetico-deductive approach, which includes inductive and deductive rea- soning, is largely recognized in scientific reasoning, there is not much focus on abductive reasoning. Abductive reasoning describes the theory-based attempt of explaining a phenomenon by a cause. By integrating abductive reasoning into a framework for modeling competence, we strengthen the idea of modeling being a key practice of science. The framework for modeling competence theoret- ically describes competence levels structuring the modeling process into model construction and model application. The aim of this theoretical paper is to extend the framework for modeling com- petence by including abductive reasoning, with impact on the whole modeling process. Abductive reasoning can be understood as knowledge expanding in the process of model construction. In com- bination with deductive reasoning in model application, such inferences might enrich modeling processes. Abductive reasoning to explain a phenomenon from the best fitting guess is important for model construction and may foster the deduction of hypotheses from the model and further testing them empirically. Recent studies and examples of learners’ performance in modeling processes support abductive reasoning being a part of modeling competence within scientific reasoning. The ex- Citation: Upmeier zu Belzen, A.; tended framework can be used for teaching and learning to foster scientific reasoning competences Engelschalt, P.; Krüger, D.
    [Show full text]
  • Towards Crustal Reservoir Flow Structure Modelling Through Interactive 3D Visualization of Meq & Mt Field Data
    TOWARDS CRUSTAL RESERVOIR FLOW STRUCTURE MODELLING THROUGH INTERACTIVE 3D VISUALIZATION OF MEQ & MT FIELD DATA John Rugis1, Peter Leary1, Marcos Alvarez1 , Eylon Shalev1 and Peter Malin1 1 Institute of Earth Science and Engineering, University of Auckland, New Zealand [email protected] Keywords: 3D visualization, scientific data visualization, distributions of fracture density fluctuations based on a data modelling, magnetotelluric data, microseismic data, generic geothermal low resistivity plume (Section 6). reservoir flow structure. 1. INTRODUCTION ABSTRACT Fluid flow in fractured rock is generally understood to be a We seek to use modern 3D graphics visualization to enable basic feature of geothermal systems. The observational and human visual pattern recognition to assess reservoir intellectual tools to manage flow in geothermal reservoirs structures manifested by in situ fracture systems. In situ are, however, ill-suited to the fundamental spatial flow structures of crustal reservoirs have hitherto been complexity of fracture-borne fluid flow. largely assumed to be tied to specific formations and essentially uniform within a given formation. However, Existing geothermal reservoir observations and concepts are neither working assumption has been particularly successful typically fit to earth models comprising a small range of in guiding the drill bit to new active portions of a given geologically identified formations that are assumed to have geothermal field. A greater degree of in situ spatial flow essentially uniform physical properties. Non-uniformity in complexity is hypothesized, and that complexity is almost physical properties is for the most part limited to an certainly due to fracture-system control of reservoir fluid assortment of mechanically discontinuous fault structures pathways.
    [Show full text]
  • Evidence and Policy Summer School 2018 Programme
    1 This s a publication by the Joint Research Centre (JRC), the European Commission’s science and knowledge service. It aims to provide evidence-based scientific support to the European policymaking process. The scientific output expressed does not imply a policy position of the European Commission. Neither the European Commission nor any person acting on behalf of the Commission is responsible for the use that might be made of this publication. For information on the methodology and quality underlying the data used in this publication for which the source is neither Eurostat nor other Commission services, users should contact the referenced source. The designations employed and the presentation of material on the maps do not imply the expression of any opinion whatsoever on the part of the European Union concerning the legal status of any country, territory, city or area or of its authorities, or concerning the delimitation of its frontiers or boundaries. EU Science Hub https://ec.europa.eu/jrc Ispra: European Commission, 2019 © European Union, 2019 The reuse policy of the European Commission is implemented by the Commission Decision 2011/833/EU of 12 December 2011 on the reuse of Commission documents (OJ L 330, 14.12.2011, p. 39). Except otherwise noted, the reuse of this document is authorised under the Creative Commons Attribution 4.0 International (CC BY 4.0) licence (https://creativecommons.org/licenses/by/4.0/). This means that reuse is allowed provided appropriate credit is given and any changes are indicated. For any use or reproduction of photos or other material that is not owned by the EU, permission must be sought directly from the copyright holders.
    [Show full text]
  • Physical Models and Embodied Cognition
    Synthese https://doi.org/10.1007/s11229-018-01927-7 Physical models and embodied cognition Ulrich E. Stegmann1 Received: 23 March 2018 / Accepted: 31 August 2018 © The Author(s) 2018 Abstract Philosophers have recently paid more attention to the physical aspects of scientific models. The attention is motivated by the prospect that a model’s physical features strongly affect its use and that this suggests re-thinking modelling in terms of extended or distributed cognition. This paper investigates two ways in which physical features of scientific models affect their use and it asks whether modelling is an instance of extended cognition. I approach these topics with a historical case study, in which scientists kept records not only of their findings, but also of some the mental operations that generated the findings. The case study shows how scientists can employ a physical model (in this case diagrams on paper) as an external information store, which allows alternating between mental manipulations, recording the outcome externally, and then feeding the outcome back into subsequent mental manipulations. The case study also demonstrates that a models’ physical nature allows replacing explicit reasoning with visuospatial manipulations. I argue, furthermore, that physical modelling does not need to exemplify a strong kind of extended cognition, the sort for which external features are mereological parts of cognition. It can exemplify a weaker kind, instead. Keywords Task decomposition · Visuospatial reasoning · Mental rotation · Crick · Gamow · Protein synthesis Recent work on scientific models has emphasised their material nature (e.g. Giere 2002; Knuuttila 2011; Kuorikoski and Ylikoski 2015). Even abstract models are said to be physical insofar as the notation systems used to explore them involve physical marks, e.g.
    [Show full text]